feat(avm): constrain sha256

barretenberg/cpp/.clangd

@@ -80,3 +80,12 @@ Diagnostics:
     Remove:
       - cppcoreguidelines-avoid-non-const-global-variables
       - cppcoreguidelines-special-member-functions
+
+--- # this divider is necessary
+# Suppressing some noisy AVM warnings
+If:
+  PathMatch: [src/barretenberg/vm.*\.cpp]
+Diagnostics:
+  Suppress:
+    - -Wmissing-designated-field-initializers
+

barretenberg/cpp/pil/vm2/execution.pil

@@ -2,6 +2,7 @@ include "alu.pil";
 include "addressing.pil";
 include "range_check.pil";
 include "precomputed.pil";
+include "sha256.pil";
 
 namespace execution;
 

barretenberg/cpp/pil/vm2/precomputed.pil

@@ -25,3 +25,7 @@ pol constant sel_range_16; // 1 in the first 2^16 rows [0, 2^16)
 // For a given row, the exponent is clk (value = 2^clk)
 // Populated for the first 256 rows [0, 255]
 pol constant power_of_2;
+
+// SHA256 Round Params Lookup
+pol constant sel_sha256_compression;
+pol constant sha256_compression_round_constant;