| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | IterAssocOp: now uses arbitrary representation of scalar that implements testbit |  Jade Philipoom | 2016-03-08 |
| * | IterAssocOp : now takes a bound argument instead of just using size of exponent | Jade Philipoom | 2016-03-07 |
| * | IterAssocOp : proved iter_op with function exponential | Jade Philipoom | 2016-03-03 |
| * | generic binary exponentiation correctness proof in 3 one-liners |  Andres Erbsen | 2016-02-26 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |