Smart Contracts

State contract addresses:

• Ropsten: 0xA53E04be47e7BCe94c2f391E4560618D3199f514
• Mumbai: 0x46Fd04eEa588a3EA7e9F055dd691C688c4148ab3
• Polygon Mainnet: 0xb8a86e138C3fe64CbCba9731216B1a638EEc55c8

State.sol on Github

The core role of State smart contract is to:

• Verify the proof on-chain via its transitState function
• If valid, update the identities mapping, adding the new identity state associated with a specific identifier.

The State contract provides a timestamp of the changes that occur inside an identity state. No personal information (such as claims) is stored on-chain nor it is inferrable from the information stored on-chain.

Note that the actual proof verification is executed by calling the verifyProof function inside the verifier.sol.

The verifier.sol contract is automatically generated using SnarkJS and can be used as a standalone contract to verify the proof. State.sol implements further logic once the proof is verified (such as updating the identity state).