-
Notifications
You must be signed in to change notification settings - Fork 12
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.
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
Expose remaining gates #201
Conversation
6e23de6
to
0823354
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this makes the code much more cleaner, really like that!
let ec_add p1 p2 p3 inf same_x slope inf_z x21_inv = | ||
add_gate "ec_add" | ||
(EC_add_complete { p1; p2; p3; inf; same_x; slope; inf_z; x21_inv }) ; | ||
(* TODO: do we need this? *) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
do you mean the return value?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
yeah
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think we dont. That was probably my fault when I originally rewrote the Group.add
function in TypeScript
https://github.com/o1-labs/o1js/blob/main/src/lib/group.ts#L173-L181
can probably just return
(x3, y3)
plonk_constraint_system.ml