Gfverif: fast and easy verification of finite-field arithmetic (gfverif.cryptojedi.org) 7 points by reader_1000 10y ago ↗ HN
[–] brudgers 10y ago ↗ Link to code from Examples page: http://gfverif.cryptojedi.org/gfverif-20151230.tar.gz
1 comment
[ 0.25 ms ] story [ 17.1 ms ] thread