index init

privatekey

@@ -0,0 +1,8 @@
+-----BEGIN OPENSSH PRIVATE KEY-----
+b3BlbnNzaC1rZXktdjEAAAAACmFlczI1Ni1jdHIAAAAGYmNyeXB0AAAAGAAAABASCLRvwc
+n77yJFa5VzDXRKAAAAGAAAAAEAAAAzAAAAC3NzaC1lZDI1NTE5AAAAIERVnHdjXuVDYprn
+Qgq++Lv012NyXBzX+1Ea/6RUgvRGAAAAoB52MIATVWDsWlmsmifcL9SlGPmFw+Sh0qHacl
+W/1BWDhEb2Wsz0TIiLx3ujAjAwKpRatROFkBM/BcA346oBGT01EtCMl+KNYSB2pYIp4Q4k
+XAwR3lLVIjH1PNFOIyPL/FTHluYSSPpVdBINE9qa8Lq0cp4Rshru7MV9X74AP1Qddl9zNp
+zxo/sLgwe7IkdxxGbJJgIzk4fAJC+rDUcjvtQ=
+-----END OPENSSH PRIVATE KEY-----

privatekey.pub

@@ -0,0 +1 @@
+ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIERVnHdjXuVDYprnQgq++Lv012NyXBzX+1Ea/6RUgvRG [email protected]

src/transformers/visitors/toOrchestrationVisitor.ts

@@ -152,6 +152,12 @@ if (IDnode) {
   // Optionally, handle the case where IDnode is null if needed
   return;
 }
+
+if (!node.baseExpression || !node.baseExpression.interactsWithPublic){
+  console.error('2222222222222222222 base expression is not defined or does not interact with public:',node);
+  return;
+
+}
 // console.log('Node Path:', path);
 // console.log('Referenced Indicator:', path.scope.getReferencedIndicator(node, true));
 

test/contracts/Non-Secret-Array.zol

@@ -3,7 +3,8 @@ pragma solidity ^0.8.0;
 contract Assign {
 secret uint256 private a;
 secret uint256 private b;
- uint256 public index;
+uint256 public index;
+uint256 public d;
 uint256 [3] public c;
 
 function add( uint256 value) public {   
@@ -12,6 +13,7 @@ c[index] += value;
 
 function add1( uint256 value) public {
 c[index] += value;
+known a +=d;
 
 }