search

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 5 forks source link

arith/verif: archive verification attempt #115

Closed mmcloughlin closed 4 years ago

mmcloughlin commented 4 years ago

Verification of arithmetic programs #101 is highly non-trivial and hit a road block. While this remains a long-term goal, suggest shelving this effort for now so this project doesn't completely die.

Git SHA prior to removal: f507772d2087a208b1455ab45b24096b1d8a8d98

mmcloughlin commented 4 years ago

Note a lot of work was also on the branch:

https://github.com/mmcloughlin/ec3/tree/arith-ops

See #122