> For the complete documentation index, see [llms.txt](https://www.bitvm.club/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://www.bitvm.club/devlopment/tutorial/stark-proof-for-bitvm-circuit-execution.md).

# STARK proof for BitVM circuit execution

> original: <https://github.com/neocarmack/STARK/blob/main/STARK%20proof%20for%20BitVM%20circuit%20execution.pdf>

{% file src="/files/qyDhfIzOGN0Edw5U8NTI" %}