Ideally we'd have a simpler and more future-proof proofPurpose definition. I'm not sure if we can get away with using a string or not -- that would require implementations to change to accommodate it. But we should think about what we could do to simplify.
Ideally we'd have a simpler and more future-proof
proofPurpose
definition. I'm not sure if we can get away with using a string or not -- that would require implementations to change to accommodate it. But we should think about what we could do to simplify.