Add downloadable tiny ceremony initializer (rehearsal-tiny-v1) - #10
Merged
Conversation
finalize prepare's help said it 'compiles this repository's destination-v2 R1CS', but executeFinalize/executeAudit resolve the circuit from the signed ceremony definition via compileCircuitForCeremony -> CompileForKeyVersion. A rehearsal-tiny-v1 ceremony is therefore finalized/audited against the rehearsal circuit, not destination-v2. The stale wording implies the tiny rehearsal cannot be finalized, which is incorrect.
11 tasks
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.
Merges the tiny-rehearsal feature into main:
rehearsal-tiny-v1circuit (internal/circuit/rehearsal): a 5-constraint circuit with exactly one Groth16 commitment (matching destination-v2's BSB22 encoding) so the full ceremony machinery — including finalize, audit, and release — can be exercised in seconds instead of days. Rejected byCeremonyDefinition.validatein production mode; the production decision'sexact-k21-rehearsalgate still requires domain 2^21.mpc-ceremony rehearsal init: one-shot generator for the same-host three-participant rehearsal fixture (identities, canonical config, signed tiny ceremony).CompileForKeyVersion/ circuit-from-definition: init/finalize/audit compile the circuit the signed ceremony definition names — a closed set (ownership-destination-v2,rehearsal-tiny-v1), never an extensible lookup.Validated end to end on 2026-08-20: two full three-machine rehearsals (AWS S3 and Cloudflare R2) driven by the relay
add-ceremony-tools-installerflow, all 42 steps passing.Branch is synced with main (the MPC doc removals are preserved). Excludes
test/production-path-10min-beacon-lead(#5).