Anyone can independently verify it with a single command:
powershell -ExecutionPolicy Bypass -File proofpack\score30\REPRO.ps1
Expected output: snarkJS: OK!
The repo contains: - Circom arithmetic circuit - Groth16 proof + verification key - Solidity verifier - Deterministic SHA256 manifest - On-chain timestamp anchor (Sepolia)
Goal: show what “verifiable AI artifacts” could look like in practice using existing ZK tooling.
Feedback welcome.
Author here.
This is intentionally minimal and reproducible.
The goal wasn’t to build a new ZK system, but to demonstrate what a verifiable AI artifact could look like using existing tooling (Circom + Groth16 + Solidity verifier).
If something looks unclear or poorly structured, I’d genuinely appreciate feedback on how to make it more rigorous.