A guide to smart contract security best practices

WIP: code generation package in Go -- used by gnark, goff and gurvy

Superchain interop example: SuperchainERC20 that mints initial supply on a single chain

OSS-Fuzz - continuous fuzzing for open source software.

A cat(1) clone with wings.

Executable formal model of the EVM and Yul in Lean 4.

Equivalence proofs of EVM models

Fast Ethereum Virtual Machine implementation

Command and Conquer: Generals - Zero Hour

A repo of example Noir projects.

Front-end application for Blockscout

Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups

A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.

Utility to use in with circleci

Optimism Developer Docs

Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)

ethrex: Ethereum Rust Execution L1 and L2 client.

Uses magic (zk) to distribute gifts (rewards) to kids (validators)

Autonomous agents for everyone

An experimental programming language that's made to be powerful, productive, and predictable

Standard way to simulate governance actions from a timelock, multisig, or DAO.

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Superchain Upgrade Proposals