@@ -14,9 +14,7 @@ using UnconstrainedPoseidon2 = crypto::Poseidon2<crypto::Poseidon2Bn254ScalarFie
1414FF unconstrained_read (const LowLevelMerkleDBInterface& merkle_db, const FF& leaf_slot)
1515{
1616 auto [present, index] = merkle_db.get_low_indexed_leaf (world_state::MerkleTreeId::PUBLIC_DATA_TREE, leaf_slot);
17- info (" performing unconstrained read for slot: " , leaf_slot, " , w res index: " , index);
1817 auto preimage = merkle_db.get_leaf_preimage_public_data_tree (index);
19- info (" performing get leaf preimage for index: " , index, " , got value: " , preimage.leaf .value );
2018 return present ? preimage.leaf .value : 0 ;
2119}
2220
@@ -25,7 +23,6 @@ FF unconstrained_read(const LowLevelMerkleDBInterface& merkle_db, const FF& leaf
2523void UpdateCheck::check_current_class_id (const AztecAddress& address, const ContractInstance& instance)
2624{
2725 // Compute the public data tree slots
28- info (" should arrive here after instance" );
2926 FF delayed_public_mutable_slot = poseidon2.hash ({ UPDATED_CLASS_IDS_SLOT, address });
3027 FF delayed_public_mutable_hash_slot = delayed_public_mutable_slot + UPDATES_DELAYED_PUBLIC_MUTABLE_VALUES_LEN;
3128 // Read the hash from the tree. We do a trick with delayed public mutables (updates are delayed public mutables)
@@ -41,13 +38,6 @@ void UpdateCheck::check_current_class_id(const AztecAddress& address, const Cont
4138 uint64_t current_timestamp = globals.timestamp ;
4239
4340 if (hash == 0 ) {
44- info (" hash 0, not performing unconstrained reads, would be for slots:" );
45- info (unconstrained_compute_leaf_slot (CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS, delayed_public_mutable_slot));
46- info (unconstrained_compute_leaf_slot (CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS,
47- delayed_public_mutable_slot + 1 ));
48- info (unconstrained_compute_leaf_slot (CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS,
49- delayed_public_mutable_slot + 2 ));
50-
5141 // If the delayed public mutable has never been written, then the contract was never updated. We short circuit
5242 // early.
5343 if (instance.original_class_id != instance.current_class_id ) {
@@ -62,7 +52,6 @@ void UpdateCheck::check_current_class_id(const AztecAddress& address, const Cont
6252 for (size_t i = 0 ; i < update_preimage.size (); ++i) {
6353 FF leaf_slot = unconstrained_compute_leaf_slot (CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS,
6454 delayed_public_mutable_slot + i);
65- info (" performing unconstrained reads i = " , i);
6655 update_preimage[i] = unconstrained_read (unconstrained_merkle_db, leaf_slot);
6756 }
6857
0 commit comments