Pre-built security properties for common Ethereum operations

The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.

Implementation of ERC 7524 - PLUME for ECDSA Nullifiers

Solhint is an open-source project to provide a linting utility for Solidity code.

zkSNARK implementation in JavaScript & WASM

Observations and tips checklist for auditing protocols on multiple chains 🧐

Static Analyzer for Solidity and Vyper

Opinionated security and code quality standard for Solidity smart contracts.

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

Optimized Solidity snippets.

A repo of example Noir projects.

Efficient Type Driven Smart Contract Interactions

A curated list of blockchain security Capture the Flag (CTF) competitions

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Open source forkable Ethereum dev stack

Simple, intentionally-limited versions of web3 protocols & apps.

A compilation of patterns and best practices for the smart contract programming language Solidity

The smart contract security training ground for developers, security researchers and educators.