repos
13
ecosystems
2
languages
6
commits
2,229
─── top repos · by commits
─── repositories
13 totalA port of the Corset tool into Go
An EVM interpreter in Dafny
A simple intermediate language for generating EVM bytecode.
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
Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM client
Dafny Model of the WrappedEther Smart Contract
Implementation of the constraint system of Linea, specified in the linea-specification repo
A cryptography library written in Dafny which focuses on SNARKs and related systems.
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.
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.
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.
Specification of the constraint system underlying Linea's zkEVM
─── peer developers
─── ecosystems
─── languages
- Go5
- Dafny3
- Rust2
- Java1
- Common Lisp1
- TeX1
─── subscriber view
Unlock the full view of DavePearce
- · 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.