# STARK proof for BitVM circuit execution

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

{% file src="<https://3108104246-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FPnERj3Xhhe12rsTnDkRv%2Fuploads%2FydO6Ibo7UArYjFXJem6W%2FSTARK%20proof%20for%20BitVM%20circuit%20execution.pdf?alt=media&token=4be49d00-8145-4949-9fab-e50caf9d25ab>" %}