Skip to content

Typos Update transaction.md #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion how-it-works/transaction.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down