Link to discuss: Add EIP: Optional Execution Proofs by kevaundray · Pull Request #10354 · ethereum/EIPs · GitHub
2 Likes
My reply is to this version of the EIP (link to GH).
Have you considered setting ProofType not to uint8, but to an explicit tuple of proving system (uint8) and guest program (Bytes32)?
I think this will make upgrades and fixes to the zk components easier to track and maintain, making it more explicit what is being proven and by which version of the proving system. Assuming that zk is buggy, there will most likely be fixes to either guest programs or proving systems, and sweeping all the info about these fixes into a single uint8 will make it very hard to follow and verify.
Please let me know if you have already discussed that.