Stars
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.
zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration betwe…
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
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Cairo is the first Turing-complete language for creating provable programs for general computation.
My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome
Frontend for https://tx.eth.samczsun.com/