Skip to content

Zero-Knowledge Vaccination Proof Circuits #119

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Josie123-Dev merged 34 commits into from
Jul 19, 2026
Merged

Zero-Knowledge Vaccination Proof Circuits #119

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
f6bf9b5
feat: add package.json for zk circuits
Jul 19, 2026
9201cb2
feat: add comparators circuit - LessThan and LessEqThan templates
Jul 19, 2026
5730aba
feat: add IsEqual and Num2Bits helper templates
Jul 19, 2026
71e40af
feat: complete Num2Bits and IsZero helper templates
Jul 19, 2026
fea093d
feat: add InRange template for range checking
Jul 19, 2026
9ca079f
feat: add RangeCheck circuit for date validation
Jul 19, 2026
f601bb9
feat: add MultiRangeCheck template for multiple range validation
Jul 19, 2026
33a422c
feat: complete MultiRangeCheck with accumulator logic
Jul 19, 2026
784db04
feat: add Poseidon2 and start Poseidon3 hash wrappers
Jul 19, 2026
5e1fb20
feat: complete Poseidon3 and Poseidon4 hash wrappers
Jul 19, 2026
0e67741
feat: add MerkleTreeChecker circuit structure
Jul 19, 2026
2cd09eb
feat: implement Merkle path verification logic
Jul 19, 2026
705c514
feat: complete MerkleTreeChecker with root verification
Jul 19, 2026
eec779c
feat: add comparators test file structure and LessThan test setup
Jul 19, 2026
91896fd
feat: add LessThan and IsEqual test cases
Jul 19, 2026
3e49d88
feat: complete IsEqual test cases
Jul 19, 2026
e7253bb
feat: add merkleTree test setup with Poseidon hash helper
Jul 19, 2026
89d37f5
feat: add merkle tree valid proof test case setup
Jul 19, 2026
a867e61
feat: complete merkle tree invalid proof test case
Jul 19, 2026
df4bad3
feat: start compile script with build directory setup
Jul 19, 2026
fc8884a
feat: complete compile script with constraint counting
Jul 19, 2026
6d28e2c
feat: add setup script with powers of tau download
Jul 19, 2026
3466383
feat: add circuit setup function with zkey generation
Jul 19, 2026
46fa451
feat: complete setup script with circuit setup calls
Jul 19, 2026
22f4d4f
feat: add generate-proof script with input validation
Jul 19, 2026
0ca335b
feat: add witness calculation and proof generation steps
Jul 19, 2026
2d9de12
feat: complete generate-proof script with output info
Jul 19, 2026
ebd9528
feat: add verify-proof script with validation checks
Jul 19, 2026
b189630
feat: complete verify-proof script with verification logic
Jul 19, 2026
f759ab4
feat: finalize verify-proof script
Jul 19, 2026
fecff29
docs: add architecture documentation with circuit hierarchy
Jul 19, 2026
5414a77
docs: document comparators and rangeCheck circuits
Jul 19, 2026
60e7c03
feat: complete Phase 1 ZK implementation
Jul 19, 2026
4d717a1
fix: resolve ed25519-dalek v3 compatibility issue in CI
Jul 19, 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
4 changes: 3 additions & 1 deletion .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,9 @@ yarn-error.log*

# Rust
contracts/target/
Cargo.lock
# Cargo.lock - Note: contracts/Cargo.lock is tracked for reproducible builds
*.lock
!contracts/Cargo.lock

# Benchmark test snapshots are large generated artifacts (load tests create
# hundreds of ledger entries) — not worth tracking. Integration-test snapshots
Expand Down
Loading
Loading