Pieter Wuille
84161e187d
Improve and restructure motivation and design
2020-01-19 14:47:33 -08:00
Matthew Zipkin
734a859b27
bip-taproot: example from diagram
2020-01-19 14:47:33 -08:00
Pieter Wuille
2c8feb1cbb
Update bip-schnorr.mediawiki
...
Co-Authored-By: Tim Ruffing <crypto@timruffing.de>
2020-01-19 14:47:33 -08:00
Pieter Wuille
9c76bb457f
Linearity makes sign-for-sum-of-keys easier, not possible entirely.
...
I'm sure it's possible to construct a complex MPC that can sign for the
sum of keys under ECDSA as well.
2020-01-19 14:47:33 -08:00
Tim Ruffing
0dd7489dfd
Update bip-schnorr.mediawiki
2020-01-19 14:47:33 -08:00
Tim Ruffing
3cc2d8ed6d
Mention that we don't change the hash function
2020-01-19 14:47:33 -08:00
Pieter Wuille
3c1f466372
Completely specified
2020-01-19 14:47:33 -08:00
Pieter Wuille
687ec4ba8e
Low-S ECDSA is non-malleable under nonstandard assumptions
2020-01-19 14:47:33 -08:00
Jonas Nick
d199b6dff6
Replace private key with secret key
2020-01-19 14:47:33 -08:00
Tim Ruffing
ad6bb6c1ff
Clarify why we don't want short hashes
...
This is supposed to supersede https://github.com/sipa/bips/pull/158 .
I tried to say this carefully. I don't think that multiparty signing is in general broken with short hashes. For example the attack in #158 could be avoided by letting everybody not only commit to the nonce but also to the message. It's just that using a collision-resistant hash just eliminates the problem entirely...
2020-01-19 14:47:33 -08:00
Hennadii Stepanov
966eadca3a
Fix reference formatting
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
773133fb4a
Typo: script signature max bytes unhashed are 247
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
da3837639f
Typo: max bytes hashed for sig is 210
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
37bf225ea4
Replace BIP66 link with BIP146
...
BIP66 does not mention the inherent ECDSA malleability, but BIP146 does
2020-01-19 14:47:33 -08:00
stefanwouldgo
8baf6f5952
fix singular/plural ambiguity
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
a65101ff6d
Replace signing with signature before validation
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
79738f2410
Link to proof sketch of security of implicit Y
...
Thanks to @ajtowns for providing the link
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
ca472ed663
Mention that miners could malleate signatures
2020-01-19 14:47:33 -08:00
Orfeas Litos
5918b4666c
Mention hash_type malleability would change wtxid
2020-01-19 14:47:33 -08:00
Jonas Nick
66e2931de2
Clarify bip-taproot digest difference to bip143 regarding sub-hashes
2020-01-19 14:47:33 -08:00
Jonas Nick
1f5bdb304e
Improve clarity of footnotes for lift_x
2020-01-19 14:47:33 -08:00
Jonas Nick
708aeadf85
Replace references to Euler's criterion with Legendre symbol in bip-schnorr
2020-01-19 14:47:33 -08:00
Jonas Nick
5a25adc490
Fix bip-schnorr footnote 7 by specifying that we're referring to P's y coordinate and not some undefined 'x'
2020-01-19 14:47:33 -08:00
Kalle Rosenbaum
98983e177f
Fix @jonasnick's comment
2020-01-19 14:47:33 -08:00
Kalle Rosenbaum
18d1774d81
Nits
2020-01-19 14:47:33 -08:00
Orfeas Litos
2aa865c33e
Replace "both are not" with "neither is"
2020-01-19 14:47:33 -08:00
andrewtoth
c7175e8005
Update bip-tapscript.mediawiki
2020-01-19 14:47:33 -08:00
andrewtoth
5235781ea5
Add missing closing parenthesis and comma
2020-01-19 14:47:33 -08:00
Hennadii Stepanov
fe03882a72
Fix paragraph naming and typo
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
55a31518b9
Rephrase "previous design choice" to "list above"
2020-01-19 14:47:33 -08:00
stefanwouldgo
79c515eb9e
grammar typo fix: inserted "be"
2020-01-19 14:47:33 -08:00
Jonas Nick
3e5a79af88
Rename is_y_square to is_negated in taproot signing
2020-01-19 14:47:33 -08:00
Dmitry Petukhov
7a434d4d76
Add missing dots that denote multiplication
...
Throughout the document, elliptic curve multiplication is denoted with dots,
as in `d'⋅G` as opposed to `d'G`.
This is not the case in one place in the 'Default Signing' section,
and one place in 'Adaptor Signatures' section
Missing dots are added for consistency.
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
1661efc999
Add missing quote
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
e72fffa028
Fix typo in schnorr, footnote 2
2020-01-19 14:47:33 -08:00
Max Hillebrand
54384a5710
make clear it's script branch
...
In this context we are talking about the script branch, not the Merkle tree branch, right? If so, then this should clear things up a little.
2020-01-19 14:47:33 -08:00
Thomas Kerin
769a17b3b9
tapscript: fix minor typo
2020-01-19 14:47:33 -08:00
Jon Atack
28f67764ec
bip-taproot: clarify bip-schnorr reference code
...
- update the paragraph in question to more clearly convey that the helper
functions, and not the Python3 example code, are from the bip-schnorr
reference code
- add a link to the reference code in
https://github.com/sipa/bips/blob/bip-schnorr/bip-schnorr/reference.py
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
daff462f9d
Add links to unlinked BIPs
...
Only first mention of each BIP is made into a link
2020-01-19 14:47:33 -08:00
Adam Gibson
4f67ed25c7
Add clarification of semantics of 0x00 hash type
2020-01-19 14:47:33 -08:00
Hennadii Stepanov
ba7dd57697
G refers to secp256k1 base point rather generator
2020-01-19 14:47:33 -08:00
Anthony
b2aed3e3fe
FIX: BIPs should be specified as lowercase to match filenames
2020-01-19 14:47:33 -08:00
Anthony
662361cc44
ADD: Require Schnorr and Taproot BIPs for Tapscript
...
https://github.com/sipa/bips/pull/135#issuecomment-552754867
2020-01-19 14:47:33 -08:00
Anthony
4bc42d0f00
ADD: Require Schnorr BIP for Taproot
...
Per https://github.com/bitcoin/bips/blob/master/bip-0001.mediawiki :
"BIPs may have a Requires header, indicating the BIP numbers that this BIP depends on"
2020-01-19 14:47:33 -08:00
Dev Random
ac33640bf5
tweak 211 bytes text
2020-01-19 14:47:33 -08:00
Devrandom
b80ebbf287
clarify 211 hash bytes and non-reuse of keys
2020-01-19 14:47:33 -08:00
Gregory Sanders
758be14a2b
remind reader where [:] is defined
...
in addition to `point`. This caused confusion for one reader who expected inclusive at end of range.
2020-01-19 14:47:33 -08:00
Orfeas Stefanos Thyfronitis Litos
4e88d4fae7
Replace R with P in taproot_tweak_seckey
2020-01-19 14:47:33 -08:00
Gregory Sanders
43fbb03235
BIP16 has no relation to bip-taproot/tapscript
...
Previously did.
2020-01-19 14:47:33 -08:00
Agis Anastasopoulos
b5eb53451f
Fix typo
2020-01-19 14:47:33 -08:00