Add assert to read_felt_from_prover

HerodotusDev · Dec 21, 2023 · aedc56c · aedc56c
1 parent 88c2d69
commit aedc56c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/channel/channel.cairo b/src/channel/channel.cairo
@@ -56,6 +56,7 @@ impl ChannelImpl of ChannelTrait {
         let value_u256: u256 = value.into();
         let mut hash_data = ArrayTrait::<u32>::new();
 
+        assert(self.digest.low != 0xffffffffffffffffffffffffffffffff, 'digest low is 2^128-1');
         (self.digest + 1).to_array_be(ref hash_data);
         value_u256.to_array_be(ref hash_data);