Don't query the time on zkvm. (#10)

orlp · Oct 27, 2024 · da65bc3 · da65bc3
1 parent 45a79dc
commit da65bc3
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/seed.rs b/src/seed.rs
@@ -194,7 +194,11 @@ mod global {
         // current time and an address from the allocator.
         #[cfg(feature = "std")]
         {
-            #[cfg(not(any(miri, all(target_family = "wasm", target_os = "unknown"))))]
+            #[cfg(not(any(
+                miri,
+                all(target_family = "wasm", target_os = "unknown"),
+                target_os = "zkvm"
+            )))]
             if let Ok(duration) = std::time::UNIX_EPOCH.elapsed() {
                 seed = mix(seed, duration.subsec_nanos() as u64);
                 seed = mix(seed, duration.as_secs());