diff --git a/c1_beginner/c1_quickstart/c4_prove.md b/c1_beginner/c1_quickstart/c4_prove.md index e6ef9b9..0ddaca7 100644 --- a/c1_beginner/c1_quickstart/c4_prove.md +++ b/c1_beginner/c1_quickstart/c4_prove.md @@ -1,6 +1,6 @@ # Prove WASM execution -## Proof Generation of a signle execution +## Proof Generation of a single execution In the Proof Phase the web assembly interpreter (wasmi) outputs two traces; the web assembly bytecode as the execution trace & the host API call trace. These record the order of the host API calls and their output. The combination of the two traces ensures the host call trace is in the same order as the execution trace (including the same input arguments).