facebookarchive / smt2utilsLinks
Libraries and tools for the SMT-LIB-2 standard.
☆24Updated 4 years ago
Alternatives and similar repositories for smt2utils
Users that are interested in smt2utils are comparing it to the libraries listed below
Sorting:
- Obsolete☆14Updated 2 years ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 10 months ago
- ☆32Updated this week
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆73Updated 2 years ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13Updated last year
- Precise Attack Synthesis for DeFi Apps☆47Updated 3 years ago
- A mutation-based tool for finding bugs in tests☆128Updated this week
- Automated verification of uniqueness property for ZKP circuits☆43Updated last year
- Solves systems of polynomial equations.☆29Updated 3 months ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆67Updated last year
- Library for building symbolically executable stack-based virtual machines☆75Updated 3 years ago
- Interactive formal verification tool for Yul programs☆75Updated 3 weeks ago
- To make fuzzing Rust easy☆191Updated this week
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆64Updated last year
- This is solc-verify, a modular verifier for Solidity.☆53Updated 2 years ago
- ☆48Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆45Updated 3 months ago
- An EVM interpreter in Dafny☆133Updated last year
- Abstractions for iterating and mapping over struct fields☆17Updated last year
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆29Updated this week
- ☆17Updated 3 years ago
- Examples of Mastermind implemented in different ZK languages and frameworks.☆15Updated 8 months ago
- A gentle, example-based guide to getting started with the Move prover.☆51Updated 3 years ago
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- ☆20Updated last week
- Formal verification of the zkWasm project☆15Updated last year
- Official repo of the EVM LLVM project☆104Updated 3 years ago
- Find the ideal fuzz targets in a Rust codebase☆222Updated 3 weeks ago
- ☆41Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago