Verifiable proofControl access
Sharing data in a form that is hard to forge. It can be checked using mathematical formulas, for example to verify that messages are end-to-end encrypted.
Doesn’t rely on external infrastructure that could be malicious
Some people won’t understand what is being checked
The underlying maths can later be found to be insecure