ERC-1923 zk-SNARK Verifier Registry Standard

StagnantERCcreated 2018-12-22requires ERC-165, EIP-196, EIP-197

Authors: Michael Connor, Chaitanya Konda, Duncan Westland

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

Topic0 is the keccak256 hash of the signature, which is what a log filter matches on.

`0xa99a07ceb6323e4bd3c618601e300e4fb00f7deab63202de9fb7d9792d192d0b`	`NewProofSubmitted(bytes32,uint256[],uint64[])`
`0x3dcebd5712edfcfac723d079e962ad98976c70e977cc55810eca67ae6eed5196`	`NewVkRegistered(bytes32)`
`0x8162b5ded0f1f7b1072b8d0217190a5dfe98aa26e6211bc66b1b2c548dbfe8fc`	`NewVerifierContractRegistered(address)`
`0xf140259f1969eb057e0cf58bc6100b42c21fdb660c031c20a783a5c31aa53834`	`NewAttestation(bytes32,address,bool)`