cryspen
Adding a pairing function to Bls12-381
Hello,
It seems that some Rust APIs lack functions, for example, the BLS12-381 curve doesn't come with a pairing function while the upstream project implements one https://github.com/AU-COBRA/AUCurves/blob/main/src/Hacspec/Curve/Bls.v#L621.
Yes, we would like to do that, but currently lack the resources at AU. You are pointing to the hacspec specification, but as you can see here: https://github.com/AU-COBRA/AUCurves/blob/main/src/Hacspec/Curve/BlsProof.v The pairing has not yet been implemented in Coq.
Hello @spitters, thanks for the information! I may have a look at it at some point, though I'm a total beginner.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.