RSA Verification Circuit - Optimization

[motemotech]

What's the purpose of this research?

• to efficient the circuit
  • prove faster
  • verify faster
  • smaller proof size
  • cheaper gas fees

Concrete milestone by steps

• [ ] compare groth16 with plonk
• [ ] survey some other potential algorithms such as Lookup Arguements or Folding Schemes
  • [ ] benchmark other similar projects like Aadhaar
• [ ] measure each step time/performances to find bottlenecks
• [ ] optimize

Describe references if exists

• Aadhaar

[motemotech]

Anon Aadhaarの実装

https://github.com/privacy-scaling-explorations/anon-aadhaar/tree/main/packages/anon-aadhaar-pcd/circuits

• circomlibにのみ依存し、bitintも自前で実装してる
• expは65537で固定している
• メッセージのハッシュ化は未実装