lambdaclass / lambda_consensus
☆12Updated this week
Related projects: ⓘ
- Andromeda revm execution service☆29Updated last month
- ☆39Updated last year
- Partial Block Building with TEEs☆17Updated 5 months ago
- ☆13Updated this week
- ☆11Updated this week
- Groth16 verifier in EVM☆20Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated last year
- ☆17Updated last year
- ☆17Updated last year
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 2 weeks ago
- an introduction to noir, with simple examples☆43Updated 8 months ago
- ☆28Updated 2 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆18Updated last year
- ☆39Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆49Updated 9 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32Updated 4 months ago
- ☆32Updated 8 months ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- ☆23Updated last year
- A Cairo VM prover implemented using Winterfell☆17Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆32Updated last week
- ☆30Updated last year
- under construction 🚧☆30Updated 5 months ago
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 2 years ago
- Herodotus Data Processor Toolkit. Enhance zk-offchain compute for verifiable onchain data using zkVMs☆27Updated this week
- Shared peer-to-peer network of zero-knowledge provers☆13Updated last month
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Updated last year
- RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism☆27Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year