Assert block commitment

matter-labs · Nov 23, 2020 · 002d151 · 002d151
1 parent 5484b69
commit 002d151
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/core/lib/circuit/src/witness/utils.rs b/core/lib/circuit/src/witness/utils.rs
@@ -788,5 +788,14 @@ pub fn build_block_witness<'a>(
         block.new_root_hash
     );
     witness_accum.calculate_pubdata_commitment();
+
+    let mut block_commitment = block.block_commitment.as_bytes().to_vec();
+    block_commitment[0] = block_commitment[0] & (0xffu8 >> 3);
+    let block_commitment = fr_from_bytes(block_commitment);
+    assert_eq!(
+        witness_accum.pubdata_commitment.unwrap(),
+        block_commitment,
+        "witness accumulator and server different commitment"
+    );
     Ok(witness_accum)
 }