risc0 / zirgen

Zirgen compiler and RISC Zero circuits
Apache License 2.0
62 stars 7 forks source link

ZIR-245: Parameterize EC acceleration over curves #85

Closed tzerrell closed 1 week ago

tzerrell commented 1 week ago

This includes adding MinBits functionality to LoadOps, to enable setting MinBits when getting passed the EC prime as a parameter.

~Not ready to land until we also prepare a PR with the corresponding changes to the risc0 repo.~ Used in https://github.com/risc0/risc0/pull/2534