Stars
FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI…
AI engine for smart contract audit
This repository contains the Hugging Face Agents Course.
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
Noir is a domain specific language for zero knowledge proofs
The smart contract security training ground for developers, security researchers and educators.
Code and documentation to train Stanford's Alpaca models, and generate the data.
ZK proofs for responsible vulnerability disclosure on EVM.
A mutation-based tool for finding bugs in tests
Solidity, the Smart Contract Programming Language
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…
Guidelines and training material to write secure smart contracts
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.
A STARK prover and verifier for arbitrary computations
Playing with zero-knowledge proof languages
To learn common smart contract vulnerabilities using Foundry!
Regexp based tool for mutating generic source code across numerous languages
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Tutorial for writing constraints in the `arkworks` framework