[ ] Liveness failures, in which case a user can immediately dispute the node, by depositing some TOMA as collateral. This can later be extended to checks on remote attestations.
[ ] Tampered outputs, which is enforced by our sampling consensus algorithm.
Disputes can happen in two situations:
TOMAas collateral. This can later be extended to checks on remote attestations.