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
- ☆40Updated 4 years ago
- A simple RISC-V runtime.☆33Updated 5 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated last year
- A Cairo VM prover implemented using Winterfell☆17Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 11 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Updated 7 months ago
- High Performance SSZ Implementation☆14Updated last year
- Minimal Merkle Tree implementations☆32Updated 7 months ago
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆20Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆32Updated 8 months ago
- ☆17Updated 2 weeks ago
- ☆21Updated 2 weeks ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Updated last month
- Mozak RISC-V Virtual Machine☆25Updated 10 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆30Updated 2 years ago
- ☆23Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆50Updated 2 years ago
- An API compatible port of the Stone prover.☆19Updated last year
- SSZ-compatible tree hash implementation optimised for speed and security☆23Updated last week
- KZG commitments over BLS12-381☆37Updated 3 years ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆35Updated last week
- ☆41Updated 2 years ago
- Procedural macro for automatically implementing metrics description and initialization.☆23Updated last week
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Updated last year
- The entry point for Rust projects to be run on Valida☆10Updated 10 months ago