ERC-1922

A standard interface for verifier contracts that verify zk-SNARKs, defining a uniform verify method over a proof, its public inputs, and a verification-key identifier so any compliant verifier can be called the same way.