Stars
A cost-effective testing framework for MPC compilers
Fuzzing processing pipelines for zero-knowledge circuits
A benchmarking platform for Solidity fuzzers
An encoding from the solc-typed-ast into datalog
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
A greener fuzzer benchmarking platform
A specification language and framework for expressing and testing k-safety properties of machine-learning models
A dependency-aware metamorphic-testing framework for Datalog engines
Benchmark Generator for Smart-Contract Fuzzers
π¦π΄π΄π΄π¦ A home for ethereum smart contracts. π
A BugBounty companion that checks out high-reward yielding bug bounty code-bases from Immunefi/code4rena π (use at own risk)
π¦π΄π΄π΄π¦ A home for ethereum smart contracts. π
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
OpenZeppelin Contracts is a library for secure smart contract development.
π¦ π¦ π¦ Core smart contracts of Uniswap v3
Practical-Formal-Methods / AFL-public
Forked from google/AFLamerican fuzzy lop - a security-oriented fuzzer