Guidelines and training material to write secure smart contracts

Ethereum implementation on the efficiency frontier

Monorepo for OP Stack Types, Components, and Services built in Rust.

A Collection of Newsletters sharing progress updates.

Observations and tips checklist for auditing protocols on multiple chains 🧐

Optimized Solidity snippets.

Hacks/Vulns/Audits Compilation

Succinct's Production-Grade Proving Engine for the OP Stack.

💠 Upgradeable-first Solidity smart contract development library 💠

A small library for Forge that makes it easy to replay transactions and inspect the contract code and state

Foundry library for deploying and managing upgradeable contracts

A bridge demo between Cosmos and Ethereum using IBC and LCP

RocksDB/LevelDB inspired key-value database in Go

Hunt for common bad practices in Solidity smart contracts !

Symbolic and concrete EVM execution engine

A tool for analyzing the security and parameters of a solidity smart contract

Emerging smart contract language for the Ethereum blockchain.

Smart Contract Security Verification Standard

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games

A proxy middleware for light client verification executed in TEE.

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

An open-source runtime for composable workflows. Great for AI agents and CI/CD.

Tutorials for building modules for the Cosmos SDK

Tendermint in Solidity

Faster & cheaper contract key-value storage for Ethereum Contracts

🥑 Language focused docker images, minus the operating system.