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☆80Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- ZK-based engine for self-sovereign SQL queries☆89Updated 2 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Trust-minimized commitment pools with zkSNARKs☆39Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- ☆47Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- ☆51Updated last year
- Ethereum stateless tools☆46Updated 2 weeks ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Crypto Gadgets for Plonky2☆72Updated 11 months ago
- ☆45Updated 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
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- Basic Noir private proof of membership☆89Updated 3 weeks ago
- Email verification circuit in halo2☆68Updated 9 months ago
- ☆34Updated last year
- RISC-V interactive fault proof tech☆102Updated last month
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated last year
- ☆46Updated 3 years ago
- Halo2 Merkle tree circuits☆32Updated 3 years ago
- Implementation of Plonk by Hand in rust☆61Updated last year
- keccak256 hash implementation in Circom☆79Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ethereum transaction broadcaster using the nym mixnet☆50Updated 2 years ago
- A toy Cairo VM implementation in Rust™☆73Updated 2 years ago
- Implementation of ethereum's `ssz`☆104Updated 6 months ago