ipsilon / eof
Validation code for the EOF specification
☆43Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for eof
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated last year
- SMT 2023 Submission; license pending☆52Updated this week
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆30Updated last month
- KZG commitments over BLS12-381☆32Updated 2 years ago
- Remote Attestation VErification☆29Updated 3 months ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 2 years ago
- Resources and project management of Ethereum ephemeral testnet☆27Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Solidity source debugger built around EthereumJS☆23Updated 2 weeks ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated this week
- Supporting code for relay.ultrasound.money☆25Updated this week
- Sidecar to Enable Rollup Extensions☆55Updated this week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Ethereum Testnet Testing Tool☆39Updated this week
- A curated list of resources on zkECDSA☆35Updated last year
- Library for building symbolically executable stack-based virtual machines☆72Updated 2 years ago
- On-chain Ethereum light client built with SP1☆19Updated 2 weeks ago
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated 11 months ago
- Creating a standard for whitehats☆28Updated last year
- An EVM bytecode disassembler/assembler☆32Updated 2 weeks ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Smart contract debugging data format – Standards development working group☆50Updated last week
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- ZTYP: typing for ZRNT - SSZ, Merkle partials, full caching and immutable typed state.☆17Updated last year
- Writing MACI circuits in Noir☆16Updated last year
- The Compact is an ownerless ERC6909 contract that facilitates the formation and mediation of reusable resource locks.☆30Updated this week