EIP-2535 Diamond reference implementation using Hardhat and Solidity 0.8.*

Fast web fuzzer written in Go

A collection of resources to study Solana smart contract security, auditing, and exploits.

A collection of Solana programs maintained by Solana Labs

This project was created to assist participants and judges in Code4rena bot races

⚡ Tact compiler for TON blockchain—build secure, efficient smart contracts with powerful tooling and seamless integration

https://tact-by-example.org - Learn Tact by diving head first into working code and seeing many different contracts

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

Solidity library for advanced fixed-point math

Guidelines and training material to write secure smart contracts

Modern, opinionated, and gas optimized building blocks for smart contract development.

Optimized Solidity snippets.

Observations and tips checklist for auditing protocols on multiple chains 🧐

A symbolic testing tool for EVM smart contracts

The Ethereum Rollup Improvement Proposal repository

The Ethereum Request for Comment repository

The Ethereum Improvement Proposal repository

Merkle Proof Generator and Validator in Solidity

Generate perfect code headers every time.

Fork of Foundry tailored for zkSync environment

Slack Developer Kit for Node.js

🔑🔑🔑 next generation token approvals mechanism

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

Static smart contract code 4naly3er

Threshold Signature Scheme, for ECDSA and EDDSA

node of the decentralized oracle network, bridging on and off-chain computation

This repository contains the core smart contracts of the Aave V3 protocol.