Updates files upgrading nargo/bb to 1.0.0-beta.1/0.66.0

src/contracts/noir_ultra_keccak_honk_example/src/honk_verifier_constants.cairo

@@ -362,15 +362,15 @@ pub const vk: HonkVk = HonkVk {
     },
     lagrange_last: G1Point {
         x: u384 {
-            limb0: 0x71fba7a412dd61fcf34e8ceb,
-            limb1: 0x71155617b6af56ee40d90bea,
-            limb2: 0x140b0936c323fd24,
+            limb0: 0x868487222aa54f3268ab64a2,
+            limb1: 0x7c94249535bba7fcbd3f412f,
+            limb2: 0x1b8afad764d2cbe6,
             limb3: 0x0,
         },
         y: u384 {
-            limb0: 0x185c5ff8e440fd3d73b6fefc,
-            limb1: 0xc87d652e059df42b90071823,
-            limb2: 0x2b6c10790a5f6631,
+            limb0: 0xe415445bd0c84309caaf213e,
+            limb1: 0x5096aad8a0cc5d4c1d1cdb0f,
+            limb2: 0x1b70a90a334c9bd,
             limb3: 0x0,
         },
     },

src/contracts/noir_ultra_starknet_honk_example/src/honk_verifier_constants.cairo

@@ -362,15 +362,15 @@ pub const vk: HonkVk = HonkVk {
     },
     lagrange_last: G1Point {
         x: u384 {
-            limb0: 0x71fba7a412dd61fcf34e8ceb,
-            limb1: 0x71155617b6af56ee40d90bea,
-            limb2: 0x140b0936c323fd24,
+            limb0: 0x868487222aa54f3268ab64a2,
+            limb1: 0x7c94249535bba7fcbd3f412f,
+            limb2: 0x1b8afad764d2cbe6,
             limb3: 0x0,
         },
         y: u384 {
-            limb0: 0x185c5ff8e440fd3d73b6fefc,
-            limb1: 0xc87d652e059df42b90071823,
-            limb2: 0x2b6c10790a5f6631,
+            limb0: 0xe415445bd0c84309caaf213e,
+            limb1: 0x5096aad8a0cc5d4c1d1cdb0f,
+            limb2: 0x1b70a90a334c9bd,
             limb3: 0x0,
         },
     },

tools/garaga_rs/src/calldata/full_proof_with_hints/honk.rs

@@ -1051,8 +1051,8 @@ mod tests {
             .collect::<Vec<_>>();
         let digest = Keccak256::digest(&bytes).to_vec();
         let expected_digest = [
-            224, 10, 52, 69, 230, 56, 254, 216, 57, 22, 36, 162, 198, 40, 56, 222, 3, 82, 253, 49,
-            43, 53, 159, 120, 148, 181, 90, 213, 85, 236, 98, 79,
+            103, 55, 221, 223, 7, 64, 139, 128, 242, 97, 151, 105, 184, 84, 236, 64, 137, 211, 211,
+            235, 145, 116, 32, 146, 222, 141, 34, 170, 125, 140, 72, 121,
         ];
         assert_eq!(digest, expected_digest);
         Ok(())
@@ -1069,8 +1069,8 @@ mod tests {
             .collect::<Vec<_>>();
         let digest = Keccak256::digest(&bytes).to_vec();
         let expected_digest = [
-            138, 80, 251, 246, 114, 144, 30, 131, 162, 59, 6, 234, 99, 117, 135, 213, 61, 10, 129,
-            116, 19, 82, 226, 142, 180, 170, 113, 118, 181, 140, 24, 236,
+            89, 155, 64, 84, 230, 213, 95, 238, 214, 157, 58, 50, 7, 154, 218, 195, 165, 140, 145,
+            19, 74, 191, 197, 254, 233, 208, 172, 209, 131, 237, 230, 182,
         ];
         assert_eq!(digest, expected_digest);
         Ok(())

tools/noir/hello/Nargo.toml

@@ -2,6 +2,5 @@
 name = "hello"
 type = "bin"
 authors = [""]
-compiler_version = ">=0.36.0"
 
 [dependencies]

tools/noir/run.sh

@@ -17,8 +17,8 @@ reset
 BB_PATH="bb"
 
 
-echo "nargo version : $(nargo --version)" # 0.36.0
-echo "bb version : $($BB_PATH --version)" # 0.61.0
+echo "nargo version : $(nargo --version)" # 1.0.0-beta.1
+echo "bb version : $($BB_PATH --version)" # 0.66.0
 
 
 run_noir_proof_basic() {