A list of public fuzzing campaigns

Automatically check for incorrect interface definitions in vyper contracts

A curated list of awesome smart contract analysis tools

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

Pre-built security properties for commonly forked DeFi protocols

Interactive Specification of Ethereum Rollups

An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚

Barcelona zkDay web

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Interactive documentation on zero-knowledge proof systems and related primitives.

Linea smart-contracts

Here we collect and discuss the best DeFi, Blockchain and crypto-related OpSec researches and data terminals - contributions are welcome.

Blockchain automation library, and SDK for the Silverback Platform

Wargames Toolkit

Prevents you from committing secrets and credentials into git repositories

Welcome to the Web3 on AWS workshop repository. In this repo you find all code artifacts required to build a fully functioning Web3 webapp on top of AWS

🔑🔑🔑 next generation token approvals mechanism

A support library for working with zero knowledge cryptography in Lean 4.

Turbo Intruder is a Burp Suite extension for sending large numbers of HTTP requests and analyzing the results.

Here we discuss how one can investigate crypto hacks and security incidents, and collect all the possible tools and manuals! PRs are welcome! If any tool is missing - please open PR!

Linea implementation based on Besu

L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.

Week 2: CTF solving!

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

A curated list of awesome Uniswap v3 resources

This code accompanies the invariant testing tutorial on our website.

🌱 Construct Merkle Trees and verify proofs in JavaScript.