mirror of
https://github.com/bitcoin/bips.git
synced 2026-07-13 17:56:00 +00:00
Fix other broken anchors
Used the following `sed` command and manually verified the unstaged changes. Special cases that were not committed included external links to Wikipedia which are case-sensitive, links specific lines in code, a link to a title with a slash that had to be cleaned up, and links to citations on the BIP repository that contain an underscore. ``` sed -E -i ' s/(\[\[[^][]*#)([^]|]*)(\||\]\])/\1\L\2\E\3/g :again s/(\[\[[^][]*#)([^]|]*)([: _]+)([^]|]*)(\||\]\])/\1\2-\4\5/g t again ' bip-0*mediawiki ```
This commit is contained in:
@@ -652,7 +652,7 @@ Algorithm ''ApplyXonlyTweak(P, t)'':
|
||||
|
||||
=== Negation Of The Secret Key When Signing ===
|
||||
|
||||
In order to produce a partial signature for an X-only aggregate public key that is an aggregate of ''u'' individual public keys and tweaked ''v'' times (X-only or plain), the ''[[#Sign negation|Sign]]'' algorithm may need to negate the secret key during the signing process.
|
||||
In order to produce a partial signature for an X-only aggregate public key that is an aggregate of ''u'' individual public keys and tweaked ''v'' times (X-only or plain), the ''[[#sign-negation|Sign]]'' algorithm may need to negate the secret key during the signing process.
|
||||
|
||||
<poem>
|
||||
The following elliptic curve points arise as intermediate steps when creating a signature:
|
||||
@@ -710,7 +710,7 @@ Then we have
|
||||
= sum<sub>i=1..u</sub>(g<sub>v</sub>⋅gacc<sub>v</sub>⋅a<sub>i</sub>⋅d<sub>i</sub>')*G''.
|
||||
</poem>
|
||||
|
||||
Intuitively, ''gacc<sub>i</sub>'' tracks accumulated sign flipping and ''tacc<sub>i</sub>'' tracks the accumulated tweak value after applying the first ''i'' individual tweaks. Additionally, ''g<sub>v</sub>'' indicates whether ''Q<sub>v</sub>'' needed to be negated to produce the final X-only result. Thus, signer ''i'' multiplies its secret key ''d<sub>i</sub>' '' with ''g<sub>v</sub>⋅gacc<sub>v</sub>'' in the ''[[#Sign negation|Sign]]'' algorithm.
|
||||
Intuitively, ''gacc<sub>i</sub>'' tracks accumulated sign flipping and ''tacc<sub>i</sub>'' tracks the accumulated tweak value after applying the first ''i'' individual tweaks. Additionally, ''g<sub>v</sub>'' indicates whether ''Q<sub>v</sub>'' needed to be negated to produce the final X-only result. Thus, signer ''i'' multiplies its secret key ''d<sub>i</sub>' '' with ''g<sub>v</sub>⋅gacc<sub>v</sub>'' in the ''[[#sign-negation|Sign]]'' algorithm.
|
||||
|
||||
==== Negation Of The Individual Public Key When Partially Verifying ====
|
||||
|
||||
@@ -721,7 +721,7 @@ when producing a partial signature to ensure that the aggregate signature will c
|
||||
</poem>
|
||||
|
||||
<poem>
|
||||
The ''[[#SigVerify negation|PartialSigVerifyInternal]]'' algorithm is supposed to check
|
||||
The ''[[#sigverify-negation|PartialSigVerifyInternal]]'' algorithm is supposed to check
|
||||
''s⋅G = Re<sub>⁎</sub> + e⋅a⋅d⋅G''.
|
||||
</poem>
|
||||
|
||||
|
||||
Reference in New Issue
Block a user