plonky2 icon indicating copy to clipboard operation
plonky2 copied to clipboard

Published 20 hours ago • verified publisher icon mir-protocol

Tate Pairings

Open typ3c4t opened this issue 2 years ago • 0 comments

This PR implements BN254 Tate Pairings, which includes

  • [x] updated bn254 curve arithmetic
  • [ ] prover supplied fp12 inverse
  • [x] faster fp12 mul algorithms for squaring and sparse multiplication
  • [x] the miller loop
  • [x] normalizing power
  • [ ] tests

typ3c4t avatar Nov 15 '22 21:11 typ3c4t