Verax is a shared registry for storing attestations of public interest on EVM chains, designed to enhance data discoverability and consumption for dApps across the network.
This is the home for Verax in github.
For more information see https://ver.ax/
A guide to available tools and platforms for developing on Ethereum.
Lightweight JS Wallet for Node and the browser
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.
Implementation of the constraint system of Linea, specified in the linea-specification repo.
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.
