Replying to Avatar Max

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.
7e
Adrien Lacombe 11mo ago

or just CAT and you get https://github.com/Bitcoin-Wildlife-Sanctuary/bitcoin-circle-stark

Reply to this note

Please Login to reply.

Discussion

Avatar
Max 11mo ago

That's great, but still not as blockspace efficient as it could get.

7e
Adrien Lacombe 11mo ago

there is always room for improvements but we believe this is unlocking already a lot of building blocks for trustless validity rollups that would both scale and add expressivity to Bitcoin