Conversation
clear where these should be located, put them in a temp directory.
fdupress
left a comment
fdupress
left a comment
There was a problem hiding this comment.
Thank you. Some comments.
Not approving yet because the examples are definitely not in the right place.
There was a problem hiding this comment.
The theory could go in theory/modules/ or theory/crypto. I would call it "global hybrid"; it carries out a hybrid argument where the entirety of the experiment is allowed to depend on the hybrid index (as opposed to just the oracles).
There was a problem hiding this comment.
Yeah, seems like a good name. Do you have a preference as to which of those directories?
| @@ -0,0 +1,57 @@ | |||
| (* StepHybrid.ec | |||
There was a problem hiding this comment.
It is worth formatting comments for use with docgen. See examples/ folder for some docgen samples.
There was a problem hiding this comment.
OK, I'll look at docgen tomorrow (Monday).
There was a problem hiding this comment.
Thanks for the contribution.
It would be interesting to make the more complex hybrid proof (in theories/crypto/encryption, I think) an instance of this one. This is to focus maintenance effort a little. Do you have time to give it a try?
There was a problem hiding this comment.
Maybe I could do this later on, but right now I should get back to some pressing matters.
There was a problem hiding this comment.
By the way, I did example 2, the reduction to m instances of DDH, to make sure this kind of thing was possible.
2 participants
Added "step" hybrid theory, plus two examples. (Currently in temp directory in theories.)