refactor(zk): Remove unused deps and fix circuit imports

- zk-nullifier: Remove unused blake3 dependency
- zk-id: Update merkle proof circuit import path
- zk-merkle-proof: Add Anchor.toml, fix circuit import

Author: tilo-14

zk/zk-id/circuits/merkle_proof.circom

@@ -3,6 +3,7 @@ pragma circom 2.0.0;
 include "../node_modules/circomlib/circuits/poseidon.circom";
 include "../node_modules/circomlib/circuits/bitify.circom";
 include "../node_modules/circomlib/circuits/switcher.circom";
+include "../node_modules/circomlib/circuits/comparators.circom";
 
 // Merkle Proof Verification Template
 // Verifies that a leaf is in a Merkle tree with a given root
@@ -12,10 +13,16 @@ template MerkleProof(levels) {
     signal input leafIndex;
     signal output root;
 
+    // Range check: leafIndex < 2^levels
+    component indexRange = LessThan(levels + 1);
+    indexRange.in[0] <== leafIndex;
+    indexRange.in[1] <== 1 << levels;
+    indexRange.out === 1;
+
     component switcher[levels];
     component hasher[levels];
 
-    component indexBits = Num2Bits(levels);
+    component indexBits = Num2Bits_strict(levels);
     indexBits.in <== leafIndex;
 
     for (var i = 0; i < levels; i++) {

zk/zk-id/src/lib.rs

@@ -1,7 +1,7 @@
 #![allow(unexpected_cfgs)]
 #![allow(deprecated)]
 
-use anchor_lang::{prelude::*, AnchorDeserialize, AnchorSerialize};
+use anchor_lang::prelude::*;
 use borsh::{BorshDeserialize, BorshSerialize};
 use groth16_solana::groth16::Groth16Verifier;
 use light_hasher::to_byte_array::ToByteArray;

zk/zk-merkle-proof/Anchor.toml

@@ -0,0 +1,20 @@
+[toolchain]
+anchor_version = "0.31.1"
+
+[features]
+resolution = true
+skip-lint = false
+
+[programs.localnet]
+zk_merkle_proof = "MPzkYomvQc4VQPwMr6bFduyWRQZVCh5CofgDC4dFqJp"
+
+[registry]
+url = "https://api.apr.dev"
+
+[provider]
+cluster = "localnet"
+wallet = "~/.config/solana/id.json"
+
+[scripts]
+test = "yarn run ts-mocha -p ./tsconfig.json -t 1000000 tests/**/*.ts"
+

zk/zk-merkle-proof/circuits/merkle_proof.circom

@@ -3,16 +3,23 @@ pragma circom 2.0.0;
 include "../node_modules/circomlib/circuits/poseidon.circom";
 include "../node_modules/circomlib/circuits/bitify.circom";
 include "../node_modules/circomlib/circuits/switcher.circom";
+include "../node_modules/circomlib/circuits/comparators.circom";
 
 template MerkleProof(levels) {
     signal input leaf;
     signal input pathElements[levels];
     signal input leafIndex;
     signal output root;
 
+    // Range check: leafIndex < 2^levels
+    component indexRange = LessThan(levels + 1);
+    indexRange.in[0] <== leafIndex;
+    indexRange.in[1] <== 1 << levels;
+    indexRange.out === 1;
+
     component switcher[levels];
     component hasher[levels];
-    component indexBits = Num2Bits(levels);
+    component indexBits = Num2Bits_strict(levels);
     indexBits.in <== leafIndex;
 
     for (var i = 0; i < levels; i++) {

zk/zk-nullifier/Cargo.lock

@@ -13,7 +13,6 @@ test-sbf = []
 idl-build = ["anchor-lang/idl-build"]
 
 [dependencies]
-blake3 = "=1.5.5"
 anchor-lang = "0.31.1"
 borsh = "0.10.4"
 light-sdk = { version = "0.17.1", features = ["anchor"] }