fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Support p256 / montgomery in json format	Jason Gross	2017-10-18
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Extra time comes from adding AMD128 to NISTP256, mostly. After \| File Name \| Before \|\| Change --------------------------------------------------------------------------------------------- 13m25.13s \| Total \| 13m30.82s \|\| -0m05.69s --------------------------------------------------------------------------------------------- N/A \| Specific/IntegrationTestMontgomeryP256_128 \| 0m25.42s \|\| -0m25.42s 0m22.75s \| Specific/NISTP256/AMD128/femul \| N/A \|\| +0m22.75s 1m31.64s \| Specific/NISTP256/AMD64/femul \| 1m52.42s \|\| -0m20.78s 0m14.46s \| Specific/NISTP256/AMD128/fesub \| N/A \|\| +0m14.46s 0m14.25s \| Specific/NISTP256/AMD128/feadd \| N/A \|\| +0m14.25s 0m14.12s \| Specific/NISTP256/AMD128/fenz \| N/A \|\| +0m14.11s N/A \| Specific/NISTP256/AMD64/MontgomeryP256 \| 0m13.00s \|\| -0m13.00s N/A \| Specific/IntegrationTestMontgomeryP256_128_Sub \| 0m12.40s \|\| -0m12.40s N/A \| Specific/IntegrationTestMontgomeryP256_128_Add \| 0m11.99s \|\| -0m11.99s 0m11.74s \| Specific/NISTP256/AMD128/feopp \| N/A \|\| +0m11.74s N/A \| Specific/IntegrationTestMontgomeryP256_128_Opp \| 0m11.22s \|\| -0m11.22s N/A \| Specific/IntegrationTestMontgomeryP256_128_Nonzero \| 0m09.27s \|\| -0m09.26s N/A \| Specific/MontgomeryP256_128 \| 0m09.26s \|\| -0m09.25s 0m08.42s \| Specific/NISTP256/AMD64/Synthesis \| N/A \|\| +0m08.41s 0m14.67s \| Specific/NISTP256/AMD64/fenz \| 0m09.98s \|\| +0m04.68s 0m04.12s \| Specific/Framework/ArithmeticSynthesis/Montgomery \| N/A \|\| +0m04.12s 0m03.58s \| Specific/NISTP256/AMD128/Synthesis \| N/A \|\| +0m03.58s 1m10.78s \| Specific/X2555/C128/ladderstep \| 1m08.36s \|\| +0m02.42s 1m02.10s \| Specific/X25519/C32/femul \| 1m00.59s \|\| +0m01.50s 0m43.59s \| Specific/X2448/Karatsuba/C64/Synthesis \| 0m44.86s \|\| -0m01.26s 0m34.97s \| Specific/X25519/C32/fesquare \| 0m35.98s \|\| -0m01.00s 0m20.10s \| Specific/NISTP256/AMD64/fesub \| 0m18.37s \|\| +0m01.73s 0m17.61s \| Specific/NISTP256/AMD64/feadd \| 0m15.94s \|\| +0m01.67s 2m09.77s \| Specific/X25519/C64/ladderstep \| 2m09.79s \|\| -0m00.01s 1m11.70s \| Specific/X2448/Karatsuba/C64/femul \| 1m11.60s \|\| +0m00.10s 0m32.14s \| Specific/X25519/C32/Synthesis \| 0m31.70s \|\| +0m00.44s 0m27.94s \| Specific/X25519/C32/freeze \| 0m28.06s \|\| -0m00.11s 0m17.62s \| Specific/X25519/C64/femul \| 0m17.41s \|\| +0m00.21s 0m15.21s \| Specific/X25519/C64/freeze \| 0m14.74s \|\| +0m00.47s 0m14.86s \| Specific/NISTP256/AMD64/feopp \| 0m14.96s \|\| -0m00.10s 0m14.58s \| Specific/X25519/C64/fesquare \| 0m14.06s \|\| +0m00.51s 0m10.10s \| Specific/X25519/C64/Synthesis \| 0m09.78s \|\| +0m00.32s 0m06.22s \| Specific/X2555/C128/Synthesis \| 0m06.17s \|\| +0m00.04s 0m01.01s \| Specific/X25519/C32/CurveParameters \| 0m01.05s \|\| -0m00.04s 0m00.99s \| Specific/Framework/SynthesisFramework \| 0m01.08s \|\| -0m00.09s 0m00.79s \| Specific/Framework/MontgomeryReificationTypes \| N/A \|\| +0m00.79s 0m00.78s \| Specific/Framework/ArithmeticSynthesis/SquareFromMul \| 0m00.70s \|\| +0m00.08s 0m00.78s \| Specific/Framework/ArithmeticSynthesis/Karatsuba \| 0m00.75s \|\| +0m00.03s 0m00.76s \| Specific/Framework/ArithmeticSynthesis/MontgomeryPackage \| N/A \|\| +0m00.76s 0m00.75s \| Specific/Framework/IntegrationTestTemporaryMiscCommon \| 0m00.80s \|\| -0m00.05s 0m00.75s \| Specific/Framework/MontgomeryReificationTypesPackage \| N/A \|\| +0m00.75s 0m00.73s \| Specific/Framework/ArithmeticSynthesis/Defaults \| 0m00.75s \|\| -0m00.02s 0m00.72s \| Specific/Framework/ReificationTypesPackage \| 0m00.70s \|\| +0m00.02s 0m00.72s \| Specific/Framework/ArithmeticSynthesis/Base \| 0m00.73s \|\| -0m00.01s 0m00.72s \| Specific/Framework/ArithmeticSynthesis/BasePackage \| 0m00.69s \|\| +0m00.03s 0m00.72s \| Specific/Framework/ArithmeticSynthesis/LadderstepPackage \| 0m00.76s \|\| -0m00.04s 0m00.70s \| Specific/Framework/ArithmeticSynthesis/Freeze \| 0m00.75s \|\| -0m00.05s 0m00.70s \| Specific/Framework/ArithmeticSynthesis/KaratsubaPackage \| 0m00.77s \|\| -0m00.07s 0m00.69s \| Specific/Framework/ArithmeticSynthesis/DefaultsPackage \| 0m00.71s \|\| -0m00.02s 0m00.67s \| Specific/Framework/ArithmeticSynthesis/FreezePackage \| 0m00.74s \|\| -0m00.06s 0m00.43s \| Specific/X25519/C64/CurveParameters \| 0m00.43s \|\| +0m00.00s 0m00.38s \| Specific/Framework/IntegrationTestDisplayCommon \| 0m00.40s \|\| -0m00.02s 0m00.38s \| Specific/Framework/IntegrationTestDisplayCommonTactics \| 0m00.37s \|\| +0m00.01s 0m00.34s \| Specific/Framework/CurveParameters \| 0m00.32s \|\| +0m00.02s 0m00.33s \| Specific/X2555/C128/CurveParameters \| 0m00.33s \|\| +0m00.00s 0m00.32s \| Specific/NISTP256/AMD128/CurveParameters \| N/A \|\| +0m00.32s 0m00.32s \| Specific/X2448/Karatsuba/C64/CurveParameters \| 0m00.33s \|\| -0m00.01s 0m00.31s \| Specific/Framework/CurveParametersPackage \| 0m00.33s \|\| -0m00.02s 0m00.30s \| Specific/NISTP256/AMD64/CurveParameters \| N/A \|\| +0m00.30s
*	Reorgainze synthesis framework files into a Framework folder	Jason Gross	2017-10-18
\|
*	Factor out some bits of ladderstep preglue	Jason Gross	2017-10-05
\| \| \| \| \|	This requires some changes to nonzero, which now needs to unfold proj1_sig itself.
*	Factor out some of the preglue synthesis code	Jason Gross	2017-07-08
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This makes it a bit more uniform, and hopefully more automatable and packageable. Unfortunately, there's still no spec for this part of the pipeline, so the tactics simply aggregate common patterns. Alas, this also makes things a bit slower; I suspect that [Defined] is the place where things are slower. After \| File Name \| Before \|\| Change --------------------------------------------------------------------------------------- 13m51.14s \| Total \| 12m59.29s \|\| +0m51.84s --------------------------------------------------------------------------------------- 1m54.18s \| Specific/IntegrationTestKaratsubaMul \| 1m43.12s \|\| +0m11.06s 1m38.97s \| Specific/IntegrationTestLadderstep130 \| 1m30.26s \|\| +0m08.70s 2m19.75s \| Specific/NISTP256/AMD64/femul \| 2m14.08s \|\| +0m05.66s 0m39.90s \| Specific/IntegrationTestMontgomeryP256_128 \| 0m34.21s \|\| +0m05.68s 0m21.95s \| Specific/NISTP256/AMD64/fesub \| 0m19.23s \|\| +0m02.71s 0m21.37s \| Specific/NISTP256/AMD64/feadd \| 0m18.82s \|\| +0m02.55s 0m21.02s \| Specific/X25519/C64/femul \| 0m18.32s \|\| +0m02.69s 0m20.53s \| Specific/IntegrationTestFreeze \| 0m23.26s \|\| -0m02.73s 0m18.28s \| Specific/IntegrationTestMontgomeryP256_128_Sub \| 0m15.32s \|\| +0m02.96s 0m18.20s \| Specific/IntegrationTestMontgomeryP256_128_Add \| 0m15.52s \|\| +0m02.67s 0m16.35s \| Specific/IntegrationTestMontgomeryP256_128_Opp \| 0m13.52s \|\| +0m02.83s 0m13.92s \| Specific/IntegrationTestMontgomeryP256_128_Nonzero \| 0m11.84s \|\| +0m02.08s 0m18.23s \| Specific/NISTP256/AMD64/MontgomeryP256 \| 0m16.62s \|\| +0m01.60s 0m15.54s \| Specific/IntegrationTestSub \| 0m14.53s \|\| +0m01.00s 0m14.78s \| Specific/X25519/C64/fesquare \| 0m13.13s \|\| +0m01.64s 0m13.71s \| Specific/NISTP256/AMD64/fenz \| 0m12.69s \|\| +0m01.02s 3m14.34s \| Specific/X25519/C64/ladderstep \| 3m14.32s \|\| +0m00.02s 0m16.54s \| Specific/NISTP256/AMD64/feopp \| 0m16.48s \|\| +0m00.05s 0m12.21s \| Specific/MontgomeryP256_128 \| 0m12.70s \|\| -0m00.48s 0m00.73s \| Specific/IntegrationTestTemporaryMiscCommon \| 0m00.72s \|\| +0m00.01s 0m00.64s \| Specific/IntegrationTestDisplayCommon \| 0m00.60s \|\| +0m00.04s
*	Fix misnamed references in Specific/ (broke after saturated arithetic reorg)	jadep	2017-06-30
\|
*	Add nonzero synthesis	Jason Gross	2017-06-26