Repository navigation
feat: Mavros main and sound Mavros public-input binding - #507
Merged
Merged
Conversation
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
CSP benchmarks
Prover time, peak RSS, peak heap, and verifier time are arithmetic means across the iterations. Peak heap comes from the largest Each metric cell shows the current value followed by the percentage delta against the latest successful Results
|
BornPsych
changed the title
BornPsych
force-pushed
the
ys/ark06-mavros-main
branch
from
October 19, 2026 10:45
1dc088c to
27ba3c6
Compare
BornPsych
marked this pull request as ready for review
October 19, 2026 12:47
BornPsych
force-pushed
the
ys/ark06-mavros-main
branch
from
October 22, 2026 17:18
1fc2b56 to
137cf91
Compare
BornPsych
force-pushed
the
ys/ark06-mavros-main
branch
from
October 27, 2026 17:35
137cf91 to
9f9e288
Compare
…ey layout MavrosProver now serializes the column map and WitnessLayout gained the guard and return fields, so keys written before this branch no longer parse. Bump the minor so a stale .pkp or .nps is rejected with a version error instead of a deserialization failure, as #457 did for the previous MavrosSchemeData change. Verifier files are unchanged. diff --git a/provekit/common/src/file/binary_format.rs b/provekit/common/src/file/binary_format.rs index 3e36b19..68589d9 100644 --- a/provekit/common/src/file/binary_format.rs +++ b/provekit/common/src/file/binary_format.rs @@ -18,13 +18,13 @@ pub const XZ_MAGIC: [u8; 6] = [0xfd, 0x37, 0x7a, 0x58, 0x5a, 0x00]; // --------------------------------------------------------------------------- pub const PROVER_FORMAT: [u8; 8] = *b"PrvKitPr"; -pub const PROVER_VERSION: (u16, u16) = (2, 0); +pub const PROVER_VERSION: (u16, u16) = (2, 1); pub const VERIFIER_FORMAT: [u8; 8] = *b"PrvKitVr"; pub const VERIFIER_VERSION: (u16, u16) = (2, 1); pub const NOIR_PROOF_SCHEME_FORMAT: [u8; 8] = *b"NrProScm"; -pub const NOIR_PROOF_SCHEME_VERSION: (u16, u16) = (2, 0); +pub const NOIR_PROOF_SCHEME_VERSION: (u16, u16) = (2, 1); pub const NOIR_PROOF_FORMAT: [u8; 8] = *b"NPSProof"; pub const NOIR_PROOF_VERSION: (u16, u16) = (2, 0);
BornPsych
force-pushed
the
ys/ark06-mavros-main
branch
from
November 5, 2026 05:43
a4058a4 to
08cfe54
Compare
zkfriendly
approved these changes
Nov 11, 2026
This branch was successfully deployed
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
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.
a4f2a3d), which includes Add a versioned r1cs.bin artifact carrying a witness manifest reilabs/mavros#414. Itsr1cs.bincarries a versioned header, a witness manifest and a digest over the R1CS and manifest. A legacy bincoder1cs.binis rejected with a hint to recompile at the pinned revision.witness[1..=n], and the prover applies the same permutation to the witness and to the AD derivatives (skipped when the map is the identity).returnentry inProver.tomlis optional and, when present, checked against the computed value, asnargodoes. The return guard Mavros used to emit is gone.WhirR1CSVerifiergainsverify_with_session;verifydelegates to it with no session. Prover, scheme and verifier formats move to 3.1.--r1csis no longer needed for SPARK with the Mavros compiler.scripts/mavros_parity.shruns circuits through both frontends and compares public inputs, prove time and proof size. A scheduled workflow (Monday and Thursday, plus dispatch) runs it over every binary example with inputs, building the Mavros CLI on stable at the pinned revision.Mavros is still not the primary compiler. A follow-up PR will make Mavros primary and the Noir R1CS path secondary, and once Mavros has a stable release the other backend will be removed.