arith/verif: new package

mmcloughlin / ec3

Elliptic Curve Cryptography Compiler: an incomplete experiment in code-generation for elliptic curves in Go

BSD 3-Clause "New" or "Revised" License

56 stars 6 forks source link

Closed mmcloughlin closed 4 years ago

mmcloughlin commented 4 years ago

Initial work towards verifying arithmetic programs.

Updates #96 #101