Porting of Matita's declarative syntax to Lean

Rust implementation of the Agglayer.

Regenerate the verification keys used by Worldcoin semaphore verifier.

A toolkit for polynomial IOPs (PIOPs)

Browser extension that simplifies the GitHub interface and adds useful features

Audited & minimal JS implementation of elliptic curve cryptography.

A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.

Solidity parser with tens of megabytes throughput

A minimal KZG polynominal commitment library with a Solidity verifier

⭐️ A friendly language for building type-safe, scalable systems!

Implementation of the system contracts

Plonk verifier in solidity (using Commit api)

secp256k1 in pure Python

A Rust library for polynomial commitments

OP Stack Specifications

Polygon Technical Docs

Tooling to provide real-time data and assess these risks across various L2s

Optimism is Ethereum, scaled.

Generate tests based on the Branching Tree Technique.

Command line utility for Safe

Celestia -> EVM bridge

A list of MEV resources with a focus on past research papers/talks.

Let's scale Ethereum! Layer 2 fundamentals & blockspace analytics