Multiplication in Tapscript today: 371 bytes, no soft fork
In briefMultiplication in Tapscript: 371 bytes, no soft fork
SummaryThe author builds a multiplication routine in Tapscript under BIP-342 using only OP_ADD and shifts, with a 371-byte core that stays within 4-byte number limits for inputs up to 46,340. The post includes a Rocq proof, a Rust auditor, and regtest tests against Bitcoin Core. It asks reviewers whether the extra bit guards are worth their 96 weight-unit cost.