Module initialization_utils

Functions

• assert_initialization_matches_address_preimage_private
• assert_initialization_matches_address_preimage_public
• assert_is_initialized_private
  Asserts that the contract has been initialized, from private's perspective.
• assert_is_initialized_public
  Asserts that the contract has been initialized, from public's perspective.
• compute_initialization_hash
  This function is not only used in macros but it's also used by external people to check that an instance has been initialized with the correct constructor arguments. Don't hide this unless you implement factory functionality.
• compute_private_initialization_nullifier
  Computes the private initialization nullifier for a contract.
• mark_as_initialized_from_private_initializer
  Emits the private initialization nullifier and, if relevant, enqueues the emission of the public one.
• mark_as_initialized_from_public_initializer
  Emits both initialization nullifiers (private and public).
• mark_as_initialized_public
  Emits (only) the public initialization nullifier.