feat: system time (#189)

Author: RoeeGross

workspace/apps/perpetuals/contracts/src/core/core.cairo

@@ -19,7 +19,8 @@ pub mod Core {
     };
     use perpetuals::core::errors::{
         AMOUNT_OVERFLOW, FORCED_WAIT_REQUIRED, INVALID_ZERO_TIMEOUT, LENGTH_MISMATCH,
-        ORDER_IS_NOT_EXPIRED, TRADE_ASSET_NOT_SYNTHETIC, TRANSFER_FAILED,
+        NON_MONOTONIC_TIME, ORDER_IS_NOT_EXPIRED, STALE_TIME, TRADE_ASSET_NOT_SYNTHETIC,
+        TRANSFER_FAILED,
     };
     use perpetuals::core::events;
     use perpetuals::core::interface::{ICore, Settlement};
@@ -161,6 +162,7 @@ pub mod Core {
         forced_action_timelock: TimeDelta,
         // Cost for executing forced actions.
         premium_cost: u64,
+        system_time: Timestamp,
     }
 
     #[event]
@@ -953,6 +955,41 @@ pub mod Core {
                     },
                 );
         }
+
+        /// Updates the system time stored in the contract.
+        ///
+        /// Validations:
+        /// - The contract must not be paused.
+        /// - Only the operator can call this function.
+        /// - The operator_nonce must be valid.
+        /// - The new system time must be strictly greater than the current system time.
+        /// - The new system time must not exceed the current Starknet block timestamp.
+        ///
+        /// Execution:
+        /// - Updates the system time.
+        /// - Emits no events.
+        fn update_system_time(
+            ref self: ContractState, operator_nonce: u64, new_timestamp: Timestamp,
+        ) {
+            self.pausable.assert_not_paused();
+            self.operator_nonce.use_checked_nonce(:operator_nonce);
+
+            // The new system time must be strictly greater than the current system time.
+            let current_system_time = self.system_time.read();
+            assert(new_timestamp > current_system_time, NON_MONOTONIC_TIME);
+
+            // The new system time must not exceed the current Starknet block timestamp.
+            let now = Time::now();
+            assert(new_timestamp <= now, STALE_TIME);
+
+            // Update the system time.
+            self.system_time.write(new_timestamp);
+        }
+
+        /// Returns the current system time stored in the contract.
+        fn get_system_time(self: @ContractState) -> Timestamp {
+            self.system_time.read()
+        }
     }
 
     #[generate_trait]

workspace/apps/perpetuals/contracts/src/core/errors.cairo

@@ -25,6 +25,9 @@ pub const TRANSFER_FAILED: felt252 = 'TRANSFER_FAILED';
 pub const SAME_BASE_QUOTE_ASSET_IDS: felt252 = 'SAME_BASE_QUOTE_ASSET_IDS';
 pub const ORDER_IS_NOT_EXPIRED: felt252 = 'ORDER_IS_NOT_EXPIRED';
 pub const LENGTH_MISMATCH: felt252 = 'LENGTH_MISMATCH';
+pub const NON_MONOTONIC_TIME: felt252 = 'NON_MONOTONIC_TIME';
+pub const STALE_TIME: felt252 = 'STALE_TIME';
+
 
 pub fn fulfillment_exceeded_err(position_id: PositionId) -> ByteArray {
     format!("FULFILLMENT_EXCEEDED position_id: {:?}", position_id)

workspace/apps/perpetuals/contracts/src/core/interface.cairo

@@ -166,4 +166,6 @@ pub trait ICore<TContractState> {
         order_b: Order,
     );
     fn forced_trade(ref self: TContractState, order_a: Order, order_b: Order);
+    fn update_system_time(ref self: TContractState, operator_nonce: u64, new_timestamp: Timestamp);
+    fn get_system_time(self: @TContractState) -> Timestamp;
 }