From 801cc71114d2c7630f0b58122efb9facb390f4f0 Mon Sep 17 00:00:00 2001
From: "nicolas.dorier" <nicolas.dorier@gmail.com>
Date: Tue, 16 Jun 2020 14:25:52 +0900
Subject: Update PSBT invariants

---
 bip-0078.mediawiki | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'bip-0078.mediawiki')

diff --git a/bip-0078.mediawiki b/bip-0078.mediawiki
index 5e2489e..e2e1f27 100644
--- a/bip-0078.mediawiki
+++ b/bip-0078.mediawiki
@@ -109,14 +109,15 @@ The original PSBT MAY:
 
 The payjoin proposal MUST:
 * Use all the inputs from the original PSBT.
-* Only finalize the inputs added by the receiver.
-* Have all the <code>witnessUTXO</code> or <code>nonWitnessUTXO</code> information filled in.
-* Keep all the outputs unrelated to the payment.
+* Use all the outputs which do not belongs to the receiver from the original PSBT.
+* Only finalize the inputs added by the receiver. (Referred later as <code>additional inputs</code>)
+* Only fill the <code>witnessUTXO</code> or <code>nonWitnessUTXO</code> for the additional inputs.
 
 The payjoin proposal MAY:
-* Add inputs.
-* Add outputs.
-* Modify payment's output.
+* Add, remove or modify the outputs belonging to the receiver.
+
+The payjoin proposal MUST NOT:
+* Shuffle the order of inputs or outputs, the additional outputs or additional inputs must be inserted at a random index.
 
 ===Receiver's well known errors===
 
-- 
cgit v1.2.3

