nalinbhardwaj/Nova-Scotia

Making Nova-Scotia work with BN254/grumpkin cycle

0xbok opened this issue · 4 comments

0xbok commented

I'm interested in making Nova-Scotia work with BN254/grumpkin cycle so that we can have Nova output in a groth16 verifier. Any guidelines are appreciated!

chaosma commented

@0xbok I added the BN254/grumpkin cycle support in this branch: https://github.com/chaosma/Nova-Scotia/tree/feature/curve-grumpkin

In order to do so, I have to modify the nova and halo2curves repo as well.

0xbok commented

thanks @chaosma, did you see https://twitter.com/leonardoalt/status/1671962194081095689. looks like the modification for nova and halo2curve is already in progess.

chaosma commented

Yes. I have also discussed with Han on the halo2curve modification

  • 👍1
nalinbhardwaj commented

This is now supported in master. See toy_bn254.rs