update circom version

metacraft-labs · Jun 22, 2023 · 3bcfdb1 · 3bcfdb1
1 parent c1ee91a
commit 3bcfdb1
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/beacon-light-client/circom/circuits/is_valid_merkle_branch_out.circom b/beacon-light-client/circom/circuits/is_valid_merkle_branch_out.circom
@@ -1,8 +1,9 @@
-pragma circom 2.0.3;
+pragma circom 2.1.5;
 
 include "hash_two.circom";
 include "../../../node_modules/circomlib/circuits/comparators.circom";
-include "utils.circom";
+include "./utils/arrays.circom";
+include "./utils/bits.circom";
 
 template IsValidMerkleBranchOut(N) {
   signal input branch[N][256];

diff --git a/beacon-light-client/circom/circuits/validator_balances.circom b/beacon-light-client/circom/circuits/validator_balances.circom
@@ -9,7 +9,7 @@ include "is_valid_merkle_branch_out.circom";
 include "is_valid_merkle_branch.circom";
 include "ssz_num.circom";
 include "./utils/arrays.circom";
-include "./utils/verification.circom";
+include "./utils/numerical.circom";
 
 template CalculateBalancesSum(N) {
   signal input balances[(N \ 4) + 1][256];
@@ -87,6 +87,7 @@ template ValidatorBalances(N) {
 
   signal currentEpoch <-- slot \ 32;
 
+
   signal epochHighestSlot <== currentEpoch * 32;
 
   signal slotLessThan <== LessThanBitsCheck(64)([slot, epochHighestSlot]);