Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
vstte17
2ad0ce55
·
fix
·
Oct 25, 2017
validate-0.87.3
54e2d69c
·
checked the result with alt-ergo 0.99.1, removing reliance on buggy 1.01-1.30 range,
·
Jul 03, 2019
validate-0.88.3
274df245
·
modified 96-bit karatsuba in similar sense
·
Aug 23, 2019
experimental-1.2.0
64685d99
·
Add a model that does not use any byte invariants, schoolbook works
·
Oct 18, 2019
subp-loop
99d5d173
·
test version (subp with loop is in 'bigint_subp_j.mlw')
·
Nov 07, 2019
karatsuba
9db4b907
·
brought karatsuba branch in line with curve25519 changes
·
Aug 05, 2020
master
default
9db4b907
·
brought karatsuba branch in line with curve25519 changes
·
Aug 05, 2020
cavr
ac89c1a8
·
reran the proofs on sandor
·
Mar 25, 2021
curve25519
a8c384af
·
reran proofs on sandor; removed a bit of fluff
·
Mar 25, 2021