diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-10-27 14:16:35 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-10-27 15:53:27 -0400 |
| commit | 22db367d932ac43f6c42b821f3cb716a38c02e31 (patch) | |
| tree | 506f81116bdaeb792d275d52d2c25205d5967c88 /crypto-defects.md | |
| parent | d92c5215b802e31022297ab35f7c69936d10dc56 (diff) | |
proved an admit (eq_enc_S_iff) in Ed25519.v
Diffstat (limited to 'crypto-defects.md')
0 files changed, 0 insertions, 0 deletions