search

privacy-scaling-explorations / zkevm-specs

334 stars 272 forks source link

Precompile: 0x08 ecPairing #325

Closed ChihChengLiang closed 11 months ago

ChihChengLiang commented 1 year ago

@yi-sun might have related work https://github.com/yi-sun/circom-pairing

yi-sun commented 1 year ago

With @jonathanpwang we have halo2 circuits for BN254 addition, scalar multiplication, and optimal Ate pairing. Happy to contribute these and specs. What is the right way to integrate into the precompile format?

CPerezz commented 1 year ago

Hey @yi-sun. I'd suggest to first try to spec out the pairing precompile circuit and make a PR with the python spec to https://github.com/privacy-scaling-explorations/zkevm-specs

From there, we can move on and start an impl here! :smile: