Skip to content

feat(generated-roles): add generated Jolt role crates#1514

Open
markosg04 wants to merge 1 commit into
jolt-v2/boltfrom
jolt-v2/generated-roles
Open

feat(generated-roles): add generated Jolt role crates#1514
markosg04 wants to merge 1 commit into
jolt-v2/boltfrom
jolt-v2/generated-roles

Conversation

@markosg04

@markosg04 markosg04 commented May 8, 2026

Copy link
Copy Markdown
Collaborator

Add the Bolt-generate prover, and verifier crates. Also adds jolt-kernels for coarse but efficient prover side cpu code

Validation: cargo check -p jolt-kernels -p jolt-verifier -p jolt-prover -q; cargo clippy -p jolt-kernels -p jolt-verifier -p jolt-prover -q --all-targets -- -D warnings; cargo nextest run -p jolt-kernels -p jolt-verifier -p jolt-prover --cargo-quiet.

@github-actions github-actions Bot added the no-spec PR has no spec file label May 8, 2026
@github-actions

github-actions Bot commented May 8, 2026

Copy link
Copy Markdown
Contributor

Warning

This PR has more than 500 changed lines and does not include a spec.

Large features and architectural changes benefit from a spec-driven workflow.
See CONTRIBUTING.md for details on how to create a spec.

If this PR is a bug fix, refactor, or doesn't warrant a spec, feel free to ignore this message.

@markosg04 markosg04 force-pushed the jolt-v2/generated-roles branch from 48fc12e to d6c94d8 Compare May 13, 2026 03:13
@markosg04 markosg04 force-pushed the jolt-v2/generated-roles branch 4 times, most recently from ab4c650 to f4195b8 Compare May 13, 2026 23:06
@markosg04 markosg04 force-pushed the jolt-v2/generated-roles branch from f4195b8 to c7218d8 Compare May 13, 2026 23:40
@markosg04 markosg04 marked this pull request as ready for review May 14, 2026 00:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-spec PR has no spec file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant