cartesi / rollups
Cartesi Rollups
☆30Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rollups
- Cross-zk-rollup aggregation☆59Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- Rust work for nomad actors☆55Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆56Updated 5 months ago
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆50Updated this week
- A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.☆133Updated this week
- Rust implementation of the Agglayer.☆74Updated this week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆89Updated 3 weeks ago
- EigenTrust - A distributed reputation system☆109Updated last year
- Batch ECDSA in circom☆32Updated 2 years ago
- A port of TinySMPC into Rust.☆21Updated last year
- EigenLayer Rust Developer Tooling☆67Updated this week
- KZG commitments over BLS12-381☆32Updated 2 years ago
- Tower-based ABCI interface.☆74Updated this week
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆117Updated 2 months ago
- ☆71Updated 8 months ago
- Arkworks circuits for verifiable time-lock encryption☆86Updated 2 years ago
- Template for integrating RISC Zero and Ethereum using Foundry☆104Updated 2 weeks ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆69Updated 10 months ago
- ZKM Development Template/Framework☆18Updated last week
- List of Maths Resources for ZKPs☆16Updated 6 months ago
- Smart contracts for the Telepathy protocol☆74Updated 7 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆95Updated this week
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated last year
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- ☆118Updated 3 weeks ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago