nulltea / zk-timelock
Arkworks circuits for verifiable time-lock encryption
☆86Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for zk-timelock
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Cross-zk-rollup aggregation☆59Updated last year
- PoC of Revm execution in SGX☆81Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated last year
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆72Updated last month
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆60Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆48Updated 2 years ago
- ZK-based engine for self-sovereign SQL queries☆84Updated 2 years ago
- ☆60Updated 3 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆93Updated 3 months ago
- Email verification circuit in halo2☆63Updated 4 months ago
- Sidecar to Enable Rollup Extensions☆55Updated this week
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- Provides tools for testing circom circuits.☆56Updated 4 months ago
- ☆41Updated 11 months ago
- group signatures implemented with zkSNARKs☆83Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- ☆30Updated 3 weeks ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆69Updated 10 months ago
- A curated list of resources on zkECDSA☆35Updated last year
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- Noir implementation of BattleZips circuits☆27Updated last year
- 🔒💬 A protocol for credible commitments.☆73Updated 9 months ago