ERC-7992 Verifiable ML Model Inference (ZKML)

DraftERCcreated 2025-07-23requires ERC-165

Interfaces for registering ML model commitments and verifying zero-knowledge proofs of their inferences on-chain.

Author: Aryaethn (@aryaethn)

ERC-165 interface ids

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

`0xb0453384`	`deprecateModel(uint256)`
`0x584ee35c`	`getInference(bytes32)`	view
`0x6d361694`	`getModel(uint256)`	view
`0xa6571c04`	`proofSystemOf(uint256)`	view
`0x88e9606f`	`registerModel((bytes32,bytes32,bytes32,bytes4,string))`
`0x7b103999`	`registry()`	view
`0x871f5cce`	`updateModel(uint256,(bytes32,bytes32,bytes32,bytes4,string))`
`0x718859d5`	`verifyAndStoreInference(uint256,bytes32,bytes,bytes)`
`0x80b171ef`	`verifyInference(uint256,bytes32,bytes,bytes)`

0x01ffc9a7 supportsInterface(bytes4) ERC-165

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

`0xf340692c07394f5cc3f903d29d22b85dc25e11d0bf1f7faa1cf069e25b3dc38b`	`ModelRegistered(uint256,address,(bytes32,bytes32,bytes32,bytes4,string))`
`0x35928121147784ec0f208e524c7f2696f4fcd0688bcb1f795eb0c81e93726f9c`	`ModelUpdated(uint256,(bytes32,bytes32,bytes32,bytes4,string),(bytes32,bytes32,bytes32,bytes4,string))`
`0xf5201226a8a9c25d2b88221fb737afa13bed245e01ec515454bf815db7374f7a`	`ModelDeprecated(uint256)`
`0x9ff454ce625f8b31b5c2cb981f94be87237ff83d5c7858966ed8adf1e86fe421`	`InferenceVerified(uint256,bytes32,bytes,address)`
`0x18ccdfacf5ac7b779e6d4b6881f0ccb340b3c88a9ffd997d735bbcae7e19abba`	`InferenceStored(bytes32)`

`0x6d710e14`	`ModelNotFound(uint256)`
`0x25a0f138`	`NotModelOwner(uint256,address)`
`0xf5201226`	`ModelDeprecated(uint256)`
`0x09bde339`	`InvalidProof()`
`0xa407e5f7`	`ModelMismatch()`
`0x67320673`	`InputCommitmentMismatch()`
`0xbece19e6`	`OutputMismatch()`
`0xad061ccd`	`UnsupportedProofSystem(bytes4)`
`0x0edf7025`	`VerificationRefused_ModelDeprecated(uint256)`