Bitcoin Script VM in Cairo
shinigami is a library for generic Bitcoin Script execution in Cairo, enabling the generation of STARK proofs for Bitcoin Script computation and Bitcoin transaction execution.
Key features :
- Bitcoin Script interpretation and execution
- Transaction execution and proving
- Frontend Script IDE with STARK prover integration
- Easily configurable VM ( enable different opcodes )
- In cairo, Bitcoin Script compiler
scarb build
./scripts/run_bitcoin_transaction.sh <tx-id>scarb build
./scripts/run_bitcoin_transaction.sh f4184fc596403b9d638783cf57adfe4c75c605f6356fbc91338530e9831e9e16./scripts/run_script.sh <quoted-script>./scripts/run_script.sh "OP_1 OP_2 OP_ADD OP_3 OP_EQUAL"Check out this file to see other types of commands you can use with Shinigami!
scarb buildThis will compile all the components.
scarb testThis will run the test-suite for all opcodes, integration, and testing Scripts.
The following are required to use / run shinigami :
- How To Contribute
- Shinigami Supported Opcodes
- Shinigami Telegram
- Shinigami OnlyDust
- Bitcoin Script Wiki
Special thanks for these projects.
- btcd : Bitcoin full node implementation written in Go, which heavily inspired the design of the Bitcoin Script engine in Shinigami. The amazing documentation and comments in btcd have been a gold mine and are appreciated.
Also, thanks goes to these wonderful people. Follow the contributors guide if you'd like to take part.
