BIP352: add warning against omitting outputs #1908

1. 
   josibake commented at 10:52 am on August 1, 2025: member

   While implied by the specification, add an explicit warning that generated outputs MUST not be omitted from the final transaction.
2. doc: add warning against omitting outputs

   While implied by the specification, add an explicit warning that
   generated outputs MUST not be omitted from the final transaction.

   291ee3737b
3. jonatack renamed this:
   doc: add warning against omitting outputs
   BIP352: add warning against omitting outputs
   on Aug 1, 2025
4. jonatack added the label Proposed BIP modification on Aug 1, 2025
5. in bip-0352.mediawiki:315 in 291ee3737b outdated

   311@@ -312,6 +312,8 @@ After the inputs have been selected, the sender can create one or more outputs f
   312 *** If no additional outputs are required, continue to the next ''B<sub>m</sub>'' with ''k++''<ref name="why_not_the_same_tn">''' Why not re-use ''t<sub>k</sub>'' when paying different labels to the same receiver?''' If paying the same entity but to two separate labeled addresses in the same transaction without incrementing ''k'', an outside observer could subtract the two output values and observe that this value is the same as the difference between two published silent payment addresses and learn who the recipient is.</ref>
   313 ** Optionally, if the sending wallet implements receiving silent payments, it can create change outputs by sending to its own silent payment address using label ''m = 0'', following the steps above
   314 
   315+All generated outputs MUST be present in the final transaction. Otherwise, if a some output ''P<sub>i</sub>'' with ''i < k'' is omitted, the receiver will not be able to find outputs ''P<sub>j</sub>'' where ''i < j <= k''.
   

   ---

   ---

   

   jonatack commented at 5:36 pm on August 1, 2025:

   “a some output” looks like it has an extra word “a” (not sure about “some output” though)

   0All generated outputs MUST be present in the final transaction. Otherwise, if some output ''P<sub>i</sub>'' with ''i < k'' is omitted, the receiver will not be able to find outputs ''P<sub>j</sub>'' where ''i < j <= k''.
   

   ---

   

   murchandamus commented at 7:28 pm on August 1, 2025:

   How about:

   0All generated outputs MUST be present in the final transaction. If an output ''P<sub>i</sub>'' with ''i < k'' is omitted, the receiver will not be able to find outputs ''P<sub>j</sub>'' where ''i < j <= k''.
   

   ---

   

   josibake commented at 8:41 am on August 4, 2025:

   Thanks! Taking @murchandamus ’s more succinct wording, which removes the “some output” wording.
6. jonatack assigned RubenSomsen on Aug 1, 2025
7. Fix grammar, improving wording

   Co-authored-by: Mark "Murch" Erhardt <murch@murch.one>

   6a2606eb5c
8. 
   RubenSomsen commented at 4:19 pm on August 4, 2025: contributor

   ACK
9. jonatack merged this on Aug 4, 2025
10. jonatack closed this on Aug 4, 2025

    ---

Contributors
josibake jonatack murchandamus RubenSomsen

Labels
Proposed BIP modification