什麼是理智的 Miniscript？它與有效的 Miniscript 有何不同？

什麼是理智的Miniscript？它與有效的Miniscript 有何不同？

這是在2022 年 5 月 18 日由stickies-v 主持的 Miniscript比特幣核心公關評論俱樂部期間提出的。

有效的Miniscript 是任何正確鍵入的 Miniscript。

一個健全的Miniscript 需要有效、共識和標準兼容（例如操作數量和腳本大小），具有不可延展的解決方案，不在腳本的特定分支上混合不同的時間鎖單元並且沒有重複的密鑰。

如果 Miniscript 是 X OR Y 的形式，其中 X 包含塊檢查，Y 包含時間檢查，但 X AND Y 將是不可花費的，則 Miniscript 是正常的。eg(A signs) OR ((B signs) AND (timelock) AND (heightlock))不會被認為是理智的。即使它可以被 A 使用，它的明顯策略與實際腳本不匹配（其實際策略只是“A 標誌”，因為另一個分支不可用）

該Node::IsSane()方法具有文件字元串“此節點的明顯策略是否與其腳本語義匹配”。

感謝參與者在比特幣核心公關評論俱樂部回答這個問題。

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