Certificate Verification

Certificate verification on the Internet Computer is the process of verifying that a canister's response to a query call has gone through consensus with other replicas hosting the same canister.

This package partially encapsulates the protocol for such verification. It performs the following actions:

• Decoding of the certificate and the canister provided tree
• Verification of the certificate's root of trust
• Verification of the certificate's delegations (if any)
• Decoding of a canister provided merkle tree
• Verification that the canister provided merkle tree's root hash matches the canister's certified data