Super Wallet Verifier / circuits
tier-threshold-v1
Proves "the credit tier the issuer committed to is at least N" without revealing the tier. Public signals: commitment, threshold.
| circuitId | 0x4fc43435fda9467e9024d15eb45acad4360ce22118dd3092f3ac9dc3abf01109 = keccak256("tier-threshold-v1") |
|---|---|
| Verifier contract | 0xc5887371D8A133a4b9F3827cE54558106c933d86 |
| vkHash | 0x4217de734b071f2bc8ca8a4403c5fabeda9f5614c638f76823e0a317a59685db |
| Key ceremony | 1 contribution: a single party generated the proving key. |
Files
- tier_threshold.circom (circom 2.1.9, circomlib 2.0.5)
- verification_key.json (Groth16, BN254)
- TierThresholdVerifier.sol and solc-input.json (the exact compiler input)
- check-bytecode.cjs, keccak.cjs, 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)
Reproduce the verifier contract
npx --yes solc@0.8.24 --standard-json < solc-input.json > solc-output.json
node check-bytecode.cjs solc-output.json contracts/TierThresholdVerifier.sol:Groth16Verifier 0xc5887371D8A133a4b9F3827cE54558106c933d86Expected runtime keccak256: 0x3fe2fb615185719ca3c909c74c255e0455ca378fa9857ff4e4149e86a23f4c86.