Abdel on Nostr: Let's build a Bitcoin Script VM interpreter that enable to generate ZK proof of the ...
Let's build a Bitcoin Script VM interpreter that enable to generate ZK proof of the integrity of a computation of a Bitcoin script program.
If you combine this to ZeroSync then you can prove both:
- Bitcoin block header consensus
- Execution of Bitcoin Script programs
Can be useful to improve IBD, reduce trust assumptions on bridges, build atomic swaps, etc
https://github.com/keep-starknet-strange/shinigami 
Published at
2024-07-29 08:32:31Event JSON
{
"id": "792a3d5bf0b827e09fc3eb6186f87599dfe54ddb3c4a7e2ff68eb4d504affbfb",
"pubkey": "b8f4c2e90f0dd667121533d7b8dafd77384b0b5051f8272e5493c58f7f93e14b",
"created_at": 1722241951,
"kind": 1,
"tags": [],
"content": "Let's build a Bitcoin Script VM interpreter that enable to generate ZK proof of the integrity of a computation of a Bitcoin script program.\n\nIf you combine this to ZeroSync then you can prove both:\n- Bitcoin block header consensus \n- Execution of Bitcoin Script programs\n\nCan be useful to improve IBD, reduce trust assumptions on bridges, build atomic swaps, etc\n\nhttps://github.com/keep-starknet-strange/shinigami\nhttps://m.primal.net/Jhmu.png ",
"sig": "839d9b824809aa47e14607cad0152202ff3072542d5d0ac500b020575876897dd452f0c68d5a9304920415076ba1c54fd3aa2e09884036a630a4134dc9dbe0ee"
}
