Gfverif: fast and easy verification of finite-field arithmetic

7 pointsby reader_1000over 9 years ago

1 comment

brudgersover 9 years ago

Link to code from Examples page: <a href="http://gfverif.cryptojedi.org/gfverif-20151230.tar.gz" rel="nofollow">http://gfverif.cryptojedi.org/gfverif-20151230.tar.gz</a>