Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
fe25519_mul
default
e699df30
·
Remove outdated comment
·
Feb 28, 2020
doc
ba031ae4
·
Re-run and fix bigint_mul256 proof (1 goal: cvc4 1.4 nobv -> 1.6 nobv)
·
Dec 20, 2019
curve25519
47f01e76
·
A little bit of progress on fe25519_mul121666
·
Dec 13, 2019
subp-loop-inv
a95936bc
·
Loop invraiant work (incomplete)
·
Nov 07, 2019
master
protected
64685d99
·
Add a model that does not use any byte invariants, schoolbook works
·
Oct 18, 2019
validate-0.88.3
274df245
·
modified 96-bit karatsuba in similar sense
·
Aug 23, 2019
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
paper
2ad0ce55
·
fix
·
Oct 25, 2017