This repository contains 47,398 smart contracts extracted from the Ethereum network.

SlowMist's open - sourced guide for Web3 projects. It details security practices across development, release, operation, and incident response, aiming to boost project security.

Create a Stark prover & verifier from zero

This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and computing both the domain and message hashes using the EIP-712 st…

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

An interpreter for Rust's mid-level intermediate representation

Fast linters runner for Go

Optimism is Ethereum, scaled.

A proof of authority middleware for verifiable services

EVM abstraction layer

Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs

A collection of Solana programs maintained by Solana Labs

Poseidon2 hash function implemented in Solidity

Reproduce DeFi hacked incidents using Foundry.

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

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

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

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.