abdel on Nostr: Did we prove with a STARK proof the execution of the First ever transaction from ...
Did we prove with a STARK proof the execution of the First ever transaction from Satoshi to Hal Finney ?
Yes absolutely.
In less than 2 months, we implemented the Bitcoin Script VM in Cairo. (check code:
https://github.com/keep-starknet-strange/shinigami)
Another showcase on how powerful it is to have a specialised high level DSL optimised for ZK.
Proving integrity of arbitrary computation is extremely powerful, and it can benefit widely to the Bitcoin ecosystem, and the good news: even without any soft fork!
Yes, there are use cases and things than can be improved using STARK proofs, completely offchain.
Stay tuned, it's only the start!
Published at
2024-09-06 18:54:20Event JSON
{
"id": "9c12c9dd5ad48669aaab3168f157d857a2669c02eef692d6da1262a3aa7a6e9e",
"pubkey": "b8f4c2e90f0dd667121533d7b8dafd77384b0b5051f8272e5493c58f7f93e14b",
"created_at": 1725641660,
"kind": 1,
"tags": [],
"content": "Did we prove with a STARK proof the execution of the First ever transaction from Satoshi to Hal Finney ?\nYes absolutely.\n\nIn less than 2 months, we implemented the Bitcoin Script VM in Cairo. (check code: https://github.com/keep-starknet-strange/shinigami)\n\nAnother showcase on how powerful it is to have a specialised high level DSL optimised for ZK.\n\nProving integrity of arbitrary computation is extremely powerful, and it can benefit widely to the Bitcoin ecosystem, and the good news: even without any soft fork!\n\nYes, there are use cases and things than can be improved using STARK proofs, completely offchain.\n\nStay tuned, it's only the start!\nhttps://m.primal.net/Kgze.jpg",
"sig": "22f6d1757651ba8ced1ca58ffb82d2305c8e070317dfc5a3194db0e49438c0064c69e180b6c815ecae74bee52052ce0f43cb40956fa4ea1d4307ae274c12013a"
}