As a model developer I want to be able to specify in the model registration contract a true/false boolean indicating if my model is capable of generating an execution proof so that I can tell my model customers that if they so wish they can receive a callback execution proof along with their inference results that proves they advertised model was the one used to generate inference.
a.c.
the model registration contract has a boolean that the model developer can set to true or false
if the value is set to true, the modeler must specify additional information regarding the proof generation, such as the proof type (e.g., optimistic/zk) and the proof verification method (e.g., smart contract or dispute mechanism)
the existence of a proof mechanism is determined by what the model dev has set in the Ritual container
Notes
This user story is specifically about the boolean metadata field that indicates if the modeler can generate an execution proof along with inference
The model execution container must be capable of generating the proof (if ZK)
As a model developer I want to be able to specify in the model registration contract a true/false boolean indicating if my model is capable of generating an execution proof so that I can tell my model customers that if they so wish they can receive a callback execution proof along with their inference results that proves they advertised model was the one used to generate inference.
a.c.
Notes