|
@@ -1,7 +1,7 @@
|
|
|
# DEP 0008: Transaction-local state
|
|
# DEP 0008: Transaction-local state
|
|
|
|
|
|
|
|
```
|
|
```
|
|
|
-status: draft
|
|
|
|
|
|
|
+status: accepted
|
|
|
```
|
|
```
|
|
|
|
|
|
|
|
## Motivation
|
|
## Motivation
|
|
@@ -42,8 +42,8 @@ expects.
|
|
|
|
|
|
|
|
We have to add a public `mode_flag` (0 = global, 1 = local) so the
|
|
We have to add a public `mode_flag` (0 = global, 1 = local) so the
|
|
|
verifier knows which root check to perform. This would be added to
|
|
verifier knows which root check to perform. This would be added to
|
|
|
-the `Output` struct in the `Money` contract and the smart contract
|
|
|
|
|
-would then be able to select the correct code path for verification.
|
|
|
|
|
|
|
+the `Input` and `Output` structs in the `Money` contract and the smart
|
|
|
|
|
+contract would then be able to select the correct code path for verification.
|
|
|
|
|
|
|
|
## Privacy
|
|
## Privacy
|
|
|
|
|
|
