feat: add jolt-prover#1637
Draft
moodlezoup wants to merge 1 commit into
Draft
Conversation
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. If this PR is a bug fix, refactor, or doesn't warrant a spec, feel free to ignore this message. |
moodlezoup
force-pushed
the
prover-stack/10b-jolt-backends
branch
from
125cd76 to
0649358
Compare
moodlezoup
force-pushed
the
prover-stack/10c-jolt-prover
branch
from
436a809 to
f984a51
Compare
moodlezoup
force-pushed
the
prover-stack/10b-jolt-backends
branch
from
0649358 to
4b99d6c
Compare
moodlezoup
force-pushed
the
prover-stack/10c-jolt-prover
branch
from
f984a51 to
cf0c4e7
Compare
moodlezoup
force-pushed
the
prover-stack/10b-jolt-backends
branch
from
4b99d6c to
2591eff
Compare
moodlezoup
force-pushed
the
prover-stack/10c-jolt-prover
branch
from
cf0c4e7 to
85657ff
Compare
Part of splitting PR #1605 (prover-stack/10-jolt-prover) into a CI-passing stack. Adds the jolt-prover crate: protocol orchestration for modular Jolt proving (prove/verify e2e over the jolt-backends CPU backend). Also restores the branch-10 CI workflow: adds the prover e2e infra (rust-src, dory cache, ZeroOS musl toolchain, jolt CLI install) to the test-crates job, and reverts the temporary --no-default-features clippy exclusion from the previous PR (jolt-prover provides the cpu consumer). Top of the stack; its tree is byte-identical to prover-stack/10-jolt-prover. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
0xAndoroid
force-pushed
the
prover-stack/10c-jolt-prover
branch
from
85657ff to
92c2dca
Compare
0xAndoroid
force-pushed
the
prover-stack/10b-jolt-backends
branch
from
2591eff to
94221b6
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Part of splitting #1605 into a reviewable, individually-CI-passing stack (3/3). Top of the stack — its tree is byte-identical to the original #1605 head (
prover-stack/10-jolt-prover).Base:
prover-stack/10b-jolt-backendsAdds jolt-prover: protocol orchestration for modular Jolt proving (prove/verify e2e over the jolt-backends CPU backend).
Also restores the full CI workflow:
cargo installjolt CLI) to thetest-cratesjob--no-default-featuresclippy exclusion from PR (2/3) — jolt-prover provides thecpuconsumerValidation
cargo clippy --all --all-targetsinallocative,host/allocative,host,zk/--no-default-features(no exclusion now) — cleancargo nextest run -p jolt-prover— 17 tests (host) + 20 (zk)cargo nextest run -p jolt-core muldiv— host + host,zk pass