runtimeverification / beacon-chain-verificationLinks
☆17Updated 2 years ago
Alternatives and similar repositories for beacon-chain-verification
Users that are interested in beacon-chain-verification are comparing it to the libraries listed below
Sorting:
- circom runtime☆19Updated 10 months ago
- Web Assembly low level implementation of pairing friendly curves.☆15Updated last year
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 3 years ago
- ☆41Updated 2 years ago
- Cryptography libraries for ZKsync☆35Updated 2 weeks ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Updated 2 months ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Low-level language for encoding AIR of computations☆37Updated 2 years ago
- Intel assembly finite field library generator☆12Updated last year
- Numerology: Optimized ECC arithmetic library for secp256k1 in Solidity☆12Updated 6 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- Prototype of fraud proofs.☆12Updated 3 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- Hackathon project for Snarky workshop.☆11Updated 6 years ago
- Formalization of the Beacon Chain Phase 0 Specification in K☆21Updated 2 years ago
- powdr application running Ethereum tests via revm☆17Updated last year
- fft impl for ff::Field☆16Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 6 years ago
- Curated list of rollups on Ethereum and their security guarantees.☆13Updated 4 years ago
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 3 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 11 months ago
- ☆38Updated 3 years ago
- Fawkes-Crypto - zkSNARKs framework☆22Updated last year
- EVM interpreter compatible with the evm2wasm interface☆45Updated 3 years ago
- ☆27Updated 2 years ago
- Yultsur is a Rust implementation of Yul.☆57Updated 3 years ago