Super Wallet Verifier / circuits
adverse-loans-max-v1
0 <= adverseLoans12m <= max (late loans in the last 12 months, counted as LimitStepUp counts them: any day past due - repaid late, still late, defaulted or written off - from Super Wallet's operator ledger, not confirmed by lenders). Public signals: commitment, min, max, nonce. Request syntax: adverse-loans<=0.
| circuitId | 0x69484b162813af9a662f7a34cdfbafb17be1d322cf77e04b0dd5cf6cbea53a47 = keccak256("adverse-loans-max-v1") |
|---|---|
| vkHash | 0x36c49b3256f286f2b2672a1982f09cb542bacf554f91b679b33caa0246816bac |
| 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
- adverse-loans-max-v1.circom, templates/, lib/ (circom 2.1.9, circomlib 2.0.5)
- adverse-loans-max-v1.r1cs, adverse-loans-max-v1.wasm, adverse-loans-max-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)