Module verifier

Functions

• extract_verified_effects_and_events
• get_verified_checkpoint
  Get the verified checkpoint sequence number for an object. This function will verify that the object is in the transaction’s effects, and that the transaction is in the checkpoint and that the checkpoint is signed by the committee and the committee is read from the verified checkpoint summary which is signed by the previous committee.
• get_verified_effects_and_events
• get_verified_object