ZK: Accelerate Elliptic Curves arithmetic in circuits

[mratsim]

This lists techniques to accelerate Elliptic Curve arithmetic in circuits:

• Zero Knowledge Proofs of Elliptic Curve Inner Products from Principal Divisors and Weil Reciprocity
  Liam Eagen, 2022,
  https://eprint.iacr.org/2022/596
• Goblin Plonk
  Zac Williamson, Aztec Protocol
  https://hackmd.io/@aztec-network/BkGNaHUJn/%2FGfNR5SE5ShyXXmLxNCsg3g
  https://www.youtube.com/watch?v=IJucz-0B1i0
• Sigmabus: Binding Sigmas in Circuits for Fast Curve Operations
  Kadianakis, Maller, Novakovic, 2023
  https://eprint.iacr.org/2023/1406