For situations where one needs to publish data on the blockchain, such as creating a mtp-type credential, generating on-chain proofs and make credential revocations effective, it is important to have the Smart Contracts addresses:
- Testnet(mumbai) ->
- Mainnet ->
Current addresses on Polygon Mumbai testnet.
Current addresses on Polygon Main. (ERC20 example with airdrop use case, restricted to 1 request).
ERC20 examples with airdrop use case, not restricted.
The CredentialAtomicQuerySigValidator contract is used to verify any credential-related zk proof generated by user using the
credentialAtomicQuerySigV2OnChain circuit. The contract only verifies proofs based on credential of type
The core of the contract is its
verify function that takes the proof generated by a user and executes a set of verifications:
- Verifies that the proof is valid. This verification is actually performed inside the
verifierSigcontract which is automatically generated using circom.
- Verifies that the input used to generate the proof matches the query associated to that specific Request.
- Verifies that the user's and the Issuer's identity states are valid based on the State Contract.
The CredentialAtomicQuerySigValidator executes the same set of verifications of the Verification Library. The former is required when performing on-chain verification while the latter is required for off-chain verification.
Performs the same set of verifications of the CredentialAtomicQuerySigValidator but for credential of type
Further protocol related contracts can be found at Iden3 - Smart Contracts
New Polygon ID Documentation Website Available!
We've released a new version of our documention. Head to devs.polygonid.com to check it out.