Super Wallet Verifier / circuits
pd-max-v1
0 <= defaultProbabilityBp <= max (the model's estimated probability of default in basis points; issued only while the model is calibrated). Public signals: commitment, min, max, nonce. Request syntax: pd<=300bp (or pd<=3%).
| circuitId | 0xecd3bd64f76493a763c596d417dcd0fd3d9ee4644546214f5491e131267c8a1a = keccak256("pd-max-v1") |
|---|---|
| vkHash | 0xcdcbe4c2654a9b82993017d41a1538b8402ba51048ffb60f4d73ce20e85973c0 |
| 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
- pd-max-v1.circom, templates/, lib/ (circom 2.1.9, circomlib 2.0.5)
- pd-max-v1.r1cs, pd-max-v1.wasm, pd-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)