feat: do not allow slot 0 in noir-libs

yarn-project/noir-libs/easy-private-state/src/easy_private_state.nr

@@ -23,6 +23,7 @@ struct EasyPrivateUint {
 
 impl EasyPrivateUint {
     fn new(storage_slot: Field) -> Self {
+        assert(storage_slot != 0); // Storage slot 0 not allowed. Storage slots must start from 1.
         let set = Set {
             storage_slot,
             note_interface: ValueNoteMethods,

yarn-project/noir-libs/noir-aztec/src/state_vars/immutable_singleton.nr

@@ -19,6 +19,7 @@ struct ImmutableSingleton<Note, N> {
 
 impl<Note, N> ImmutableSingleton<Note, N> {
     fn new(storage_slot: Field, note_interface: NoteInterface<Note, N>) -> Self {
+        assert(storage_slot != 0); // Storage slot 0 not allowed. Storage slots must start from 1.
         ImmutableSingleton { storage_slot, note_interface }
     }
 

yarn-project/noir-libs/noir-aztec/src/state_vars/map.nr

@@ -5,6 +5,7 @@ struct Map<V> {
 
 impl<V> Map<V> {
     fn new(storage_slot: Field, state_var_constructor: fn (Field) -> V) -> Map<V> {
+        assert(storage_slot != 0); // Storage slot 0 not allowed. Storage slots must start from 1.
         Map { storage_slot, state_var_constructor }
     }
 

yarn-project/noir-libs/noir-aztec/src/state_vars/public_state.nr

@@ -9,6 +9,7 @@ struct PublicState<T, T_SERIALISED_LEN> {
 
 impl<T, T_SERIALISED_LEN> PublicState<T, T_SERIALISED_LEN> {
     fn new(storage_slot: Field, serialisation_methods: TypeSerialisationInterface<T, T_SERIALISED_LEN>) -> Self {
+        assert(storage_slot != 0); // Storage slot 0 not allowed. Storage slots must start from 1.
         PublicState { storage_slot, serialisation_methods }
     }
 

yarn-project/noir-libs/noir-aztec/src/state_vars/set.nr

@@ -21,6 +21,7 @@ struct Set<Note, N> {
 
 impl<Note, N> Set<Note, N> {
     fn new(storage_slot: Field, note_interface: NoteInterface<Note, N>) -> Self {
+        assert(storage_slot != 0); // Storage slot 0 not allowed. Storage slots must start from 1.
         Set { storage_slot, note_interface }
     }
 

yarn-project/noir-libs/noir-aztec/src/state_vars/singleton.nr

@@ -22,6 +22,7 @@ struct Singleton<Note, N> {
 
 impl<Note, N> Singleton<Note, N> {
     fn new(storage_slot: Field, note_interface: NoteInterface<Note, N>) -> Self {
+        assert(storage_slot != 0); // Storage slot 0 not allowed. Storage slots must start from 1.
         Singleton { storage_slot, note_interface }
     }