Highlights
Lists (4)
Sort Name ascending (A-Z)
Stars
Ethereum Proof-of-Stake Consensus Specifications
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Tracing the evolution of AI and large language models from early neural networks to GPT-4 and beyond.
Source repo for Upgrading Ethereum, A technical handbook on Ethereum's move to proof of stake and beyond.
Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
Pin files for contextual, codebase-level AI assistance.
Source code for "Building Cryptographic Proofs from Hash Functions"
Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.
Reveal unused code of a live smart contract by collecting coverage from historical transactions.
A curated list of awesome smart contract analysis tools
ethpwn - the Swiss Army Knife for Smart Contract Hacking
SEAL 911 is a project designed to give users, developers, and security researchers an accessible way to connect with a small group of highly trusted security professionals in case of emergency.
A Foundry template to compile and test Vyper contracts.
Property-based testing benchmark
Pre-Built Vulnerable Environments Based on Docker-Compose
Vulnerable app with examples showing how to not use secrets
docker-compose bringing up multiple vulnerable applications inside containers.
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
A prompt defence is a multi-layer defence that can be used to protect your applications against prompt injection attacks.
This repository implements a Python function that recovers the private key from two different signatures that use the same random nonce during signature generation.
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.