cursive-team / zk-summit
Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures
☆20Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for zk-summit
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆16Updated 6 months ago
- Benchmarking Polynomial Commitments☆47Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆34Updated last year
- a reference on testing and constraining circom☆16Updated last month
- ☆17Updated last year
- compiler tooling for Stark-based zkVMs☆15Updated last year
- ☆26Updated 8 months ago
- ☆23Updated 7 months ago
- ☆46Updated 8 months ago
- Library and gadget to do regex string matches in halo2☆35Updated 3 months ago
- Based on https://eprint.iacr.org/2022/1510☆23Updated 3 weeks ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- verify cairo execution in Halo2☆17Updated last year
- Proving shortest paths with recursive SNARKs☆12Updated last year
- A Noir's backend implementation using Gnark☆32Updated 8 months ago
- Extractable Witness Encryption for KZG Commitments☆26Updated 2 weeks ago
- Shared peer-to-peer network of zero-knowledge provers☆14Updated 2 months ago
- ☆31Updated 8 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆16Updated this week
- Verify a chain of x509 certificates in halo2☆32Updated 11 months ago
- Solidity implementation of Nova proving system verifier☆59Updated 7 months ago
- Noir implementation of RSA-verify☆41Updated 10 months ago
- Nova-based SHA256 benchmarks☆30Updated 7 months ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- polynomial commitments from linear codes☆37Updated last year
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆32Updated this week
- neural network inference standard for zero-knowledge-proof systems☆33Updated last year