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☆20Updated last year
- Web Assembly low level implementation of pairing friendly curves.☆15Updated last year
- ☆41Updated 3 years ago
- Cryptography libraries for ZKsync☆39Updated this week
- Prototype of fraud proofs.☆12Updated 3 years ago
- SSZ-compatible tree hash implementation optimised for speed and security☆23Updated this week
- powdr application running Ethereum tests via revm☆17Updated last year
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- ☆19Updated 3 years ago
- Intel assembly finite field library generator☆13Updated 2 years ago
- View Ethereum consensus-layer activity: network-wide historical view of attester performance as interactive map☆19Updated 2 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago
- ☆30Updated 3 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated 2 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Updated 3 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Updated 5 years ago
- Simple implementation of KZG commitments in C☆36Updated 3 years ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Updated 5 months ago
- ☆15Updated 4 months ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Updated 2 weeks ago
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆27Updated last year
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 4 years ago
- Hackathon project for Snarky workshop.☆11Updated 6 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan