Skip to content

Commit

Permalink
whitepaper: fix tex (bis)
Browse files Browse the repository at this point in the history
  • Loading branch information
mimoo committed Jan 17, 2024
1 parent 0b8e361 commit 148662e
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion whitepaper/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,11 @@ Stateful zkapps are similar, except that the second UTXO containing a hash of th

Users who want to use a stateful zkapp must create a transaction that spends the zkapp and produce a new zkapp as a new UTXO to `0xzkBitcoin` and a UTXO of the hashed verifier key and new state. The funds locked in the updated zkapp must match the following formula:

$$b_{\text{new}} = b_{\text{old}} + b_{\text{amount\_in}} - b_{\text{amount\_out}}$$
$$
\usepackage{underscore}
\usepackage[T1]{fontenc}
b_{\text{new}} = b_{\text{old}} + b_{\text{amount\_in}} - b_{\text{amount\_out}}
$$

In other words, the new balance is the old balance plus anything that was deposited and minus anything that was withdrawn.

Expand Down

0 comments on commit 148662e

Please sign in to comment.