repos
48
ecosystems
19
languages
6
commits
1,287
─── top repos · by commits
─── repositories
48 totalThe 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
Hyper-parallel ZK coprocessing.
Implementation of the constraint system of Linea, specified in the linea-specification repo
Framework to prove inference of ML models blazingly fast
Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM client
Linea Sequencer Implementation
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Optimism execution client written in Java based Hyperledger besu.
Fork of hyperledger/besu to verify release GitHub actions
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Linea implementation based on Besu
Hyper-parallel ZK coprocessing.
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
An observatory fork of SP1
Codebase used to process onchain information into Lagrange database used for Euclid testnet
A performant, 100% open-source, contributor-friendly zkVM.
Solidity contracts for the Lagrange Proving Network
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
gRPC connection handling for connecting to the Lagrange proving network gateway
The fastest, most feature-complete zkVM for developers.
Implementation of Poseidon2 precompile and SHA2 constraints optimizations
The fastest, most feature-complete zkVM for developers.
GPU-acceselerated cryptography libraries for ZKsync
The Lagrange network sends tasks to workers in order to generate zkproofs.
The Lagrange network sends tasks to workers in order to generate zkproofs.
Repository storing shared github actions
─── peer developers
─── ecosystems
─── languages
- Rust21
- Java11
- Go1
- Common Lisp1
- Solidity1
- Shell1
─── subscriber view
Unlock the full view of delehef
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.