Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
8192142
feat(shielded-pool-extension): scaffold + epoch-bound primitives
Meyanis95 May 29, 2026
9457329
feat(shielded-pool-extension): extended deposit circuit (epoch-bound,…
Meyanis95 May 29, 2026
5298d35
feat(shielded-pool-extension): minimal deposit contract (ShieldedPool…
Meyanis95 May 29, 2026
733c149
feat(shielded-pool-extension): epoch rollover + indexed Merkle nullif…
Meyanis95 May 29, 2026
e26c636
feat(shielded-pool-extension): state-replica core + cleartext PIR seam
Meyanis95 May 29, 2026
c4add26
feat(shielded-pool-extension): IVC chain-update circuit + Noir 1.0 re…
Meyanis95 May 29, 2026
85cadbf
feat(shielded-pool-extension): spend circuits (transfer + withdraw)
Meyanis95 Jun 1, 2026
2c098f5
feat(shielded-pool-extension): insertion circuit + relayer witness bu…
Meyanis95 Jun 1, 2026
df64972
feat(shielded-pool-extension): two-proof transfer spend path
Meyanis95 Jun 1, 2026
0d083b5
feat(shielded-pool-extension): withdraw two-proof spend path
Meyanis95 Jun 1, 2026
d64197c
feat(shielded-pool-extension): generate real on-chain verifiers
Meyanis95 Jun 1, 2026
e6b9aee
feat(shielded-pool-extension): domain proof + witness types
Meyanis95 Jun 1, 2026
8edb017
feat(shielded-pool-extension): recursive EVM transfer proving
Meyanis95 Jun 1, 2026
efdb4e4
feat(shielded-pool-extension): EVM deposit + insertion proving
Meyanis95 Jun 1, 2026
98068be
feat(shielded-pool-extension): in-process e2e (rpc + deploy + transfer
Meyanis95 Jun 2, 2026
82fda4c
feat(shielded-pool-extension): SimplePIR primitive (oblivious record …
Meyanis95 Jun 2, 2026
9710c98
feat(shielded-pool-extension): tree-pir commitment-tree flattening
Meyanis95 Jun 2, 2026
80c186d
feat(shielded-pool-extension): SimplePIR commitment-path client
Meyanis95 Jun 2, 2026
0606e53
test(shielded-pool-extension): PIR no-index-leakage test
Meyanis95 Jun 2, 2026
3d3bcfb
feat(shielded-pool-extension): Light client mockup
Meyanis95 Jun 2, 2026
e403c07
chore(shielded-pool-extension): address review comments — cleanup, Fr…
Meyanis95 Jun 3, 2026
4a75622
fix(shielded-pool-extension): real k=1 withdraw insertion verifier + …
Meyanis95 Jun 3, 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
9 changes: 9 additions & 0 deletions pocs/private-payment/shielded-pool-extension/.env.example
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
PRIVATE_KEY=
SEPOLIA_RPC_URL=
ATTESTATION_REGISTRY_ADDRESS=0x0000000000000000000000000000000000000000
DEPOSIT_VERIFIER_ADDRESS=0x0000000000000000000000000000000000000000
WITHDRAW_VERIFIER_ADDRESS=0x0000000000000000000000000000000000000000
TRANSFER_VERIFIER_ADDRESS=0x0000000000000000000000000000000000000000
ETHERSCAN_API_KEY=
USE_MOCK_VERIFIER=true
PIR_SERVER_URL=http://localhost:7777
9 changes: 9 additions & 0 deletions pocs/private-payment/shielded-pool-extension/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
.env
dependencies/
target/
**/Prover.toml
contracts/out/
contracts/cache/
contracts/broadcast/**/31337/**
deployments.toml
**/.DS_Store
8 changes: 8 additions & 0 deletions pocs/private-payment/shielded-pool-extension/.rustfmt.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
max_width = 90 # changed
normalize_comments = true # changed
imports_layout = "Vertical" # changed
imports_granularity = "Crate" # changed
trailing_semicolon = false # changed
edition = "2024" # changed
use_try_shorthand = true # changed
use_field_init_shorthand = true # changed
Loading