diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-08-23 13:42:35 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-08-23 13:42:35 -0400 |
| commit | 4e336857231e909b4384a8b575affbe39179aa39 (patch) | |
| tree | 664c43ad8fb94cb56375226a80aecb8cbee07ab7 /src/ModularArithmetic/Montgomery | |
| parent | 090da932fadc5970d3d510ec789960d57ef2330b (diff) | |
Updated AdditionChainExponentiation.v such that the exponentiation correctness is in terms of N rather than nat; this allows us to compute the correctness proof for large exponents.
Diffstat (limited to 'src/ModularArithmetic/Montgomery')
0 files changed, 0 insertions, 0 deletions