commonprefix / ancestry-proverLinks
An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.
☆17Updated last year
Alternatives and similar repositories for ancestry-prover
Users that are interested in ancestry-prover are comparing it to the libraries listed below
Sorting:
- calculate new mpt root without loading entire trie☆17Updated last year
- A simple RISC-V runtime.☆33Updated 5 months ago
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆20Updated 2 years ago
- ☆17Updated 2 weeks ago
- High Performance SSZ Implementation☆14Updated last year
- Efficient nibble-sized (4-bit) byte sequence data structure☆35Updated last week
- ☆40Updated 4 years ago
- Minimal Merkle Tree implementations☆32Updated 7 months ago
- Benchmarking Polynomial Commitments☆51Updated 2 years ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated 2 years ago
- Zig EVM☆34Updated 2 months ago
- Mozak RISC-V Virtual Machine☆25Updated 10 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Updated 7 months ago
- ZK proofs for Brainfuck execution using powdr☆17Updated last year
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆14Updated 9 months ago
- ☆54Updated 8 months ago
- We're living in Obfustopia☆27Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 11 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- powdr application running Ethereum tests via revm☆17Updated last year
- Andromeda revm execution service☆32Updated last year
- client side proving☆39Updated 11 months ago
- ☆13Updated 2 years ago
- ☆41Updated 2 years ago
- Caching sparse Merkle Patricia Trie for reth.☆12Updated last year
- Partial Block Building with TEEs☆17Updated last year