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:
- 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
- circom runtime☆20Updated 11 months ago
- Implementation of the Zcash Orchard Protocol☆56Updated last month
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- ☆41Updated 2 years ago
- powdr application running Ethereum tests via revm☆17Updated last year
- Low-level language for encoding AIR of computations☆37Updated 2 years ago
- Fully-compatible implementation of Privacy Pass in Rust.☆35Updated 5 years ago
- Simple implementation of KZG commitments in C☆36Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆27Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Updated 3 months ago
- ☆30Updated 2 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆19Updated 2 years ago
- Cryptography libraries for ZKsync☆35Updated 2 weeks 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
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Updated 3 years ago
- Hackathon project for Snarky workshop.☆11Updated 6 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Intel assembly finite field library generator☆13Updated last year
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆22Updated 2 years ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 9 months ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆13Updated 4 years ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆39Updated 6 years ago