Skip to main content

Certificate

What is a certificate?

Cross-subnet communication in Topos lies in the submission of certificates—data structures that certify subnet state transitions.

It is the role of every subnet to:

Once broadcast and delivered throughout the TCE, the certificate can be verified and related cross-subnet messages executed in their respective receiving subnet.

Composition

A certificate is defined as:

  • subnet_id is the unique identifier of the subnet;
  • prev_state_hash is the previous subnet state commitment (from the previous certificate);
  • state_hash is the current subnet state commitment;
  • proof is the zkSTARK proof of validity.