Repository navigation
test(circuits): fixtures and gas for nargo 1.0.0-rc.3 and bb 6.0.0-rc.2 - #78
Merged
Merged
Conversation
libid-circuits moves to nargo 1.0.0-rc.3 and bb 6.0.0-rc.2 (libid-org/libID-circuits#15). Both verification keys change, so the v0.5.0 proofs stop verifying. The five fixtures are proofs of the same witnesses under the new keys: every public input is byte-identical, only `proof` and `source` move. They fail against the v0.5.0 verifiers until circuits.json pins the release. Assisted-by: Claude Fable 5.1 Signed-off-by: Green Baneling <XgreenX9999@gmail.com>
bb 6.0.0-rc.2's verifier adds the two ROM log-derivative subrelations and derives each challenge from its own hash. Under Osaka, verify costs 388 gas more on bearer-link and 354 more on oidc-google; the X and GitHub claims move by bearer-link's 388. Assisted-by: Claude Fable 5.1 Signed-off-by: Green Baneling <XgreenX9999@gmail.com>
The release built by nargo 1.0.0-rc.3 and bb 6.0.0-rc.2. Its files are byte-identical to the build the fixtures were proved against. Assisted-by: Claude Fable 5.1 Signed-off-by: Green Baneling <XgreenX9999@gmail.com>
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.
libid-org/libID-circuits#15 moved the circuits to nargo 1.0.0-rc.3 and bb 6.0.0-rc.2, released as libid-circuits v0.6.0. Both verification keys changed, so every real-proof fixture needs a proof under the new verifiers.
Changes
circuits.jsonnames v0.6.0 and its two tarball digests, read off the downloaded release and matched against the release page.proofandsourcechange; every public input is byte-identical.claim-verification.jsonmeasured on the new verifiers.Verified
FOUNDRY_PROFILE=gasmatches the committed snapshot.HonkVerifierEncodingandHonkVerifierProofspass unchanged; bb 6 keeps the proof layout.bb verify.Not verified / known issues
libid.circuits.*.0.6.0names,setTrustRoots).🤖 Generated with Claude Code