cartesi / dave
Cartesi fraud-proof system
☆20Updated last week
Related projects ⓘ
Alternatives and complementary repositories for dave
- The off-chain implementation of the Cartesi Machine☆67Updated 2 weeks ago
- Playing with zero-knowledge proof languages☆104Updated last year
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆50Updated this week
- ☆94Updated 11 months ago
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆60Updated last year
- Repository for research on Suave.☆23Updated last year
- Basic Noir anonymous proof of membership☆88Updated last year
- A curated list of repos related to Circom☆94Updated last year
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆117Updated 2 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆99Updated 7 months ago
- Hardhat plugin to integrate Circom and SnarkJS into your build process.☆116Updated last year
- Pragma is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Pragma makes data decentralized, transparent and composabl…☆83Updated last week
- Lowering client-side proving cost for private ZK signatures in circom☆106Updated last year
- ☆60Updated 2 years ago
- Redstone is Optimism, with off-chain data availability.☆70Updated last month
- ☆59Updated this week
- Rust implementation of the Agglayer.☆74Updated this week
- Curated list of ZKML models and use cases made with Giza☆47Updated 5 months ago
- Middleware to compile Circom circuits to Nova prover☆235Updated 8 months ago
- Cross-zk-rollup aggregation☆59Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆79Updated 2 weeks ago
- ☆23Updated 3 months ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆93Updated 3 weeks ago
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆203Updated 11 months ago
- Poseidon hash function implemented in Solidity☆40Updated 3 months ago
- ☆91Updated last year
- Audited & minimal JS implementation of Starknet cryptography.☆70Updated 4 months ago