Daulox92/linea-constraints
Implementation of the constraint system of Linea, specified in the linea-specification repo.
Implementation of the constraint system of Linea, specified in the linea-specification repo.
Open-source Ethereum consensus client written in Java
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-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
Linea documentation
Experimental folding schemes library
Enclave is an open-source protocol for Encrypted Execution Environments (E3).
The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generating ZK proofs, the coordinator responsible for multiple orchestrations, and the postman to execute bridge messages.
⚓ Solana Sealevel Framework
Tool suite for testing ethereum applications.
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Governance Repository for Celo
Blazing fast toolkit for developing Starknet contracts.
The Nexus zkVM: The zero-knowledge virtual machine
A fork of CometBFT
Safe allows secure management of blockchain assets.
Nitro goes vroom and fixes everything
A Typescript implementation of the Discv5 protocol
Official repository for the Polygon Blockchain
A flexible toolkit for building real-time blockchains
Golang utilities
Bitcoin ZK client written in Cairo.
RISC-V Instruction Set Manual
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Collection of APIs provided by Ethereum execution layer clients
Ethereum L1 Protocol Stack and EVM in TypeScript
An Ethereum-compatible smart contract parachain on Polkadot