From 8edf3415f1904e3821201aa63bfbd34ab103304f Mon Sep 17 00:00:00 2001 From: teenager-ETH Date: Sun, 15 Dec 2024 21:24:16 +0100 Subject: [PATCH] Typos Update transaction.md --- how-it-works/transaction.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/how-it-works/transaction.md b/how-it-works/transaction.md index 486e83d..e8804ad 100644 --- a/how-it-works/transaction.md +++ b/how-it-works/transaction.md @@ -30,7 +30,7 @@ The given nullifiers should be correctly derived from the input UTXOs. A zk transaction can create three types of outputs: UTXO, Withdrawal, and Migration. If the zk transaction creates UTXOs, Zkopru appends them to the UTXO tree. When it creates withdrawal outputs, Zkopru appends them to the withdrawal tree. Lastly, mass migration, which is a part of the layer-2 block, comprises the migration outputs of the block's every zk transaction. -Therefore, the outflow should satisfy the followings: +Therefore, the outflow should satisfy the following: 1. When the output is a UTXO type, the public hash value of the output equal the calculated in the SNARK circuit. 2. If the type of output is withdrawal or migration, it should reveal the details because it should move the correct amount of assets to the outside of the network.