Skip to content

Commit

Permalink
Do not allow burning while melting
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippGackstatter committed Mar 19, 2024
1 parent 79b0927 commit 6a20be4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tips/TIP-0044/tip-0044.md
Original file line number Diff line number Diff line change
Expand Up @@ -525,7 +525,7 @@ encoded in inputs and outputs respectively.
- `Current State(Melted Tokens) = Next State(Melted Tokens)`
2. When `Token Diff` < 0, it must hold true that:
- `Current State(Melted Tokens) <= Next State(Melted Tokens)`
- `[Next State(Melted Tokens) - Current State(Melted Tokens)] <= |Token Diff|`.
- `[Next State(Melted Tokens) - Current State(Melted Tokens)] == |Token Diff|`.
- When `Current State(Melted Tokens) != Next State(Melted Tokens)`, it must be true that
`Current State(Minted Tokens) = Next State(Minted Tokens)`
3. When `Current State` is empty, `Current State(Minted Tokens) = 0` and `Current State(Melted Tokens) = 0`.
Expand Down

0 comments on commit 6a20be4

Please sign in to comment.