diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-04-29 15:22:57 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-04-29 15:23:13 -0400 |
| commit | a82770a13960d214a76265620096d0f266ca00cd (patch) | |
| tree | 23f4adde871484b6eb6a26b96136939311ded33d /src/Spec/Ed25519.v | |
| parent | cd07805915328fd5ee8d41b6cdd4d0340aa156aa (diff) | |
Proved decode_point_eq in Ed25519 (comparing encodings is equivalent to
comparing points).
Diffstat (limited to 'src/Spec/Ed25519.v')
0 files changed, 0 insertions, 0 deletions