module arch.system.state.resource_machine.primitive_interfaces.proving_system.proving_system_delta;