search

LLFourn / secp256kfun

A pure-rust secp256k1 library optimised for fun
BSD Zero Clause License
104 stars 29 forks source link

Allow equality expressions inslide g!() #19

Closed LLFourn closed 4 years ago

LLFourn commented 4 years ago

Right now the only case where you don't call .mark::<Normal> on the result of a g!(..) call is to compare the resulting Jacobian point to an XOnly. If we could just do something like g!(a * G + b * H == R) this case would go away and we could remove .mark::<Normal>() from everywhere by just making g! normalize the result if it's not doing an equality test.

LLFourn commented 4 years ago

While implementing more involved crypto for sigma_fun I don't think this idea makes sense. The user has to deal with this manually.