# Proving¶

What exactly is a *proof*? If a proof - operationally - is simply whatever is
necessary to convince a particular party to believe that a statement is true,
then in a heterogeneous trust system such as Anoma, there can be no single
definition of what a proof must include, as different parties will be willing to
make different assumptions and will thus accept different proofs. Rather, the
protocol standardizes a type of *assumptions*, such that parties can specify
which assumptions they are willing to make, and a multiformat for *proofs*,
where each proof must describe what assumptions are required in order to
consider it valid.

## Content¶

- Assumption
- Proof
- Multifunctions

Todo

Fix links to multifunctions.