☆1,915Oct 18, 2025Updated 4 months ago
Alternatives and similar repositories for research
Users that are interested in research are comparing it to the libraries listed below
Sorting:
- Casper contract, and related software and tests☆685Mar 28, 2022Updated 3 years ago
- A toolbox for zkSNARKs on Ethereum☆1,881Aug 1, 2024Updated last year
- Ethereum Proof-of-Stake Consensus Specifications☆3,901Updated this week
- The Ethereum Improvement Proposal repository☆13,797Updated this week
- A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).☆5,774Jan 23, 2026Updated last month
- Sharding manager contract, and related software and tests☆483Jun 21, 2018Updated 7 years ago
- zkSNARK implementation in JavaScript & WASM☆2,007Feb 10, 2026Updated 3 weeks ago
- ☆229Apr 9, 2019Updated 6 years ago
- Ethereum peer-to-peer networking specifications☆1,107May 12, 2025Updated 9 months ago
- C++ library for zkSNARKs☆1,917Jun 12, 2025Updated 8 months ago
- Go implementation of Ethereum proof of stake☆3,728Updated this week
- Pythonic Smart Contract Language for the EVM☆5,164Updated this week
- Raiden Network☆1,836Mar 28, 2024Updated last year
- K Semantics of the Ethereum Virtual Machine (EVM)☆577Feb 11, 2026Updated 2 weeks ago
- An Introduction to CBC Casper Consensus Protocols☆137Feb 26, 2019Updated 7 years ago
- A zero-knowledge protocol for anonymous interactions.☆1,048Jan 26, 2026Updated last month
- A repo for our research papers☆246Jun 4, 2025Updated 8 months ago
- A Python implementation of the Ethereum Virtual Machine☆2,359Sep 8, 2025Updated 5 months ago
- Ewasm Design Overview and Specification☆1,020Sep 8, 2022Updated 3 years ago
- Project Management: Meeting notes and agenda items☆1,841Updated this week
- Ethereum consensus client in Rust☆3,401Updated this week
- Nova: High-speed recursive zero-knowledge arguments from folding schemes☆826Updated this week
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆1,689Updated this week
- ☆821Jul 5, 2024Updated last year
- Vitalik's annotated eth2 spec. Not intended to be "the" annotated spec; other documents like Ben Edgington's https://benjaminion.xyz/eth2…☆349Jul 3, 2024Updated last year
- Ethereum Virtual Machine Awesome List☆852Updated this week
- The Halo2 zero-knowledge proving system☆888Updated this week
- zk-SNARK library.☆1,113Feb 25, 2026Updated last week
- ⟁ Tendermint Core (BFT Consensus) in Go☆5,860Updated this week
- The "Yellow Paper": Ethereum's formal specification☆1,712Feb 26, 2025Updated last year
- Specification for the Execution Layer. Tracking network upgrades.☆1,123Updated this week
- Pairing-friendly elliptic curve library.☆353Apr 17, 2025Updated 10 months ago
- The fast, light, and robust client for Ethereum-like networks.☆6,851Nov 1, 2020Updated 5 years ago
- zkSnark circuit compiler☆1,623Feb 24, 2026Updated last week
- Library of basic circuits for circom☆727Feb 12, 2026Updated 2 weeks ago
- A Rust library for polynomial commitments☆423Dec 2, 2024Updated last year
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆2,087Feb 25, 2026Updated last week
- scale ethereum with snarks☆372Feb 27, 2023Updated 3 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Jan 24, 2023Updated 3 years ago