NethermindEth / horus-checker
Horus, a formal verification tool for StarkNet smart contracts.
☆72Updated last year
Related projects ⓘ
Alternatives and complementary repositories for horus-checker
- Playing with zero-knowledge proof languages☆104Updated last year
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- Interactive formal verification tool for Yul programs☆50Updated this week
- ☆46Updated last year
- SMT 2023 Submission; license pending☆52Updated this week
- Automated verification of uniqueness property for ZKP circuits☆70Updated 8 months ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆56Updated 6 months ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆66Updated last year
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- ☆55Updated this week
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated 10 months ago
- Tools for Yul.☆137Updated last year
- MoonMath Manual notes, exercise solution and extra comments.☆25Updated 4 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆108Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated 11 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆72Updated last month
- Introduction to various ZK languages☆49Updated last month
- Precise Attack Synthesis for DeFi Apps☆46Updated 2 years ago
- A virtual machine for Cairo written in Go☆82Updated last week
- A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.☆54Updated last week
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆69Updated 10 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆63Updated 5 months ago
- Home of the Skyro compiler☆43Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated last year
- A curated list of repos related to Circom☆94Updated last year
- A collection of works discussing the security aspects of StarkNet☆39Updated last year
- PoC of Revm execution in SGX☆81Updated last year
- Automated verification of uniqueness property for ZKP circuits☆41Updated 5 months ago