nulltea / zk-timelockLinks
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
Sorting:
- 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
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- PoC of Revm execution in SGX☆80Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- A toy Cairo VM implementation in Rust™☆73Updated 2 years ago
- ☆45Updated 3 weeks ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated 2 years ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- ZK-based engine for self-sovereign SQL queries☆90Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- Crypto Gadgets for Plonky2☆71Updated last year
- CLI tool to develop Starknet projects written in Cairo☆56Updated last year
- ZK Erdos Numbers using recursive SNARKs☆80Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- ☆33Updated last year
- ☆27Updated 3 years ago
- Ethereum stateless tools☆45Updated last month
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Scaling Ethereum, but this time in rust.☆90Updated 2 years ago
- Like Safe... but secret 🥷🏽☆60Updated 4 months ago
- Verifiable RPC for Ethereum state, in-browser, no node☆45Updated 2 years ago
- Implementation of Plonk by Hand in rust☆61Updated last year
- ☆36Updated 3 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year