nulltea / zk-timelock
Arkworks circuits for verifiable time-lock encryption
☆89Updated 2 years ago
Alternatives and similar repositories for zk-timelock:
Users that are interested in zk-timelock are comparing it to the libraries listed below
- PoC of Revm execution in SGX☆79Updated last year
- Cross-zk-rollup aggregation☆59Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- 🔒💬 A protocol for credible commitments.☆73Updated last year
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated last year
- Cryptographic protocols☆37Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆44Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Email verification circuit in halo2☆67Updated 7 months ago
- ☆33Updated last year
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- ☆28Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆74Updated 4 months ago
- ZK-based engine for self-sovereign SQL queries☆89Updated 2 years ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- Serverless function on Reth☆68Updated 5 months ago
- Client library for generating and using RLN ZK proofs☆30Updated last year
- Export Circom verifier to Cairo☆49Updated 2 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Provides tools for testing circom circuits.☆58Updated 7 months ago
- Batch ECDSA in circom☆33Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- ☆2Updated 11 months ago