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