3 ms·
I published a small, reproducible zero-knowledge proof pack demonstrating verifiable computation for AI pipelines. Anyone can independently verify it with a si
by LHMisme 7mo ago
I published a small, reproducible zero-knowledge proof pack demonstrating verifiable computation for AI pipelines.
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.