Max Hillebrand on Nostr: Enabling zkVerifiers in Bitcoin Script requires native support for cryptographic ...
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.
Published at
2025-02-06 17:37:40Event JSON
{
"id": "458f03c396c7b6e991724b5a951ed39f9166d9c24e50774584beb8baaf8757cb",
"pubkey": "b7ed68b062de6b4a12e51fd5285c1e1e0ed0e5128cda93ab11b4150b55ed32fc",
"created_at": 1738863460,
"kind": 1,
"tags": [],
"content": "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.\n\nThis should be a priority for the next consensus upgrade IMO.",
"sig": "98b8ab811a3b6a28aa2a10f54dd6de7c5df1395bf88a9474dcc184d5969d26cee6c99dc41fecc22cb28669576b70c1563c14c5139e0a5995a7ab0f9cc322b488"
}