feat: integrate recursive aggregation into zk flow [skip-line-limit]#1392

Merged

cedoor merged 53 commits into

mainfrom

feat/aggregation-integration

Mar 14, 2026

Commits on Mar 14, 2026

refactor: set n_proofs to 1 for all wrapper circuits

cedoor
authored and
ctrlc03
committed
feat: add 2 new events for dkg proof aggregation

cedoor
authored and
ctrlc03
committed
feat: integrate aggregation flow for dkg phase

cedoor
authored and
ctrlc03
committed
style: format code with cargo fmt

cedoor
authored and
ctrlc03
committed
refactor: improve node proof aggregation

cedoor
authored and
ctrlc03
committed
feat: add cross-node DKG proof aggregation

cedoor
authored and
ctrlc03
committed
style: format code with rustfmt

cedoor
authored and
ctrlc03
committed
feat: fold C6 proofs incrementally

cedoor
authored and
ctrlc03
committed
style: format code with rustfmt

cedoor
authored and
ctrlc03
committed
ci: add recursive aggregation circuits to artifact upload

cedoor
authored and
ctrlc03
committed
fix: filter dishonest parties from C1 proofs

cedoor
authored and
ctrlc03
committed
refactor: generate last aggregated proof with -t evm

cedoor
authored and
ctrlc03
committed
refactor: remove unused aggregate_proof method

cedoor
authored and
ctrlc03
committed
fix: use correct verify_honk_proof function in wrappers

cedoor
authored and
ctrlc03
committed
refactor: wrapper proofs only verify one proof

cedoor
authored and
ctrlc03
committed
fix: address coderabbit comments

cedoor
authored and
ctrlc03
committed
style: format code

cedoor
authored and
ctrlc03
committed
fix: filter dishonest parties from C1 proofs

cedoor
authored and
ctrlc03
committed
chore: copy share_computation esm/sk wrapper aliases

cedoor
authored and
ctrlc03
committed
fix(aggregator): persist fold/coordination state for VerifyingC1 and GeneratingC5Proof restart recovery

cedoor
authored and
ctrlc03
committed
chore: add logging to node proof aggregator

cedoor
authored and
ctrlc03
committed
fix(build-circuits): guard share_computation alias copies with existsSync

cedoor
authored and
ctrlc03
committed
fix: set right number of public inputs for pk_generation

cedoor
authored and
ctrlc03
committed
fix(aggregator): late FoldProofs handling and stuck fold recovery

cedoor
authored and
ctrlc03
committed
chore: add DKGRecursiveAggregationComplete to forwardable events

cedoor
authored and
ctrlc03
committed
chore: increase E3 duration to 500 seconds

cedoor
authored and
ctrlc03
committed
style: format code with rustfmt

cedoor
authored and
ctrlc03
committed
chore: update E3 duration and timeouts

cedoor
authored and
ctrlc03
committed
fix: reduce number of public inputs

cedoor
authored and
ctrlc03
committed
chore: increase duration for crisp & template tests

cedoor
authored and
ctrlc03
committed
refactor: remove unused variables

cedoor
authored and
ctrlc03
committed
chore: update logic of E3 duration in crisp e2e tests

cedoor
authored and
ctrlc03
committed
chore: increase output decryption wait in crisp e2e tests

cedoor
authored and
ctrlc03
committed
chore: increase timeout in integration tests

cedoor
authored and
ctrlc03
committed
chore: further increase E3 duration

cedoor
authored and
ctrlc03
committed
refactor: set C5/C7 to evm target

cedoor
authored and
ctrlc03
committed
chore: update generate-verifiers script

cedoor
authored and
ctrlc03
committed
chore: created new verifiers for C5/C7 and fold

cedoor
authored and
ctrlc03
committed
chore: increase E3 duration to 600 seconds

cedoor
authored and
ctrlc03
committed
style: format code with rustfmt

cedoor
authored and
ctrlc03
committed
style: format code with rustfmt

cedoor
authored and
ctrlc03
committed
chore: use fully-qualified name for verifier deployment

cedoor
authored and
ctrlc03
committed
chore: update E3 duration & integration test timeout

cedoor
authored and
ctrlc03
committed
test: update integration test events

cedoor
authored and
ctrlc03
committed
style: format code with rustfmt

cedoor
authored and
ctrlc03
committed
test: adjust integration test timeout

cedoor
authored and
ctrlc03
committed
style: format code with rustfmt

cedoor
authored and
ctrlc03
committed
test: adjust integration test timeout

cedoor
authored and
ctrlc03
committed
chore: update integration test timeout

cedoor
authored and
ctrlc03
committed
chore: increase integration test timeout

cedoor
authored and
ctrlc03
committed
chore: update integration test timeout

cedoor
authored and
ctrlc03
committed
chore: update integration test timeout

cedoor
authored and
ctrlc03
committed
chore: staleness check on provider
ctrlc03
committed