Bashmunta/gnark
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 Apache 2.0 license
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 Apache 2.0 license
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Ethereum implementation on the efficiency frontier
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Go implementation of Ethereum proof of stake
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Zcash - Financial Privacy in Rust 🦓
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
Rust implementation of the Ethereum Virtual Machine.
A fast, secure, and portable multichain light client for Ethereum
A collection of helpful contracts and libraries for use with Forge and Foundry
Transports, Middleware, and Networks for the Alloy project
Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Rust implementation of the Agglayer.
A robust execution client for Ethereum node operators.
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Reference client for NEAR Protocol
Core components of the Miden protocol
Go implementation of the Ethereum protocol
Reference implementation of the node for the Miden blockchain
Hyli is a high-performance blockchain with built-in privacy.
:chains: A Framework for Building High Value Public Blockchains :sparkles:
R1CS constraints for bits, fields, and elliptic curves
The PSE website
Rust Bitcoin library
The Ethereum Improvement Proposal repository