module arch.system.state.resource_machine.data_structures.transaction.delta_proof;