diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-06-13 14:59:17 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-06-13 14:59:17 -0400 |
| commit | a86f8004a280dcf5cb5c2ad15b902d63119430bb (patch) | |
| tree | 9f1a86fc6a8f604fc14de0ed3e5acb106f10e5f1 /src/Testbit.v | |
| parent | a37eb79f7750a419346211abb58ec45b79975da0 (diff) | |
progress on second stage (conditional constant-time subtraction) of canonicalization proofs
Diffstat (limited to 'src/Testbit.v')
0 files changed, 0 insertions, 0 deletions