Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

RSA Verification Circuit - Optimization #2

Open
5 tasks
motemotech opened this issue Oct 20, 2023 · 1 comment
Open
5 tasks

RSA Verification Circuit - Optimization #2

motemotech opened this issue Oct 20, 2023 · 1 comment
Assignees
@grandchildrice
Labels
circom phase2 research
Milestone
ZKP Grant Develop...

Comments

@motemotech
Copy link
Contributor

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
@motemotech
Copy link
Contributor Author

Anon Aadhaarの実装

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

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@grandchildrice grandchildrice

Labels
circom phase2 research
Projects
None yet
Milestone
ZKP Grant Development Phase #02
Development

No branches or pull requests
3 participants
@hiroism007 @grandchildrice @motemotech