From a12042678a0b1447067f23feed880d00c4374fcb Mon Sep 17 00:00:00 2001 From: mohab metwally Date: Thu, 17 Nov 2022 18:34:32 +0200 Subject: [PATCH] use new constrain_equal sig --- proof/tx.zk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proof/tx.zk b/proof/tx.zk index 402ace3e3..1ef640e96 100644 --- a/proof/tx.zk +++ b/proof/tx.zk @@ -94,7 +94,7 @@ c4_cm_y = ec_get_y(c4_cm); constrain_instance(c4_cm_y); v1v2 = base_add(c1_value, c2_value); v2v3 = base_add(v3_value, v4_value); -constrain_equal(v1v2, v2v3); +constrain_equal_base(v1v2, v2v3); # root of path to coin1 commitment at given position c1_root = merkle_root(c1_cm_pos, c1_cm_path, c1_cm_hash); constrain_instance(c1_root);