dizer-ti/linea-specification
Specification of the constraint system underlying Linea's zk-EVM.
Specification of the constraint system underlying Linea's zk-EVM.
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
All components used for running Base
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Rust implementation of the Ethereum Virtual Machine.
A fast, secure, and portable multichain light client for Ethereum
A robust execution client for Ethereum node operators.
Commonware Library Primitives and Examples
UPA is the proof aggregation engine built by NEBRA team.
The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
Golang utilities
Transports, Middleware, and Networks for the Alloy project
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
OpenZeppelin Contracts is a library for secure smart contract development.
Golang implementation of the EthStorage node.
Rust Bitcoin library
Nitro goes vroom and fixes everything
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
The Nexus zkVM: The zero-knowledge virtual machine
The breakthrough smart contract platform ushering in the next era of money. Nibiru powers an ecosystem of dApps including perps, RWAs, and more.
Main repository for the Linera protocol
Monorepo for Boundless, the universal ZK protocol
Celestia consensus node