src - fiat-crypto - fast, formally verified cryptography

Mode	Name	Size
-rw-r--r--	.gitignore	18	log plain
-rw-r--r--	Algebra.v	6095	log plain
d---------	Algebra	264	log plain
d---------	Assembly	653	log plain
-rw-r--r--	BaseSystem.v	6978	log plain
-rw-r--r--	BaseSystemProofs.v	22067	log plain
d---------	BoundedArithmetic	377	log plain
d---------	CompleteEdwardsCurve	187	log plain
-rw-r--r--	EdDSARepChange.v	13692	log plain
d---------	Encoding	155	log plain
d---------	Experiments	168	log plain
-rw-r--r--	Karatsuba.v	2338	log plain
d---------	ModularArithmetic	1065	log plain
-rw-r--r--	MontgomeryCurve.v	2898	log plain
-rw-r--r--	MontgomeryCurveTheorems.v	4258	log plain
-rw-r--r--	MontgomeryX.v	2213	log plain
-rw-r--r--	MontgomeryXProofs.v	3055	log plain
-rw-r--r--	MxDHRepChange.v	8361	log plain
-rw-r--r--	NewBaseSystem.v	38256	log plain
d---------	Reflection	2522	log plain
-rw-r--r--	SaturatedBaseSystem.v	12972	log plain
d---------	Spec	381	log plain
d---------	Specific	244	log plain
d---------	SpecificGen	452	log plain
d---------	Tactics	83	log plain
d---------	Test	55	log plain
-rw-r--r--	Testbit.v	4147	log plain
d---------	Util	1733	log plain
d---------	WeierstrassCurve	168	log plain