Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
68 commits
Select commit Hold shift + click to select a range
a30cb6b
feat: add recursive proof
cedoor Jan 23, 2026
4582da0
refactor: adapt crisp sdk to recursive proof
cedoor Jan 26, 2026
02a02af
refactor: optimize crisp circuit validation
cedoor Jan 26, 2026
a6b0d71
fix: remaining issues after merge
cedoor Feb 16, 2026
0ce8d64
refactor(crisp): assert num_options bounds in vote validation
cedoor Feb 16, 2026
d9a50ae
chore: update crisp verifier
cedoor Feb 16, 2026
9e6b861
fix(vote): use exponentiation for maxValue to avoid 32-bit overflow
cedoor Feb 16, 2026
fccec1e
fix(crisp): correct test:circuits script path to circuits/lib
cedoor Feb 16, 2026
0e2d735
chore: bump noir toolchain to v1.0.0-beta.18
cedoor Feb 16, 2026
f70fabb
chore: update circuits imports and config
cedoor Feb 16, 2026
1b415e9
chore: remove license from Nargo.toml files
cedoor Feb 17, 2026
6d1fd94
chore: update deps and circuits
ctrlc03 Feb 17, 2026
4ac2bd0
chore: align code with latest changes from main
cedoor Feb 18, 2026
80124a0
chore: remove compiler_version from Nargo.toml files
cedoor Feb 18, 2026
78c4091
fix(crisp): correct circuit test expectations and unused expression
cedoor Feb 18, 2026
d34e7ed
refactor(crisp): align Vote type with number[] across client
cedoor Feb 18, 2026
9247bce
fix(crisp-sdk): prevent Barretenberg WASM leak in generateProof on error
cedoor Feb 18, 2026
7cbaf55
fix(crisp-sdk): ensure Barretenberg cleanup in verifyProof on error
cedoor Feb 18, 2026
278a1ec
ci: add crisp and greco circuit artifacts to upload
cedoor Feb 18, 2026
8c795e4
refactor: splits user data encryption circuit [skip-line-limit] (#1349)
zahrajavar Feb 19, 2026
24dff95
chore: set insecure params as default
cedoor Feb 19, 2026
0320fb7
refactor: update wrapper circuits with zk verification
cedoor Feb 19, 2026
cb630d2
refactor: remove pk bounds from user_data_encryption
cedoor Feb 19, 2026
fd2f164
refactor: return pk0 and u commitments as outputs
cedoor Feb 19, 2026
6741c86
refactor: return ct and k1 commitments as outputs
cedoor Feb 19, 2026
6738f37
feat: create fold circuit for crisp
cedoor Feb 19, 2026
8689f54
refactor: re-use existing commitment functions
cedoor Feb 19, 2026
1bee6f5
chore: add license header to circuits
cedoor Feb 19, 2026
61f4115
refactor: update rust commitments for pk and ct
cedoor Feb 20, 2026
710ade0
build: update script to compile circuits and update verifier
cedoor Feb 20, 2026
5a0e75c
refactor: add additional wrapper for user_data_encryption circuit
cedoor Feb 20, 2026
0271e03
refactor: remove worker and use sdk directly
cedoor Feb 20, 2026
cb51528
refactor: set worker for input generation
cedoor Feb 20, 2026
80ba8d9
ci: include all circuit folders in crisp sdk build
cedoor Feb 23, 2026
099af2d
refactor: add recursive aggregation proof to enclave sdk
cedoor Feb 23, 2026
44d6a97
refactor: fix import error
cedoor Feb 23, 2026
9795424
docs: fix comments in utils.ts
cedoor Feb 23, 2026
55ff818
fix(crisp-sdk): correct getMaxVoteValue mask for effectiveBits > 31
cedoor Feb 23, 2026
280f224
refactor: remove pk_commitment and ct_commitment from computation
cedoor Feb 23, 2026
7961450
ci: add noirup to build_sdk ci workflow
cedoor Feb 23, 2026
a6d10ec
refactor(zk-helpers): split user data encryption codegen for CT0/CT1 …
cedoor Feb 23, 2026
3912545
refactor: update benchmark scripts
cedoor Feb 23, 2026
c8e62ff
fix(ci): correct crisp-sdk artifact download path
cedoor Feb 23, 2026
7ab73e1
test: increase timeout for crisp contracts tests
cedoor Feb 23, 2026
680f1f2
chore: increase e3 duration in .env.example
cedoor Feb 23, 2026
6af10e9
docs: update comment in crisp circuit
cedoor Feb 23, 2026
9f8baea
refactor: update zk-prover versions.json url
cedoor Feb 23, 2026
c4495a6
fix: use correct commitment function in pk aggregation computation
cedoor Feb 23, 2026
48e2ea9
chore: update DkgPkVerifier.sol
cedoor Feb 23, 2026
b985fb8
chore(crisp): publish version 0.6.0
cedoor Feb 23, 2026
109ce7d
chore: update pnpm-lock.yaml
cedoor Feb 23, 2026
5e86169
chore: more time for crisp e2e
ctrlc03 Feb 23, 2026
f562435
chore: wait more for vote proof to generate
ctrlc03 Feb 23, 2026
dacd99e
fix: increase wait time in crisp.spec.ts
cedoor Feb 23, 2026
6f63e0e
chore: reduce duration
ctrlc03 Feb 23, 2026
8cf0823
fix: increase wait time in crisp.spec.ts
cedoor Feb 24, 2026
19255f7
fix(crisp): align countdown and round timing with chain timestamps
cedoor Feb 24, 2026
b0fd5b0
chore: increase e3 duration in .env.example
cedoor Feb 24, 2026
d147334
refactor: use default barretenberg backend
cedoor Feb 24, 2026
5a46219
fix: lint errors
cedoor Feb 24, 2026
9d77adc
chore: increase e3 duration in .env.example
cedoor Feb 24, 2026
2fb8d85
chore: increase e3 duration in .env.example
cedoor Feb 24, 2026
71274ae
fix: increase wait time in crisp.spec.ts
cedoor Feb 24, 2026
f914536
chore: increase e3 duration in .env.example
cedoor Feb 24, 2026
3a00b65
chore: update e3 duration and wait time
cedoor Feb 24, 2026
0ff6cb7
chore: increase e3 duration in .env.example
cedoor Feb 24, 2026
fd40751
chore: trigger CI
hmzakhalid Feb 24, 2026
1c2283a
chore: use anvil
ctrlc03 Feb 24, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 18 additions & 5 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,8 @@ env:
CIPHERNODE_IMAGE_NAME: ghcr.io/${{ github.repository_owner }}/ciphernode
NODE_VERSION: 22
RUST_TOOLCHAIN: 1.86.0
NOIR_TOOLCHAIN: v1.0.0-beta.15
BB_VERSION: 3.0.0-nightly.20251104
NOIR_TOOLCHAIN: v1.0.0-beta.16
BB_VERSION: 3.0.0-nightly.20260102
HARDHAT_VAR_MNEMONIC: 'test test test test test test test test test test test junk'
HARDHAT_VAR_INFURA_API_KEY: 'zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz'
PRIVATE_KEY: '0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80'
Expand Down Expand Up @@ -462,7 +462,7 @@ jobs:
uses: actions/download-artifact@v4
with:
name: crisp-sdk-artifacts
path: ./examples/CRISP
path: .

- name: Run Noir tests
working-directory: ./examples/CRISP
Expand Down Expand Up @@ -502,6 +502,9 @@ jobs:
sudo chown -R $USER_UID:$USER_GID $GITHUB_WORKSPACE/examples/CRISP/.cache-synpress
sudo chmod -R 777 $GITHUB_WORKSPACE/examples/CRISP/.cache-synpress

- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1

- name: Setup pnpm
uses: pnpm/action-setup@v4

Expand Down Expand Up @@ -551,7 +554,7 @@ jobs:
uses: actions/download-artifact@v4
with:
name: crisp-sdk-artifacts
path: ./examples/CRISP
path: .

- name: Install Playwright browsers
working-directory: ./examples/CRISP
Expand Down Expand Up @@ -732,6 +735,11 @@ jobs:
cache: 'pnpm'
cache-dependency-path: pnpm-lock.yaml

- name: Install Nargo
uses: noir-lang/noirup@v0.1.4
with:
toolchain: ${{ env.NOIR_TOOLCHAIN }}

- name: Cache Rust dependencies
uses: ./.github/actions/cache-dependencies

Expand Down Expand Up @@ -761,6 +769,8 @@ jobs:
packages/enclave-contracts/cache
packages/enclave-contracts/types
crates/wasm/dist
circuits/bin/recursive_aggregation/wrapper/threshold/target
circuits/bin/threshold/target
retention-days: 1
if-no-files-found: warn

Expand Down Expand Up @@ -806,7 +816,10 @@ jobs:
path: |
examples/CRISP/packages/crisp-sdk/dist
examples/CRISP/packages/crisp-zk-inputs/dist
examples/CRISP/circuits/target
examples/CRISP/circuits/bin/crisp/target
examples/CRISP/circuits/bin/fold/target
circuits/bin/threshold/target
circuits/bin/recursive_aggregation/wrapper/threshold/target
retention-days: 1
if-no-files-found: warn

Expand Down
88 changes: 44 additions & 44 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 2 additions & 1 deletion circuits/benchmarks/config.json
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,8 @@
"dkg/e_sm_share_computation",
"dkg/share_encryption",
"dkg/share_decryption",
"threshold/user_data_encryption",
"threshold/user_data_encryption_ct0",
"threshold/user_data_encryption_ct1",
"threshold/pk_generation",
"threshold/pk_aggregation",
"threshold/share_decryption",
Expand Down
6 changes: 5 additions & 1 deletion circuits/benchmarks/scripts/generate_prover_toml.sh
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,11 @@ get_zk_args() {
echo "share-decryption secret-key"
return
;;
threshold/user_data_encryption)
threshold/user_data_encryption_ct0)
echo "user-data-encryption"
return
;;
threshold/user_data_encryption_ct1)
echo "user-data-encryption"
return
;;
Expand Down
1 change: 0 additions & 1 deletion circuits/bin/config/Nargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@
name = "validate_secure_configs"
type = "bin"
authors = ["Gnosis Guild / Enclave"]
version = "1.0.0-beta.15"

[dependencies]
lib = { path = "../../lib" }
2 changes: 0 additions & 2 deletions circuits/bin/dkg/e_sm_share_computation/Nargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,6 @@
name = "e_sm_share_computation"
type = "bin"
authors = ["Gnosis Guild / Enclave"]
version = "1.0.0-beta.15"


[dependencies]
lib = { path = "../../../lib" }
1 change: 0 additions & 1 deletion circuits/bin/dkg/pk/Nargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@
name = "pk"
type = "bin"
authors = ["Gnosis Guild / Enclave"]
version = "1.0.0-beta.15"

[dependencies]
lib = { path = "../../../lib" }
2 changes: 0 additions & 2 deletions circuits/bin/dkg/share_decryption/Nargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,6 @@
name = "share_decryption"
type = "bin"
authors = ["Gnosis Guild / Enclave"]
version = "1.0.0-beta.15"


[dependencies]
lib = { path = "../../../lib" }
2 changes: 0 additions & 2 deletions circuits/bin/dkg/share_encryption/Nargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,6 @@
name = "share_encryption"
type = "bin"
authors = ["Gnosis Guild / Enclave"]
version = "1.0.0-beta.15"


[dependencies]
lib = { path = "../../../lib" }
1 change: 0 additions & 1 deletion circuits/bin/dkg/sk_share_computation/Nargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@
name = "sk_share_computation"
type = "bin"
authors = ["Gnosis Guild / Enclave"]
version = "1.0.0-beta.15"


[dependencies]
Expand Down
3 changes: 1 addition & 2 deletions circuits/bin/recursive_aggregation/fold/Nargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,7 @@
name = "fold"
type = "bin"
authors = ["Gnosis Guild / Enclave"]
version = "1.0.0-beta.15"

[dependencies]
lib = { path = "../../../lib" }
bb_proof_verification = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-nightly.20251104", directory = "barretenberg/noir/bb_proof_verification" }
bb_proof_verification = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-nightly.20260102", directory = "barretenberg/noir/bb_proof_verification" }
Loading
Loading