From 958f85d06abecfa295329feb579c5d1decd15878 Mon Sep 17 00:00:00 2001 From: ada Date: Mon, 9 Nov 2020 17:37:39 +0100 Subject: [PATCH] added operations on scalars outside of the constrains system --- lisp/jubjub.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lisp/jubjub.lisp b/lisp/jubjub.lisp index e3e53a479..879196523 100644 --- a/lisp/jubjub.lisp +++ b/lisp/jubjub.lisp @@ -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)