Automated verification of uniqueness property for ZKP circuits
☆98Mar 13, 2024Updated 2 years ago
Alternatives and similar repositories for Picus
Users that are interested in Picus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated verification of uniqueness property for ZKP circuits☆52Sep 16, 2026Updated last month
- ☆47Aug 31, 2023Updated 3 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆116Aug 2, 2022Updated 4 years ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆269Sep 30, 2026Updated last month
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The repository for high quality Trusted setups for groth16 based SNARKS☆23Jul 18, 2025Updated last year
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆62Aug 17, 2026Updated 2 months ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated 2 years ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆319Oct 22, 2026Updated last week
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 3 years ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆731Dec 19, 2024Updated last year
- ☆14Dec 13, 2024Updated last year
- ☆27Sep 8, 2026Updated last month
- High-performance Multi-scalar Multiplication for Pasta curves☆24Sep 6, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- SMT 2023 Submission; license pending☆61Jan 28, 2026Updated 9 months ago
- Precise Attack Synthesis for DeFi Apps☆48Aug 15, 2022Updated 4 years ago
- Experimental folding schemes library☆288Jul 26, 2026Updated 3 months ago
- ZK Circuit Fuzzer (IEEE S&P'26)☆46Oct 15, 2026Updated 2 weeks ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 3 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan.☆15Oct 29, 2024Updated 2 years ago
- ☆206Nov 25, 2023Updated 2 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Testudo: Spartan + Groth16☆54Feb 21, 2024Updated 2 years ago
- The Valida execution engine, prover, and verifier☆32Oct 6, 2025Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆51Jul 5, 2023Updated 3 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated 2 years ago
- r1cs file format parser☆25Sep 2, 2026Updated last month
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 9 months ago
- A testing & development environment for Circom.☆118Jul 23, 2026Updated 3 months ago
- ☆33Sep 9, 2023Updated 3 years ago
- Formally Verified Arguments of Knowledge in Lean☆348Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Collection of security reviews of ZK Protocols☆241Dec 1, 2024Updated last year
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆222Dec 5, 2023Updated 2 years ago
- zkSnark circuit compiler☆13Oct 21, 2026Updated last week
- A curated list of awesome security resources for ZK.☆126Jun 22, 2026Updated 4 months ago
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 3 years ago
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆106Oct 23, 2026Updated last week
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated last year