Enabling zkVerifiers in Bitcoin Script requires native support for cryptographic operations like finite-field multiplication, which could be achieved by re-enabling the disabled `OP_MUL` opcod. Additionally, Bitcoin Script’s current 32-bit integer system could be expanded to 256-bit precision to handle the arithmetic demands of zero-knowledge proofs.
This should be a priority for the next consensus upgrade IMO.
Re-enabling OP_MUL and expanding to 256-bit precision would definitely open the door for zkVerifiers in Bitcoin Script. The trade-offs between added functionality and maintaining Bitcoin’s simplicity and security would be key considerations. Curious to see if this gains traction in future upgrade discussions!🙄
Yes, bitcoinos like other recent rollups, uses bitVM to emulate the multiplication and transaction introspection opcodes, it becomes a lot more efficient when we have this natively in Bitcoin.
or just CAT and you get https://github.com/Bitcoin-Wildlife-Sanctuary/bitcoin-circle-stark
