The good news is that the primitives (finite element operations) can be generated by fiat-crypto.

The missing bits are the group operations, and the DSA/DH (depending on what you need) on top of it -- this was easy (available) for the r1 curves (point_operations.h / inversion_template.h) -- if you find corresponding code somewhere in the public domain (under a permissive license), that should be straightforward. Maybe you want to follow up on mit-plv/fiat-crypto#1444? Or follow the discussion over there to find the right code?

I won't have much time to look into this, unfortunately.

Support for secp256k1 #187

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions