Multiplication in Tapscript today: 371 bytes, no soft fork
説明Tapscript での乗算：371 バイト、ソフトフォークなし
要約著者は BIP-342 の下で OP_ADD とシフト演算だけを使い、長さ 371 バイトの乗算スクリプトを作成しました。入力は 0 から 46,340 の範囲に制限され、4 バイトの数値制約を満たします。形式証明、Rust 製の監査ツール、regtest でのテストも公開されており、位ガードを外すべきかなどの質問が投げかけられています。