Multiplication in Tapscript today: 371 bytes, no soft fork
说明Tapscript 中的乘法：371 字节、无需软分叉
简介作者在 BIP-342 下使用 OP_ADD 与移位运算构造了一个乘法电路，核心脚本长 371 字节，输入范围限定在 0 到 46,340 之间，以满足 4 字节数值的约束。作者同时给出 Rocq 形式化证明、Rust 审计工具与 regtest 测试，并提出关于是否去掉位保护的几个问题供讨论。
本页没有符合条件的条目（筛选只在本页内进行）。