Miniscript or_i, d: - 他們總是暗示見證人輸入嗎？

問題：以下對這些片段行為的描述是否正確？

or_i片段和包裝器在它們的腳本中d:都有一個IF不從參數中獲取值，而是從某個外部源獲取值。這個外部源不能是另一個 miniscript 片段的結果，因為片段是作為嵌套表達式組成的，而不是作為一系列動作。這意味著IFinor_i的輸入d:必須來自在花費時間指定的見證（由於 應該是 1 或 0 MINIMALIF）。

編輯：j:從問題和描述中刪除了包裝器，因為它不從外部源獲取值，它只是檢查 X 消耗的數據的大小

正確的。Miniscript 滿足器需要為這些片段提供見證中的 0/1。

為了給出不止一個單詞的答案，我們在分析中假設 MINIMALIF（用於大小/費用估計）。我們最初的設計使用 opcodes 在腳本中強制執行它SIZE EQUALVERIFY，但我們放棄了它，因為我們的設計假定到處都是標準的。（如果我們不假設標準性，我們將添加許多非常昂貴的檢查來避免延展性……例如檢查簽名是否有效或空在腳本中是相當昂貴的）。

引用自：https://bitcoin.stackexchange.com/questions/100073