| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
After | File Name | Before || Change
----------------------------------------------------------------------------------
1m00.15s | Total | 1m00.12s || +0m00.03s
----------------------------------------------------------------------------------
0m14.85s | Specific/GF25519 | 0m16.44s || -0m01.59s
0m16.98s | ModularArithmetic/ModularBaseSystemProofs | 0m16.66s || +0m00.32s
0m04.21s | ModularArithmetic/Pow2BaseProofs | 0m04.23s || -0m00.02s
0m03.81s | BaseSystemProofs | 0m03.96s || -0m00.14s
0m03.33s | Experiments/SpecificCurve25519 | 0m03.33s || +0m00.00s
0m03.01s | Util/ListUtil | 0m02.98s || +0m00.02s
0m02.43s | Specific/GF1305 | 0m02.00s || +0m00.43s
0m02.11s | ModularArithmetic/ModularBaseSystemOpt | 0m02.05s || +0m00.06s
0m01.45s | BaseSystem | 0m01.16s || +0m00.29s
0m01.21s | ModularArithmetic/ExtendedBaseVector | 0m01.17s || +0m00.04s
0m00.91s | ModularArithmetic/ModularBaseSystemField | 0m00.90s || +0m00.01s
0m00.83s | ModularArithmetic/ModularBaseSystemListProofs | 0m00.76s || +0m00.06s
0m00.70s | ModularArithmetic/ExtPow2BaseMulProofs | 0m00.58s || +0m00.12s
0m00.66s | Testbit | 0m00.63s || +0m00.03s
0m00.64s | ModularArithmetic/ModularBaseSystemList | 0m00.58s || +0m00.06s
0m00.62s | Util/AdditionChainExponentiation | 0m00.62s || +0m00.00s
0m00.61s | ModularArithmetic/PseudoMersenneBaseParamProofs | 0m00.55s || +0m00.05s
0m00.60s | ModularArithmetic/PseudoMersenneBaseParams | 0m00.60s || +0m00.00s
0m00.60s | ModularArithmetic/ModularBaseSystem | 0m00.55s || +0m00.04s
0m00.60s | ModularArithmetic/Pow2Base | 0m00.38s || +0m00.21s
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
After | File Name | Before || Change
--------------------------------------------------------------------------------
0m42.93s | Total | 0m43.10s || -0m00.16s
--------------------------------------------------------------------------------
0m16.42s | ModularArithmetic/ModularBaseSystemProofs | 0m16.26s || +0m00.16s
0m14.44s | Specific/GF25519 | 0m14.68s || -0m00.24s
0m03.30s | Experiments/SpecificCurve25519 | 0m03.24s || +0m00.05s
0m02.13s | ModularArithmetic/ModularBaseSystemOpt | 0m02.10s || +0m00.02s
0m02.09s | Specific/GF1305 | 0m02.06s || +0m00.02s
0m01.08s | ModularArithmetic/ExtendedBaseVector | 0m01.19s || -0m00.10s
0m00.89s | ModularArithmetic/ModularBaseSystemField | 0m00.87s || +0m00.02s
0m00.81s | ModularArithmetic/ModularBaseSystemListProofs | 0m00.85s || -0m00.03s
0m00.63s | ModularArithmetic/ExtPow2BaseMulProofs | 0m00.64s || -0m00.01s
0m00.60s | ModularArithmetic/ModularBaseSystemList | 0m00.63s || -0m00.03s
0m00.55s | ModularArithmetic/ModularBaseSystem | 0m00.58s || -0m00.02s
|
|
|
|
| |
change through the pipeline. Also began the process of redoing canonicalization proofs, attempting to put the messy case analysis in theorem statements rather than separate lemmas.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
It has nothing to do with ext_base
|
| |
|
| |
|
|
|
|
| |
(bases that are repeats of the same power of 2) into Pow2Base
|
|
|
|
|
|
|
|
| |
Also use [ZUtil.Z.pow2_mod]. This lets us remove the dependency of
ModularBaseSystem on ModularArithmetic.PseudoMersenneBaseParamProofs.
This is a small part of reorganizing and factoring ModularBaseSystem for
use with Barrett reduction.
|
| |
|
| |
|
|
organization and changes to pseudomersenne base parameters that require bases to be expressed as powers of 2, which reduces the burden of proof on the caller and allows carry functions to use bitwise operations rather than mod and division
|