zkinterface_bellman 1.3.2

Bellman circuit construction and proving system for zkInterface
1
2
3
4
5


def main(field a, field b) -> (field):
  field aa = a * a
  field bb = b * b
  return aa + bb