runtimeverification / beacon-chain-verification
☆18Updated 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
- circom runtime☆20Updated 5 months ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 5 years ago
- RLN wrappers and implementation in Go☆11Updated 3 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- Go Bindings for the Solidity Compiler☆19Updated this week
- ☆16Updated this week
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Web Assembly low level implementation of pairing friendly curves.☆16Updated 10 months ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆15Updated last year
- Fully-compatible implementation of Privacy Pass in Rust.☆35Updated 4 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Foundry project for the RLN☆17Updated last year
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- Celo Light Client (IBC compatible)☆16Updated 3 years ago
- ☆12Updated 4 years ago
- Transaction pool for Ethereum☆13Updated 4 years ago
- SSZ-compatible tree hash implementation optimised for speed and security☆20Updated last month
- Cryptography libraries for ZKsync☆29Updated this week
- ☆41Updated 2 years ago
- Rust 256-bit unsigned integers.☆9Updated last year
- Welcome to the Maker Operational Manual. This set of documents intends to acquaint MKR Holders with the voting process and to serve as re…☆17Updated last year
- ☆15Updated 10 months ago
- A library for decentralized private computation☆19Updated 3 years ago
- An implementation of a namespaced merkle tree in Rust.☆30Updated 6 months ago
- ☆26Updated 2 years ago
- CL <-> EL multiplexing relay☆17Updated last year
- Intel assembly finite field library generator☆12Updated last year
- This library is archived; see crypto-primities for the latest version of this code☆22Updated 2 years ago