diff --git a/src/persistence/memory.rs b/src/persistence/memory.rs
index 87749342..09dc944d 100644
--- a/src/persistence/memory.rs
+++ b/src/persistence/memory.rs
@@ -1082,6 +1082,11 @@ impl<M: Borrow<MemContractState>> ContractStateRead for MemContract<M> {
     #[inline]
     fn schema_id(&self) -> SchemaId { self.unfiltered.borrow().schema_id }
 
+    #[inline]
+    fn witness_info(&self, witness_id: XWitnessId) -> Option<WitnessOrd> {
+        self.filter.get(&witness_id).copied()
+    }
+
     #[inline]
     fn rights_all(&self) -> impl Iterator<Item = &OutputAssignment<VoidState>> {
         self.unfiltered
diff --git a/src/persistence/state.rs b/src/persistence/state.rs
index 866b5fea..6c82d6d5 100644
--- a/src/persistence/state.rs
+++ b/src/persistence/state.rs
@@ -307,6 +307,7 @@ pub trait StateWriteProvider: StoreTransaction<TransactionErr = Self::Error> {
 pub trait ContractStateRead: ContractStateAccess {
     fn contract_id(&self) -> ContractId;
     fn schema_id(&self) -> SchemaId;
+    fn witness_info(&self, witness_id: XWitnessId) -> Option<WitnessOrd>;
     fn rights_all(&self) -> impl Iterator<Item = &OutputAssignment<VoidState>>;
     fn fungible_all(&self) -> impl Iterator<Item = &OutputAssignment<RevealedValue>>;
     fn data_all(&self) -> impl Iterator<Item = &OutputAssignment<RevealedData>>;