What about M31 arithmetic opcodes for efficient STARK verification on Bitcoin ?
Idea: OP_M31ADD, OP_M31SUB, OP_M31MUL, OP_M31INV operating over the M31 Mersenne prime field.
OP_CAT too generic ? OP_STARK_VERIFY too narrow ? This is something in between.
https://hackmd.io/@abdelhamid/m31-opcodes-bitcoin-stark
#bitcoin #starks #zkp
Abdel / A₿del ∞/21M
npub1hr…w2e29
2025-03-04 12:10:10
Author Public Key
npub1hr6v96g0phtxwys4x0tm3khawuuykz6s28uzwtj5j0zc7lunu99snw2e29Published at
2025-03-04 12:10:10Event JSON
{
"id": "f2a8237cf28c606f33c59a4bbb14e228aa9d58775d47e58c5cc38e437da2ac04",
"pubkey": "b8f4c2e90f0dd667121533d7b8dafd77384b0b5051f8272e5493c58f7f93e14b",
"created_at": 1741090210,
"kind": 1,
"tags": [
[
"t",
"#bitcoin"
],
[
"t",
"#starks"
],
[
"t",
"#zkp"
]
],
"content": "What about M31 arithmetic opcodes for efficient STARK verification on Bitcoin ?\nIdea: OP_M31ADD, OP_M31SUB, OP_M31MUL, OP_M31INV operating over the M31 Mersenne prime field.\nOP_CAT too generic ? OP_STARK_VERIFY too narrow ? This is something in between.\n\nhttps://hackmd.io/@abdelhamid/m31-opcodes-bitcoin-stark\n\n#bitcoin #starks #zkp",
"sig": "2c4d9788ddb5107f0808a3e8cda359074f11e9a1b6c2504738d651290c8ac8e3bf0ec6f74808e5f1541a18f8128292c1bd74d0d20261d4f4b9d246152d4ce193"
}