web3wagmi
← All standards

ERC-1922 zk-SNARK Verifier Standard

StagnantERCcreated 2018-09-14requires 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.

EIPXXXX0x4292dc3e
ERC1650x01ffc9a7

Functions this standard introduces (2)

0x01ffc9a7supportsInterface(bytes4)view
0x4292dc3everify(uint256[],uint256[],bytes32)

Depends on (3)

Proposals this one names in its requires field.

ERC-165Standard Interface DetectionEIP-196Precompiled contracts for addition and scalar multiplication on the elliptic curve alt_bn128EIP-197Precompiled contracts for optimal ate pairing check on the elliptic curve alt_bn128

What the specification covers

Simple SummaryAbstractMotivationSpecificationInterfaceRationaleTaxonomyFunctionsverifyBackwards CompatibilityTest CasesImplementationsReferencesEducational material: zk-SNARKsNotable applications of zk-SNARKsNotable projects relating to zk-SNARKsNotable 'alternatives' to zk-SNARKs - areas of ongoing zero-knowledge proof researchCopyright

Compare with

Parsed from the canonical specification · discussion