protolambda / dv5das
Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay
☆34Updated 3 years ago
Alternatives and similar repositories for dv5das:
Users that are interested in dv5das are comparing it to the libraries listed below
- Moved to https://github.com/ethereum/kzg-ceremony-sequencer☆17Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 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
- ☆33Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ☆33Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- ☆18Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆28Updated 3 years ago
- ☆39Updated 2 years ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Remote Attestation VErification☆32Updated 8 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 9 months ago
- an introduction to noir, with simple examples☆45Updated last year
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- ☆50Updated last year
- Github action for the Amarna static analyzer☆9Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- Batch ECDSA in circom☆33Updated 2 years ago
- ☆18Updated 2 years ago