proof-systems icon indicating copy to clipboard operation
proof-systems copied to clipboard

Published 20 hours ago • verified publisher icon o1-labs

Foreign field addition

Open mrmr1993 opened this issue 2 years ago • 3 comments

This PR is a first-pass implementation of foreign field addition.

TODO:

  • [x] unify naming
  • [ ] gate creation

Closes #682

mrmr1993 avatar May 26 '22 21:05 mrmr1993

I have drafted this hackmd explaining foreign field addition. We are using a slightly different notation, but I think it depicts the same idea Matthew had.

querolita avatar Jul 13 '22 14:07 querolita

TODO:

  • [x] unify naming
  • [x] gate creation
  • [x] witness creation
  • [x] unify format
  • [x] tests

querolita avatar Jul 19 '22 17:07 querolita

TODO:

  • [x] unify naming
  • [x] gate creation
  • [x] witness creation
  • [x] unify format with range-check
  • [x] rfc
  • [x] tests
  • [x] specs

querolita avatar Jul 25 '22 12:07 querolita