ERC-1923 zk-SNARK Verifier Registry Standard

🆔 ERC-165 interface ids

Computed here as the XOR of the selectors each interface defines.

EIP	`0x5974488a`
ERC165	`0x01ffc9a7`

`0xf0a1ec2b`	`attestProof(bytes32,bytes32,bool)`
`0x16680861`	`attestProofs(bytes32[],bytes32[],bool[])`
`0x7e49d7ab`	`challengeAttestation(bytes32,uint256[],uint64[],address)`
`0x3202c7f3`	`createNewProofId(uint256[],uint64[])`	pure
`0x577f1534`	`createNewVkId(uint256[])`	pure
`0x6ed5e9ba`	`getVk(bytes32)`
`0xa385e598`	`registerVerifierContract(address)`
`0x67499910`	`registerVk(uint256[],address[])`
`0x0d2aaf41`	`submitProof(uint256[],uint64[],bytes32,address)`
`0xc6edb448`	`submitProof(uint256[],uint64[],bytes32)`
`0xc5572797`	`submitProofAndVerify(uint256[],uint64[],bytes32,address)`
`0x01ffc9a7`	`supportsInterface(bytes4)`	view