feat: onchain verification for C7, C5 [skip-line-limit]#1443

Merged

cedoor merged 28 commits into

mainfrom

feat/onchain-circuit-verification

Mar 20, 2026

Commits on Mar 20, 2026

feat: onchain verification for C7 proof
cedoor
committed
feat: onchain verification for C5 proof
cedoor
committed
chore: update script to generate verifiers
cedoor
committed
fix: update function to encode zk proofs in rust
cedoor
committed
chore: update pk_aggregation onchain verifier
cedoor
committed
refactor: move pk verification to registry
cedoor
committed
fix: use encode_params

ctrlc03
authored and
cedoor
committed
feat: make aggregation optional

ctrlc03
authored and
cedoor
committed
fix: solve several issues after E3 struct update
cedoor
committed
fix: align pk commitment computation in c5 & ude
cedoor
committed
fix: agg_pk1 in c5 is now not scaled by h
cedoor
committed
chore: decrease e3 duration
cedoor
committed
refactor: align message encoding/decoding in C7 & crisp
cedoor
committed
fix: handle disabled aggregation for C6 proofs
cedoor
committed
refactor: make all pk polynomials center correctly
cedoor
committed
refactor: remove unused imports
cedoor
committed
style: format code with noir fmt
cedoor
committed
fix(e3-evm): pair zk proof ABI test with abi_decode_params
cedoor
committed
feat(enclave-contracts): improve deploy chain keys and verifier flow
cedoor
committed
fix(crisp-server): default e3_proof_aggregation_enabled when unset
cedoor
committed
feat(zk-prover): pass CircuitVariant through e2e_proof_tests macro
cedoor
committed
chore(crisp-server): ensure .env.example ends with newline
cedoor
committed
chore: update contract addresses
cedoor
committed
fix(zk-prover): delegate share_computation prove_with_variant to prove
cedoor
committed
chore: update run option in hardhat config
cedoor
committed
chore: update template program contract address
cedoor
committed
fix: prevent premature PublicKeyAggregated when DKG proofs pending
cedoor
committed
style: format code with rustfmt
cedoor
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

feat: onchain verification for C7, C5 [skip-line-limit]#1443

feat: onchain verification for C7, C5 [skip-line-limit]#1443
cedoor merged 28 commits into
mainfrom
feat/onchain-circuit-verification

Commits on Mar 20, 2026

feat: onchain verification for C7 proof

feat: onchain verification for C5 proof

chore: update script to generate verifiers

fix: update function to encode zk proofs in rust

chore: update pk_aggregation onchain verifier

refactor: move pk verification to registry

fix: use encode_params

feat: make aggregation optional

fix: solve several issues after E3 struct update

fix: align pk commitment computation in c5 & ude

fix: agg_pk1 in c5 is now not scaled by h

chore: decrease e3 duration

refactor: align message encoding/decoding in C7 & crisp

fix: handle disabled aggregation for C6 proofs

refactor: make all pk polynomials center correctly

refactor: remove unused imports

style: format code with noir fmt

fix(e3-evm): pair zk proof ABI test with abi_decode_params

feat(enclave-contracts): improve deploy chain keys and verifier flow

fix(crisp-server): default e3_proof_aggregation_enabled when unset

feat(zk-prover): pass CircuitVariant through e2e_proof_tests macro

chore(crisp-server): ensure .env.example ends with newline

chore: update contract addresses

fix(zk-prover): delegate share_computation prove_with_variant to prove

chore: update run option in hardhat config

chore: update template program contract address

fix: prevent premature PublicKeyAggregated when DKG proofs pending

style: format code with rustfmt