NethermindEth / horus-checkerLinks
Horus, a formal verification tool for StarkNet smart contracts.
☆74Updated last month
Alternatives and similar repositories for horus-checker
Users that are interested in horus-checker are comparing it to the libraries listed below
Sorting:
- Playing with zero-knowledge proof languages☆106Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆84Updated last year
- SMT 2023 Submission; license pending☆56Updated 8 months ago
- ☆80Updated this week
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆57Updated last year
- ☆48Updated last year
- Interactive formal verification tool for Yul programs☆68Updated last month
- STARK 101 Workshop in Rust 🐺🦀☆137Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆111Updated 3 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 4 months ago
- A curated list of repos related to Circom☆99Updated 2 years ago
- Export Circom verifier to Cairo☆49Updated 3 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆76Updated 9 months ago
- A repo of example Noir projects.