no_std BLS12-381 Precompiles

[rakita]

It is not audited but it can be useful for no_std environment: https://github.com/zkcrypto/bls12_381

It would be worth adding it with feature flag.

[Ayushdubey86]

Hey @rakita , is it something similar to this pr , or developer needs to add BLS 12-381 in cargo.toml, and make it accessible? Also , can you assign this to me!

[startup-dreamer]

Hi @Ayushdubey86, If you don't mind can I take this issue I have already started working on it, If my approach doesn't seem reasonable you can take it.

[Ayushdubey86]

Hey @startup-dreamer,

I appreciate your enthusiasm! I have prior experience with this issue and have already started working on it, which is why I dropped a comment earlier. That said, there are several other open issues—feel free to pick any of those. Looking forward to collaborating!

[rakita]

Hey, this is kinda a bigger effor and very sensitive code. Additional bls precompiles needs to be implemented to with this lib that is no_std compatible, old lib still needs to be the main one, but [zkcrypto/bls12_381](https://github.com/zkcrypto/bls12_381) can be used in zkvm. This is harder task, but if you can pass all statetest it would get merged

@Ayushdubey86 this is different from PR that you did.

[Ayushdubey86]

Sure, looking into this! @rakita

[rakita]

@startup-dreamer if you want to take it over, go for it. Just to be sure that were on same page this requires adding new precompiles with new lib, I am not sure if current and this lib have same API