added operations on scalars outside of the constrains system

This commit is contained in:
ada
2020-11-09 17:37:39 +01:00
parent 2914446394
commit 958f85d06a

View File

@@ -12,8 +12,8 @@
(add lc0 y1)
(add lc1 x2)
(add lc1 y2)
(add lc2 (U x1 y1 x2 y2))))
(add lc2 (U x1 y1 x2 y2))
enforce
))
))))
(println (jubjub-add a_u a_v b_u b_v))
(println circuit)