proof-systems icon indicating copy to clipboard operation
proof-systems copied to clipboard
verified publisher icon o1-labs

Foreign field multiplication - witness computation

Open jspada opened this issue 3 years ago • 1 comments

jspada avatar Apr 04 '22 16:04 jspada

Matthew suggested it may be useful and clean to extend this so that the circuit gate layout and be specified and then the constraints and witness generated from it. So this ticket will probably be expanded into this.

jspada avatar May 16 '22 16:05 jspada

Stale issue message

github-actions[bot] avatar Sep 07 '22 07:09 github-actions[bot]