{"repo":"chyanju/picus","free":true,"listed":false,"github":"https://github.com/chyanju/picus","clone":"git clone https://github.com/chyanju/picus.git","description":"Automated verification of uniqueness property for ZKP circuits","language":"Rust","stars":51,"topics":["circom","circomlib","security","verification","zero-knowledge","blockchain"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"Picus Automated detection of under-constrained signals in zero-knowledge circuits --- Picus is a security analysis tool for detecting under-constrained signals in zero-knowledge proof circuits. Given an R1CS constraint system, it verifies that all output signals are uniquely determined by the public inputs — or produces a concrete counter-example showing two distinct valid witnesses. The techniques underlying Picus are described in the PLDI 2023 paper \"Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs\" (see Citation). Looking for the original PLDI 2023 research artifact? See the artifact branch. Installation Default builds are pure Rust: the in-tree native finite-field solver needs no external solver and no extra system dependencies. cvc5 / z3 are never compiled unless you opt in (see below). The optional cvc5 and z3 backends are compiled only on explicit opt-in ( --features cvc5 / z3 ) and carry extra build requirements (and, for cvc5, GPLv3 licensing) — see docs/building.md. Usage Configuration. No config is required — every setting has a built-in default. To customise, copy picus.default.toml (it documents every key), edit it, and pass it with --config ; or drop a ./picus.toml in the working directory and it is picked up automatically. Sources layer, with later winning: built-in defaults < config file < individual CLI flags. Full flag and configuration reference: docs/usage.md. Use as a Rust Library See crates/picus/src/lib.rs for the full API, inc","default_branch":null,"files":null,"tree":[],"storefront":"/r/chyanju","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/chyanju/picus/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}