Update NIL (#300)

* Update NIL * Fix nil
CKS-Systems · Nov 26, 2024 · 72c9b01 · 72c9b01
1 parent c2ae02c
commit 72c9b01
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/client/ts/src/constants.ts b/client/ts/src/constants.ts
@@ -1,8 +1,7 @@
 export const FIXED_MANIFEST_HEADER_SIZE: number = 256;
 export const FIXED_GLOBAL_HEADER_SIZE: number = 96;
 export const FIXED_WRAPPER_HEADER_SIZE: number = 64;
-// Changed in https://github.com/CKS-Systems/manifest/pull/294
-export const NIL: number = 0x7f_ff_ff_ff;
+export const NIL: number = 4_294_967_295;
 export const NO_EXPIRATION_LAST_VALID_SLOT = 0;
 export const U32_MAX = 4_294_967_295;
 export const PRICE_MIN_EXP = -18;

diff --git a/lib/src/hypertree.rs b/lib/src/hypertree.rs
@@ -8,7 +8,10 @@ use crate::DataIndex;
 // would be better to set it fully to DataIndex::MAX, but not a major concern
 // because it is just set to an unreacahable data index and SVM limits the
 // account size to 10MB.
+#[cfg(feature = "certora")]
 pub const NIL: DataIndex = 0x7F_FF_FF_FF;
+#[cfg(not(feature = "certora"))]
+pub const NIL: DataIndex = DataIndex::MAX;
 
 #[cfg(feature = "certora")]
 #[macro_export]