Name	Name	Last commit message	Last commit date
parent directory ..
contracts	contracts
scripts	scripts
.env.example	.env.example
README.md	README.md
hardhat.config.ts	hardhat.config.ts
package.json	package.json
tsconfig.json	tsconfig.json

Name

Last commit message

Last commit date

ZKInfer — ZK Proof Verification Registry

Circuit Registration: Register ZK circuits with on-chain verifier addresses
Proof Submission: Submit proofs with public inputs for verification
Verification Tracking: Full verification history per circuit
Verifier Staking: Stake-based verifier authorization
Status Tracking: Pending, Verified, Failed, Disputed states

ZK proof verification registry on ProbeChain Rydberg Testnet (Chain ID 8004).

Features

Function	Description
`registerCircuit`	Register a new ZK circuit with verifier address
`submitProof`	Submit a proof for a registered circuit
`verifyProof`	Verify a submitted proof (authorized verifiers only)
`getVerificationHistory`	Get all submission IDs for a circuit

npm install
cp .env.example .env
# Add your private key to .env
npx hardhat compile
npx hardhat run scripts/deploy.ts --network rydberg