chore: Compile ssa refactor test vectors

.gitignore

@@ -22,3 +22,5 @@ result
 **/target
 !crates/nargo_cli/tests/test_data/*/target
 !crates/nargo_cli/tests/test_data/*/target/witness.tr
+!crates/nargo_cli/tests/test_data_ssa_refactor/*/target
+!crates/nargo_cli/tests/test_data_ssa_refactor/*/target/witness.tr

crates/nargo_cli/tests/test_data_ssa_refactor/1327_concrete_in_generic/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"input","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"input":[1]},"return_type":{"kind":"field"},"return_witnesses":[2]},"bytecode":"H4sIAAAAAAAA/62PQQ6AIAwEi36opS20N78isfz/CcYEY8JV5rJ7muzuAJDg4+3HSPwHpeGcvYxFJGoOYjoxezNF0VaMjNT0ysYcJla9eUUn4aCuzn2It3Ubcf7+uG/100MmGAEAAA==","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/1_mul/target/c.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":[155,194,56,97,194,4,0],"proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/1_mul/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/9WUTW6EMAyFPfwOQwdVVdVuuuAImMAQdr1KUZn7H6FEjaUUseO5Giyh4AhenC9+eSeiD/qN0/JEfqyDPFrlsc/l25P//9OPzb5gWYewug2tYqcuy0uyaKQhwGQFLPU5bcAyza3r5qGd2fBX046T7Zuun26WLfe2/26tMbPt7DBO49CM3JmZ7/1o7n7x8NCQus9K4GMF+KA6OQVqIflpGS2VxsXqqhktWzRyMZGD4ibqIM9Jz2gCC637QscwWoark3OgFpKfltFyaVysrprRzotGISZyUNxEHeQF6RlNYKF1X+kYRjvj6uQCqIXkp2W0QhoXq6tmtMuiUYqJHBQ3UQd5SXpGE1ho3Tc6htEuuDq5BGr9F7+95xwr8dtb1xOQXxb4Iwz0xYWsOaz3Grwnfow2eiJT2BOt1llzrDbmoItrHNJVQbciXPNr7bvCn9Gfy+nRmYbxA5t52qU1EwAA","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/2_div/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1Yy27CMBAckkCBFsqjqKoqqtx6tfOA5NZfKWr4/09orDrFSQsHMouCxEooMZDxeHbtsfMG4B0/0Ss/nr2GTttrtH3brv4L53kTH/aq2oXu8bCUFEePyDEoMfoNTemCGsJBI6F923bDFxQqVpskKbZRoWP9qaJ8l6UqSXebTGc6zdKvKIvjIkuybb7LtyrXSVzofZrHewvWJ2INiFiVngNHT4mCC/7Bbcv9GfzJJlFHzNzfEXlJ6eeR9et1Uz91MxOumQxLjBEuYCamoxAHMxnhusxkRMQag28mY8iayRB8M3kBrsJMmLm/J/KS0q/LZkLU72TNtOXpE/UbEnk9EPUzG9g/xgH++sPk7PKdOPcB6rXv1sRAYExo9NPUcQpBU5ZK0kQAdwpe8UuNe8rPUW1x6rKm1Y6czdFMCk9YVwKurm4eS4xZlSxD3HwROu0Zju/QGEnwBXBfcRm3VedFTXwSTz0jYjH181B3hC7v0gga/uYWjWDhzkuMBXCYoHMcVjLP/hg2OmdvE4nvG6iFu24/xsiOUZ/ST50XtSSyxrwg5nWNTi+cVVDfkzL1WxL1u9QxhcnZ5fvk3N+OKS0xl1ZQNu4K3T6mmHGv+DkSPaawNXXjG0o9g/fSHgAA","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/3_add/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/81WUW6DMAw1AdoOUPe37x4hJklJ/naVoYX7H2GwJVOIKvUjdoUllBihl+fnp+B3APiAv6jWR4T1luQiy+uQx29jiLB+hlWWBVaEWIIOS0IWhbgYN82K0aaNaMI+5m0QPo06I6HkXWs/jR4VfsnRzdZIbea7RYvGmu/RKuWttpOb3SQdauVxMU4tgURFiEUoOl6ZGlgzNJGq5pawF6/Sr5RnfVD9ToT6bVjpxRmjovFiDKTknPI9J/smrOKBJ04MNUF2Tq7j9cE70sM5mnRmwL0Anfm56r7Q92h3OR1Z03x6IuZqWzj+xPO2YnSx+E2Q7cUtyTvgm3j88huOQKhdQYVY/5gdYQOfma3UzARco4YOmMzWrxgDMP4doml72I/tA/CP7V051hiwsCfkNTAZg9rAPfDdlj/vGtOvZA8AAA==","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/4_sub/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/81UbQrDIAy19pOO7Qw7gvGj1X+7ysrs/Y+wjkWwUvZjRuiDkqTIM3kveGGMXdkX1fZxjPeo5kldYx3OBnCMD4wiD1BFXEpMWvtZelDwFNIt1ghtlsmCBWPNS1qlvNV2doubhQOtPKzGqRXJeH5fEBKWgIq32Tja2IgG81C3KHyMOmkiV6iK0RnICbnG/Bklzgi/9BP/YWci1cwtoa8jXV+i5P7VJ9WvI9TvwxU/nAEVzS4GAGXPcb99lDcY+cFOdAVmYsk9qY63g3+kl5cwqS/AOzC65S8190Dv0e5xOrumMd6CLnYfigkAAA==","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/5_over/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/81XUW6EIBAd0bpdN92/fjbpEUBE4a9XqSne/wjVLbRIbJqUN8lOYhAwb4Y3DwavRPRMX1atjwjta9IXoR/nqvD9W2hlmakUE4grKbNCXBVf6hWjSQmrM8Ka0KcDsrQch8FPvVdavcvezdbIwcyjVVYZaz56q7W3g53c7Cbp1KC9WozTS3Be/ZKEUtwnJuJrBvJBcaoGiHXn/H3HKYCaaYBYD0D+WtofKNHQBxcy5jTeNnlvQisONNEyrIkyPzmP14MxqHOOJHEQdSKc+LnWfcLnaHc43TOngvZCRccKLB7om0o0+7hinOPiN0K2gZekv03WmfO84iCrhCyz24JQCTwDE8gtNmCsIzGJrVsxLsRYHaJoO/q5Aovg9C8RyzLbJeC/G8IvN3Md4TbXhUkY6N+LjvhOy0/Gs2dxxA4AAA==","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/6/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":5,"type":{"kind":"integer","sign":"unsigned","width":8}},"visibility":"private"},{"name":"result","type":{"kind":"array","length":32,"type":{"kind":"integer","sign":"unsigned","width":8}},"visibility":"public"}],"param_witnesses":{"result":[6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37],"x":[1,2,3,4,5]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1d+ZfPZRS+CIOQ7Pvevny/ZoaZVm32fd+XYawhhBBCCCGEEEIIIYQQQgghhBBC9G9039z5dN+X397HOZ/POZ97zj33vc7pmec+9/accma+8w8RnaR7kYszt9QU1ed2+jxO/4jT55U+RXDzOvh55J/Jq/4sn4OR3+lTnL6A0xd0+kJO/6jTF3b6Ik5f1Okfc/piTv+40xd3+hJOX9LpSzl9aacv4/Rlnb6c05d3+gpOX9HpKzl9Zaev4vRVnb6a01d3+hpOX5PsnRp8E+YOcnZfQPZaSPZXWPZUVPZRTHQvLvqWFB1Li15lRZfyMn9FmbOyfL2qwru68KspXMx96ptNof9vMOf2c24+59Zz+D/B+STnU5xPcz7D+Sznc5zPc77A+SJngjPJWYszlTONM52zNmcdzgzOTM6XOF/mfIXzVc7XOF/nrMv5BuebnG9xvs35DoB/Pc76nA04G3I24mzM2YSzKWczzuacLThbcrbibM3ZhrMtZzvO9pwdODtyduLszNmFsytnN87unD04e3Jmcfbi7M2ZTXbkkVpXamqidlpadp1a2cnUZM9ErcysjPREWnpW7YxkRjI9I713rYzU1OyMtIw6mVmZdRKZybTU7GSf9MzUPol7kU9hJfwiWQ/Iqw+O138z5qL7I5ejZcIvkkjOmm9f9X5Eau4H3ES+hzATOV/H1bHIA/4M+sUfxpL6PgTcfoQ7/oc1dz/8jhIK8j7Ovjr0B86fw62/8OwndQDZgTbY/MAZ6gN5DaToGSySs+b7rnrHBuuJOVAEReMOonAbrJl7EH5HwaEOEM6DpA4mO9DGlQLUpgGQ1xCKnnEhOWu+76l3bFyemENEUDTuUAq3cZm5h+J3FBzqYOE8VOowsgNtXAWA2jQE8hpO0TMuJGfN9331jo3LE3O4CIrGHUHhNi4z9wj8joJDHSacR0gdSXagjasgUJtGQF6jKHrGheSs+X6g3rFxeWKOEkHRuKMp3MZl5h6N31FwqCOF82ipY8gOtHEVAmrTGMhrLEXPuJCcNd8P1Ts2Lk/MsSIoGncchdu4zNzj8DsKDnWMcB4ndTzZgTauR4HaNAHymkDRMy4kZ833I/WOjcsTc4IIisadSOE2LjP3RPyOgkMdL5wnSp1EdqCNqzBQm6ZAXpMpesaF5Kz5fqzesXF5Yk4WQdG4UyjcxmXmnoLfUXCok4TzFKlTyQ60cRUBatMMyGsaRc+4kJw130/UOzYuT8xpIigadzqF27jM3NPxOwoOdapwni51BtmBNq6iQG2aA3nNpOgZF5Kz5vupesfG5Yk5UwRF486icBuXmXsWfkfBoc4QzrOkziY70Mb1GFCbFkBecyh6xoXkrPl+pt6xcXlizhFB0bhzKdzGZeaei99RcKizhfNcqfPIDrRxFQNq0xLIaz5Fz7iQnDXfz9U7Ni5PzPkiKBp3AYXbuMzcC/A7Cg51nnBeIHUh2YE2rseB2rQC8lpE0TMuJGfN9wv1jo3LE3ORCIrGXUzhNi4z92L8joJDXSicF0tdQnagjas4UJvWQF5LKXrGheSs+X6p3rFxeWIuFUHRuMso3MZl5l6G31FwqEuE8zKpy8kOtHGVAGrTBshrBUXPuJCcNd+v1Ds2Lk/MFSIoGnclhdu4zNwr8TsKDnW5cF4pdRXZgTaukkBt2gJ5raboGReSs+b7tXrHxuWJuVoEReOuoXAbl5l7DX5HwaGuEs5rpK4lO9DGVQqoTTsgr3UUPeNCctZ8v1Hv2Lg8MdeJoGjc9RRu4zJzr8fvKDjUtcJ5vdQNZAfauEoDtWkP5LWRomdcSM6a77fqHRuXJ+ZGERSNu4nCbVxm7k34HQWHukE4b5K6mexAG1cZoDYdgLy2UPSMC8lZ8/1OvWPj8sTcIoKicbdSuI3LzL0Vv6PgUDcL561St5EdaOMqC9SmI5DXdoqecSE5a77fq3dsXJ6Y20VQNO4OCrdxmbl34HcUHOo24bxD6k6yA21c5YDadALy2kXRMy4kZ833B/WOjcsTc5cIisbdTeE2LjP3bvyOgkPdKZx3S91DdqCNqzxQm85AXnspesaF5Kz5/qjesXF5Yu4VQdG4+yjcxmXm3offUXCoe4TzPqn7yQ60cVUAatMFyOsARc+4kJw135/UOzYuT8wDIiga9yCF27jM3AfxOwoOdb9wPij1ENmBNq6KQG26AnkdpugZF5Kz5vuzesfG5Yl5WARF4x6hcBuXmfsIfkfBoR4SzkekHiU70MZVCahNNyCvYxQ940Jy1nx/Ue/YuDwxj4mgaNzjFG7jMnMfx+8oONSjwvm41BNkB9q4KgO16Q7kdZKiZ1xIzprvr+odG5cn5kkRFI17isJtXGbuU/gdBYd6Qjifknqa7EAbVxWgNj2AvM5Q9IwLyVnz/U29Y+PyxDwjgqJxz1K4jcvMfRa/o+BQTwvns1LPkR1o46oK1KYnkNd5ip5xITlrvr+rd2xcnpjnRVA07gUKt3GZuS/gdxQc6jnhfEHqRbIDbVzVgNpkAXldougZF5Kz5vuHesfG5Yl5SQRF416mcBuXmfsyfkfBoV4UzpelXiE70MZVHahNLyCvqxQ940Jy1nz/VO/YuDwxr4qgaNxrFG7jMnNfw+8oONQrwvma1OtkB9q4agC16Q3kdYOiZ1xIzprvX+odG5cn5g0RFI17k8JtXGbum/gdBYd6XTjflHqL7EAbV02gNtlAXrcpesaF5Kz5/q3esXF5Yt4WQdG4dyjcxmXmvoPfUXCot4TzHal3yQ70PHeBelcRHPMvUH7OFM4CnAU5C3Ga35ptfgGtOXbza9HMbxgqxmk+9958hLT5NFbzwYbmM8LMx+2YT64wPwRufp7S/GiS+S5/8w2z5nvPzLdxmK9XldP8PZ35X17zX481lVb/AkQE+lKQnQAA","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/6_array/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":5,"type":{"kind":"integer","sign":"unsigned","width":32}},"visibility":"private"},{"name":"y","type":{"kind":"array","length":5,"type":{"kind":"integer","sign":"unsigned","width":32}},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"t","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"t":[12],"x":[1,2,3,4,5],"y":[6,7,8,9,10],"z":[11]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1de7Bd0x3+7k3c3NxqRERERGwREUGcc1+5NyIiIiIiIiIiIkhyEwSpR9QjiHe8X/GmglJKKaWUUkoppZRSSimllFLTdkynYzpdq/Y6e+01GX90fb87+zf2mjF3r7Un3/q9vm+tvfZxzuI64B/mP9vsn/r0b+L164N+j6DfM+ivlfYbv4T9Xx/Bv++ZjruxhgCjV9BvDPq9g36TN2edN2dDitWY/psm7998I8BYO+27GKRhwfj0byWuVZvS+cHFrSBokbhVd/FNg9HHT9w3g4D1SftYQ7BaKu2trV2jm7uqLdWDKs2d8zvaKq1t89s7qh3Vto62hc0dLS1dHa0dozvnd46udFZbW7qqi9o6Wxalkzd5yWLi/l0o8D0Egk+ys9qHiMWMnxTRGlzhcnHFiLaOwejrSGSDYgcSr98XckRzwWLj/hM6iLYOz85qXyIWM371Xn6R1hQhhjVbm4h1Q4hhLbcIGgt3XYPRD8gIui4yJatPbybB5GHhMlbISIdqjjEL9/N4H5tTH6tfFb/K/9dySWT53I+Y189R/BW2nyMAF1eMsOsZjP5ARlA7kHj9/pBbYV2w2Lj/go4Vdj2endX+RCxm/KSI1ssVLhdXjGjrG4wBjkQ2KHYg8foDIEc0Fyw27r+hg2jr8+ysDiBiMeMnvZVlruSEGIpvZTcwGAOBjKAbIL+VtTeTYHL2VrYfilm4X8T72C1b2Q2IPg8k5vULFH+FHegIwMUVI+yGBmMQkBHUDiRefxDkVlgXLDbuf6Bjhd2QZ2d1EBGLGT8pojW6wuXiihFtI4Mx2JHIBsUOJF5/MOSI5oLFxrWAEoFnE20j8ApvMBGLGT/prSxzJSfEUHwru7HBGAJkBN0Y+a2svZkEk7O3sgNRzMKtr9Oxld2Y6PMQYl7r64q/wg5xBODiihF2E6R8dAR1A66fQG6FdcFi4/ZUssJuAl7hJUSsngqI5j59RCJErSForFxvajCGOhLZoGyKPNGGQo5o/ke1mLgNSoi2KXiFN5SI1SBANNfYW1nmSk6IofhWdjODMQzICLoZ8lvZYZDfyg5BMQu3UclWdjOiz8OIeW1UsMIOcwTg4ooRdnODMRzICGoHEq8/HHIrrAsW/TO4SlbYzcErvOFErCYFRGtyhcvFFSPaFgZjhCORDYodSLz+CMh+KH24AO7aSoi2BXiFN4KItbYA0Vxjb2WZKzkhhuJb2S0NxkggI+iWyG9l7c0kmJy9lR2GYhZuHyVb2S2JPo8k5rUPkfgNyBPfNfaKO5KHVfHt3cq77pn+rV9DTTQI+IRgnjCOfdYwRp1cIklbCeBuDeK7XCG/t+bnKLe6FDmmUttsG9eRwnEl4NYEfxuDMcolywbFDiRefxTkttkuWGzcvkq22duAV3ijiFh9BbbZbKLVucLl4ooRbVuL4Uhkg2IHEq9fgRzRXLDYuP2UEG1b8AqvQsTqp4RoDaARotYQNFau7Tax2ZHIBsUOJF6/GbJEaxDA7a+EaFXwCq+ZiNVfgGiu1ZNzzRQYQgzFD45aDEYrkBG0BfmDI3szCSYnFW5mDDGBzMIdoOTgqIXocysxFwMUnRgTD4xyMaxENgSNVTNtBqMdyIjehjzx7c0kmJx9Ysw8pSQGvTpQyYrfRvS5nZiLgQq21u2OAFxcMcKONhgdQEZQO5B4/Q7Iba1dsNi4g5QQbTR4hddBxBqkgGiuNkmEqDUEjZXrToMxxpHIGm8HEq8/BnJEc8Fi4w5WQrRO8ApvDBFrsBKi9QKNELWGoLFyvZ3BGOtIZI23A4nXHwtZovUSwB2ihGjbgVd4Y4lYQwSI5lo9OddMgSHEUPywaHuDMQ7ICLo98s+M9mYSTM4+LBpDTCCzcBMlh0XbE30eR8xFouiwqF0ohpXIhqCxamYHh+WIvgPyxLc3k2By9mER84CCGPTqUCUr/g5En8cTczFUwdba95eIK0bYHQ3GBCAjqB1IvP4EyG2tXbDYuMOUEG1H8ApvAhFrmAKi9XCFy8UVI9pOBmOiI5ENih1IvP5EyBHNBYuNO1wJ0XYCr/AmErGGKyFaI2iEqDUEjZXrnQ3GJEciGxQ7kHj9SZAlWqMA7gglRNsZvMKbRMQaIUA01+rJuWYKDCGG4odFuxiMyUBG0F2Qf2a0N5NgcvZh0URiApmFO1LJYdEuRJ8nE3MxUtFh0XihGFYiG4LGqpldDcYUICP6rsgT395MgsnZh0XjiVjEoFe3VrLi70r0eQoxF1sr2FpPcQTg4ooRdjeDMRXICGoHEq8/FXJbaxcsNu4oJUTbDbzCm0rEGqWAaD1d4XJxxYi2u8GY5khkg2IHEq8/DXJEc8Fi41aUEG138ApvGhGrooRovUEjRK0haKxc72EwpjsS2aDYgcTrT4cs0XoL4DYrIdoe4BXedCJWswDRXKsn55opMIQYih8W7WkwZgAZQfdE/pnR3kyCydmHRdOICWQWbquSw6I9iT7PIOaiVdFh0RShGFYiG4LGqpm9DMZMICP6XsgT395MgsnZh0XMAwpi0KvtSlb8vYg+zyTmol3B1nqmIwAXV4ywexuMWUBGUDuQeP1ZkNtau2CxcTuUEG1v8ApvFhGrQwHR1nKFy8UVI9o+BmO2I5ENih1IvP5syBHNBYuNO0YJ0fYBr/BmE7HGKCFaE2iEqDUEjZXrfQ3GHEciGxQ7kHj9OZAlWpMA7lglRNsXvMKbQ8QaK0A01+rJuWYKDCGG4odF+xmMuUBG0P2Qf2a0N5NgcvZh0WxiApmFO07JYdF+RJ/nEnMxTtFh0UyhGFYiG4LGqpn9DcY8ICP6/sgT395MgsnZh0XMAwpi0Kvjlaz4+xN9nkfMhVT82KRn+nwAAauyoHNhZcH8lu76Zv8DeFi5b/Y/0Lsuv9k/EvOANKBs3IPAK34pvw/i50j0m/2ZMZU6U9D2AZT5BmOBS5YNih1IvP4CiD2i5IyIxKphLiBiSX4Qg114RL/Fim2hwejyi20h8tviLshviwmByjkUiVXD7IKeYmPaCqFiW2QwFvvFtgh5ZVsM+WIjBCrnUCRWDXMx9BQb01YIFdvBBuMQv9gODortEMgXGyFQOYcisWqYh0BPsTFthVCxHWowlvjFdmhQbEsgX2yEQOUcisSqYS4Bv9i+7i8eDzMYh/sFd1hQcIdD/iHhMPAScDgRqztfwFXiGpMczBiKFe4RBmOpX7hHIP/AsRTySrmEiMUs3AlKzuGPIPq8lJiLCXVqtjXNS1F8sn7LYBzpnLcBsQOJ1z8ScmTtWvRlIwQq51AkVg3zSOgpNqatECq2owzG0X6xHRUU29GQLzZCoHIORWLVMI+GnmJj2gqhYjvGYCzzi+2YoNiWQb7YCIHKORSJVcNcJpRA9t55GXhbh2NJeW3rqlS763X2sTys3Ovsb3vX5evsSMxj04CycY9DsV9nW7+P4+dI9HU2M6ZSJ1UWT9PP+h5vME5wybJBsQOJ1z8B8idVx4OXgBOIWN3587aVuFZtKmYMxQr3RIOx3C/cE5E/qVoOuS2iU5EmIhazcCcqOak6kejzcmIuJioifh3R7wZibhE0Fu5JBuNkICP6ScgT395MgsnZxK8DL4ENRKxJSv4fkZOIPp9MzOskRcRfLhTDSmRD0Fg1c4rBWAFkRD8FeeLbm0kwOZv4zFWGGPTqZCUr/ilEn1cQczFZEfHriX73IuYWQWPhnmowTgMyop+KPPHtzSSYnE38evAS2IuINUXJin8q0efTiHmdooj4K4RiWIlsCBqrZk43GGcAGdFPR5749mYSTM4m/goiFjHo1alKVvzTiT6fQczFVAHis0+TLa6m3/0+02CcBWQEtQOJ1z8L8qfJZ4KXgLOIWEMUrTRnFDOGYoV7tsFY6Rfu2civNCshv9Iw1Y1ZuNOUrDRnE31eSczFtPLZsrDPlucYjHOBjOjnIE98ezMJJv+6PFtOV/JseQ7R53OJeZ2uiPgrhWJYiWwIGqtmzjMY5wMZ0c9Dnvj2ZhJMziY+c5UhBr06Q8mKfx7R5/OJuZihiPg9iH43EnOLoLFwLzAYFwIZ0S9Anvj2ZhJMziZ+D/AS2EjEmqlkxb+A6POFxLzOVET884ViWIlsCBqrZi4yGBcDGdEvQp749mYSTM4mPnOVIQa9OkvJin8R0eeLibmYJUB89mmy+617ErFqDUFj5foSg3EpkBHUDiRe/1LInyZfAl4CLiVijVC00lxczBiKFe5lBmOVX7iXIb/SrIL8SsNUN2bhzlay0lxG9HkVMRezy2fLwj5bXm4wrgAyol+OPPHtzSSY/OvybDlHybPl5USfryDmdY4i4q8SimElsiForJq50mBcBWREvxJ54tubSTA5m/jMVYYY9OpcJSv+lUSfryLmYq4i4vck+t2bmFsEjYV7tcG4BsiIfjXyxLc3k2ByNvF7gpfA3kSseUpW/KuJPl9DzOs8RcS/SiiGlciGoLFq5lqDcR2QEf1a5IlvbybB5GziM1cZYtCrBypZ8a8l+nwdMRdS8WOTnunz9QQs+xU/C5u7urrrK36u52HlvuLnO951+RU/kZjXpwFl494AXvFbDAm/b0DWSLiiX/HDjGm442Hbeh0BK/2quUUIWiRubYFbbTBuhCBh3W5nNfK7HztpEszJ/qFOwupTe7xYTSy8G4UKI1y9Y+1k+nwTir0IWLyb1oAb6/d88k6N7bfdIawW8HtBN+3wmd9oE4t1MzEvC4v9hFSzk1jf1QV1vFww49ddTwvE+sk9LXzXuy6fFiIxb04Dysa9BcV+WrB+38LPkejTAjumrrFFtA7FXNBuhT4RZdrs2/s977oU0UjMW9OAsnFvQ7FF1Pp9Gz9HXymisXG4TchOtojWo5giejv0iSjTZt/e73vXpYhGYt6eBpSNeweKLaLW7zv4ORIV0TugQ0SZH8hliuid0CeiTJt9e3/gXZciGol5ZxpQNu5dKLaIWr/v4udIVETvgg4RZX7GkSmid0OfiDJt9u39oXddimgk5t1pQNm496DYImr9voefI1ERvQc6RHQtFFNE74U+EWXa7Nv7I++6FNFIzHvTgLJx70OxRdT6fR8/R6Iieh90iCjzxVIvItb90CeiTJt9e3/sXZciGol5fxpQNu4DKLaIWr8f4OdIVEQfgA4RZb5YYorog9AnokybfXt/4l2XIhqJ+WAaUDbuQyi2iFq/H+LnSFREH4IOEWW+WGKK6MPQJ6JMm317f+pdlyIaiflwGlA27iMotohavx/h50hURB+BDhFlvlhiiuij0CeiTJt9e3/mXZciGon5aBpQNu5jKLaIWr8f4+dIVEQfgw4RZb5YYoro49AnokybfXt/7l2XIhqJ+XgaUDbuEyi2iFq/n+DnSFREn4AOEWW+WGokYj0JfSLKtNm39xfedSmikZhPpgFl4z6FYouo9fspfo5ERfQp6BBR5oslpog+DX0iyrTZt/eX3nUpopGYT6cBZeM+g2KLqPX7GX6OREX0GegQUamfEIjFehb6RJRps2/vr7zrUkQjMZ9NA8rGfQ7FFlHr93P8HImK6HPQIaLMF0tMEX0e+kSUabNv76+961JEIzGfTwPKxn0BxRZR6/cL/ByJiugL0CGizBdLTBF9EfpElGmzb+9vvOtSRCMxX0wDysZ9CcUWUev3S/wciYroS9AhoswXS72JWC9Dn4gybfbt/a13XYpoJObLaUDZuK+g2CJq/X6FnyNREX0FOkSU+WKJKaKvQp+IMm327f2dd12KaCTmq2lA2bivodgiav1+jZ8jURF9DTpElPliiSmir0OfiDJt9u39vXddimgk5utpQNm4b6DYImr9foOfI1ERfQM6RFTq535jsd6EPhFl2uzb+wfvuhTRSMw304Cycd9CsUXU+v0WP0eiIvoWdIgo88USU0Tfhj4RZdrs2/tH77oU0UjMt9OAsnHfQbFF1Pr9Dj9HoiL6DnSIKPPFUhMR613oE1Gmzb69f/KuSxGNxHw3DSgb9z0UW0St3+/xcyQqou9Bh4gyXywxRfR96BNRps2+vX/2rksRjcR8Pw0oG/cDFFtErd8f8HMkKqIfQIeIMl8sMUX0Q+gTUabNvr1/8a5LEY3E/DANKBv3IxRbRK3fH/FzJCqiH0GHiDJfLDFF9GPoE1Gmzb69f/WuSxGNxPw4DSgb9xMUW0St35/wcyQqop9Ah4gyXywxRfRT6BNRps2+vX/zrksRjcT8NA0oG/czFFtErd+f8XMkKqKfCdlp238BpBFJdJeRAQA=","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data_ssa_refactor/7/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":5,"type":{"kind":"integer","sign":"unsigned","width":8}},"visibility":"private"},{"name":"result","type":{"kind":"array","length":32,"type":{"kind":"integer","sign":"unsigned","width":8}},"visibility":"private"}],"param_witnesses":{"result":[6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37],"x":[1,2,3,4,5]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1U+ZONVxBt+77v+75v782b5Y19jS0IgiDIDDOCIAiCIAiCIAiCIAiCIAiCIAipyl+Ve6Pfl76X3+6Zqnurblfd6u5XNec7fbrn/E1E/9DrqKReZc41RV/Z6qtYfVWrr8Z9TcatZuFX4b+pJn6rbmHUsPqaVl/L6mtbfR2rr2v19ay+vtU3sPqGVt/I6htbfROrb2r1zay+udW3sPqWVt/K6ltbfRurb2v17ay+vdV3sPqOVt/J6jtbfRer72r13cjcqcbXoe8gt/tavNc6vL96vKcGvI9GrHsT1rcZ69iC9WrFurTh+dvxnB34e52Ydxfm14255G6T6P//hdwN5m4/d/O5W8/x765eD/V6qtdLvd7q9VGvr3r91Ouv3gD1Uuql1ctTL6NevnoF6hWqV6ReVr1i9QaqN0i9weoNUW+oesPUG67eCPVGqjdKvdHqjSEzqnAezjmTKszPLyvKK0tn0iWpvOLSbEEqv6C0MJvOpguyBYvysplMWTY/W1RcWlyUKk7nZ8rS5QXFmfLU66gusFJuke4O5PUOjtd/M1aiN6OSpWXKLdJIzpLvWFFX5Vz5LTdRvQJmIus7to713/Ib9OMVsaSxFYA7jnDHX1Fzj8PvKCUg3+DsqsN44Pw5buOZ5zjOE8gMtMHWAM7QA8hrIoVnsEjOku+7oo4G64g5kQVF404ivw1Wzz0Jv6PkUCcw50mcJ5MZaOOqCdSmJ5DXFArPuJCcJd/3RB2NyxFzCguKxp1KfhuXnnsqfkfJoU5mzlM5TyMz0MZVC6hNLyCv6RSecSE5S77vizoalyPmdBYUjTuD/DYuPfcM/I6SQ53GnGdwnklmoI2rNlCb3kBesyg840Jylnw/EHU0LkfMWSwoGnc2+W1ceu7Z+B0lhzqTOc/mPIfMQBtXHaA2fYC85lJ4xoXkLPl+KOpoXI6Yc1lQNO488tu49Nzz8DtKDnUOc57HeT6ZgTauukBt+gJ5LaDwjAvJWfL9SNTRuBwxF7CgaNwS8tu49Nwl+B0lhzqfOZdwLiUz0MZVD6hNPyCvhRSecSE5S76LRB2NyxFzIQuKxi0jv41Lz12G31FyqKXMuYxzOZmBNq76QG36A3ktpvCMC8lZ8v1Y1NG4HDEXs6Bo3CXkt3HpuZfgd5QcajlzXsJ5KZmBNq4GQG0GAHkto/CMC8lZ8v1E1NG4HDGXsaBo3OXkt3HpuZfjd5Qc6lLmvJzzCjIDbVwNgdqkgLxWUnjGheQs+X4q6mhcjpgrWVA07iry27j03KvwO0oOdQVzXsV5NZmBNq5GQG3SQF5rKDzjQnKWfD8TdTQuR8w1LCgady35bVx67rX4HSWHupo5r+W8jsxAG1djoDZ5QF7rKTzjQnKWfD8XdTQuR8z1LCgadwP5bVx67g34HSWHuo45b+C8kcxAG1cToDYZIK9NFJ5xITlLvl+IOhqXI+YmFhSNu5n8Ni4992b8jpJD3cicN3PeQmagjaspUJt8IK+tFJ5xITlLvl+KOhqXI+ZWFhSNu438Ni499zb8jpJD3cKct3HeTmagjasZUJsCIK8dFJ5xITlLvl+JOhqXI+YOFhSNu5P8Ni499078jpJD3c6cd3LeRWagjas5UJtCIK/dFJ5xITlLvl+LOhqXI+ZuFhSNu4f8Ni499x78jpJD3cWc93DeS2agjasFUJsiIK99FJ5xITlLvt+IOhqXI+Y+FhSNu5/8Ni499378jpJD3cuc93M+QGagjaslUJsskNdBCs+4kJwl329FHY3LEfMgC4rGPUR+G5ee+xB+R8mhHmDOhzgfJjPQxtUKqE0xkNcRCs+4kJwl3+9EHY3LEfMIC4rGPUp+G5ee+yh+R8mhHmbORzkfIzPQxtUaqM1AIK/jFJ5xITlLvt+LOhqXI+ZxFhSNe4L8Ni499wn8jpJDPcacT3A+SWagjasNUJtBQF6nKDzjQnKWfH8QdTQuR8xTLCga9zT5bVx67tP4HSWHepI5n+Z8hsxAG1dboDaDgbzOUnjGheQs+f4o6mhcjphnWVA07jny27j03OfwO0oO9QxzPsf5PJmBNq52QG2GAHldoPCMC8lZ8v1J1NG4HDEvsKBo3Ivkt3HpuS/id5Qc6nnmfJHzJTIDbVztgdoMBfK6TOEZF5Kz5PuzqKNxOWJeZkHRuFfIb+PSc1/B7yg51EvM+Qrnq2QG2rg6ALUZBuR1jcIzLiRnyfcXUUfjcsS8xoKica+T38al576O31FyqFeZ83XON8gMtHF1BGozHMjrJoVnXEjOku+voo7G5Yh5kwVF494iv41Lz30Lv6PkUG8w51ucb5MZaOPqBNRmBJDXHQrPuJCcJd/fRB2NyxHzDguKxr1LfhuXnvsufkfJod5mznc53yMz0MbVGajNSCCv+xSecSE5S76/izoalyPmfRYUjfuA/DYuPfcD/I6SQ73HnB9wfkhmoI2rC1CbUUBejyg840Jylnz/EHU0LkfMRywoGvcx+W1ceu7H+B0lh/qQOT/m/ITMQBtXV6A2o4G8nlJ4xoXkLPn+KepoXI6YT1lQNO4z8tu49NzP8DtKDvUJc37G+TmZgTaubkBtxgB5vaDwjAvJWfL9S9TRuBwxX7CgaNyX5Ldx6blf4neUHOpz5vyS8ysyAz3PK7DeMv4FLXGuWlCcAAA=","proving_key":null,"verification_key":null}