OSS CLI to diagnose ZK circuit projects (Aleo/Noir/Compact/Cairo/risc0) for common health issues — sibling to the ZK Cookbook.
-
Updated
May 23, 2026 - Python
OSS CLI to diagnose ZK circuit projects (Aleo/Noir/Compact/Cairo/risc0) for common health issues — sibling to the ZK Cookbook.
An implementation of Privacy-Preserving Identity Verification using zk-SNARKs. Leverages Groth16 pairings and arithmetic circuits (Circom) to prove identity claims without revealing underlying PII, coupled with an immutable On-Chain Audit Trail for forensic non-repudiation.
Add a description, image, and links to the solidity-verifier topic page so that developers can more easily learn about it.
To associate your repository with the solidity-verifier topic, visit your repo's landing page and select "manage topics."