NilFoundation / zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler
https://docs.nil.foundation/zkllvm
278 stars 48 forks source link

Implement BLS12-381 handling in the toolchain #497

Closed nkaskov closed 6 months ago

nkaskov commented 7 months ago

For some of our use-cases we need to handle the BLS12-381 field being the base field for the arithmetization. We do not have the prover ready for that (yet), but we can implement the correct handling of -e bl12-381 being passed to assigner and to our other tools.

Within this epic, the following tasks have to be finished:

If you understand that there are any additional tasks to be done as part of this epic, please add them to the list above.