ginger-lib icon indicating copy to clipboard operation
ginger-lib copied to clipboard
verified publisher icon HorizenOfficial

Complete EC addition circuits

Open 95DDB opened this issue 5 years ago • 0 comments

When it comes to complete addition gadgets, I expect that we can do better than the "naive" approach using the infinity flag of the AffineGadget. Let us investigate efficient complete arithmetics within circuit:

  • Which projective representation has the most efficient complete addition formulas?
  • Is mixed arithmetics useful for us?
  • Are there other practical approaches for avoiding exceptions (such as random shifts, e.g.)?

95DDB avatar Mar 31 '20 14:03 95DDB