-
Notifications
You must be signed in to change notification settings - Fork 1
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
Update validation bip #5
base: main
Are you sure you want to change the base?
Update validation bip #5
Conversation
e52bc26
to
3825ebb
Compare
3825ebb
to
5c7afa0
Compare
@@ -65,7 +65,7 @@ string, it's "5574726565786f5631". (The resulting 64 byte output is | |||
5b832db8ca26c25be1c542d6cceddda8c145615cff5c35727fb3462610807e20ae534dc3f64299199931772e03787d18156eb3151e0ed1b3098bdc8445861885) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It seems right
$ echo -n UtreexoV1 | sha512sum
5b832db8ca26c25be1c542d6cceddda8c145615cff5c35727fb3462610807e20ae534dc3f64299199931772e03787d18156eb3151e0ed1b3098bdc8445861885
@@ -138,14 +138,14 @@ as all proofs are with respect to the merkle roots of the entire set. | |||
For this reason, we define which UTXOs are not inserted to the accumulator. Any | |||
variations here will result in Utreexo nodes with incompatible proofs. | |||
|
|||
##### Provably unspendable transaction outputs | |||
## Provably unspendable transaction outputs |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This section and the one below it should be inside the previous one, no? Like three #
since this lists the outputs that are excluded.
defined in bip ???. Deletions are order-independent. | ||
2: Batch add all non-excluded outputs in the order they're included in the | ||
Bitcoin block. | ||
1. Verify that the UTXOs that were spent in the block. Raise error if the verification fails. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This phrase sounds weird. It tells us to validate the scripts for transactions spending those outputs?
This field is added to commit to the locking script of the UTXO. With current | ||
nodes, this is stored in the UTXO set but since we receive this in the proof | ||
from our peers, we need to commit to this value to avoid malicious peers that | ||
may send over the wrong locking script. | ||
|
||
#### Hash function | ||
## Hash function | ||
The leaf data is hashed with SHA-512/256, which gives us a 32 byte hash. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should have a link to a benchmark here
No description provided.