[LHMisme]

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.