Super Wallet Verifier / circuits
repaid-loans-over-v1
cleanRepaidLoans >= minCount (loans repaid with no day late, from Super Wallet's operator ledger). Public signals: commitment, threshold, nonce. Request syntax: repaid-loans>=1.
| circuitId | 0x59a707d0a433d966efaba9aa83e3c139827c5c5d0895fce5968e20319524f9c9 = keccak256("repaid-loans-over-v1") |
|---|---|
| vkHash | 0xbe28707434613d81d81f5ee40a2ae0d7d815a974da534c304070429d6a2b12be |
| Key ceremony | Public PSE phase 1 (2^9), 1 phase-2 contribution (Super Wallet), then the hash of Xphere block 49689564 as a public beacon. One contributor: the key is sound only if Super Wallet destroyed its randomness. Transcript. |
| Registry | Not registered as of 2026-09-27; the check below reads the chain for the current state. |
Files
- repaid-loans-over-v1.circom, templates/, lib/ (circom 2.1.9, circomlib 2.0.5)
- repaid-loans-over-v1.r1cs, repaid-loans-over-v1.wasm, repaid-loans-over-v1.zkey (final proving key)
- verification_key.json, Verifier.sol, solc-input.json
- circuit.json, TRANSCRIPT.md, README.md
Check it in this browser
Recomputes the vkHash of verification_key.json and reads the registry's record for this circuit from the chain.
(not run)