BitVM Club
WhitepaperBTC Layer2BitVMBTC 2024 EventMedia
  • Introduction
  • BitVM
    • BitVM Whitepaper PDF
    • BitVM Whitepaper Word
    • BitVM Introduction
    • BitVM-FAQ
  • Resources
    • BitVM And Its Optimization Considerations
    • PPT
      • BitVM Slides by Cartesi,Bringing ZK verifiers to Bitcoin using BitVM - ?
      • How BitVM works?
      • BitVM : Off-chain Bitcoin Contracts
    • Primer
      • What is BitVM? And why does it matter to rollups?
      • BitVM: Ushering in a New Era of Bitcoin Computations
      • BitVM: A Computational Revolution in Bitcoin
      • Is BitVM the Next Evolution for Smart Contracts on Bitcoin?
      • What is BitVM? A Beginner’s Guide to Turing-Complete Bitcoin Smart Contracts
      • Simple explanation of BitVM
      • BitVM Primer
      • Things BitVM needs
      • BitVM explained in 4 slides
      • THE BIG DEAL WITH BITVM: ARBITRARY COMPUTATION NOW POSSIBLE ON BITCOIN WITHOUT A FORK
      • Deep dive into BitVM -Computing paradigm to express Turing-complete Bitcoin contracts-
    • Youtube
      • Robin Linus on BitVM
      • What is BitVM? with Robin Linus and Super Testnet (SLP520)
      • Ark Whiteboard Masterclass with Burak & Robin
      • BitVM Intro: Create Logic Gates and Circuits in Python
      • Demo of Robin Linus's implementation of BitVM
      • BitVM 8 bit CPU: Write Bitcoin programs in Assembly
      • BitVM 8 bit CPU: Assembly Quirks
      • BitVM 8 bit CPU: Write Bitcoin programs in Assembly
      • How bitvm works: from logic gates to an 8bit cpu for bitcoin
      • S15 E13: Robin Linus on BitVM & Permissionless Bitcoin Development
      • BitVM: Uma Ferramenta Para Contratos Ainda Mais Inteligentes - Super Testnet - Satsconf 2023
      • BTC生态浏览超70万次的BitVM到底是什么？ ｜ 11月8日更新了什么？
      • BitVM 在比特币上实现智能合约
      • Bitcoin Smart Contracts and BitVM
    • Twitter
      • BitVM and MATT
      • Script, Taproot and BitVM
  • Devlopment
    • Libraries
    • Tutorial
      • STARK proof for BitVM circuit execution
      • BitVM and sCrypt
      • BitVM Rust Implementation
  • BTC Layer2
    • Exploring the Landing Paths for Bitcoin Layer 2 Ecosystem
  • BitVM Project
    • Overview
    • Bitlayer
      • Introduction
      • Technical Introduction
    • Citrea
      • Technical Introduction
      • Introducing Citrea: Bitcoin’s First ZK Rollup
    • ZKBase
      • ZKByte: A Trustless Bitcoin Layer2 Scaling Solution based on Zero Knowledge and BitVM
    • Bitstake
      • Introducing Bitstake: A proof of stake bridge based on BitVM
  • BitVM Weekly Report
    • 2025.3.10 - 2025.3.16
    • 2025.3.3 - 2025.3.9
    • 2025.2.24 - 2025.3.2
    • 2025.2.17 - 2025.2.23
    • 2025.2.10 - 2025.16
    • 2025.1.20 - 2025.2.2
    • 2025.1.13 - 2025.1.19
    • 2025.1.6 - 2025.1.12
    • 2024.12.30 - 2025.1.5
    • 2024.12.23 - 2024.12.29
    • 2024.12.16 - 2024.12.22
    • 2024.12.9- 2024.12.15
    • 2024.12.2- 2024.12.8
    • 2024.11.25 - 2024.12.1
    • 2024.11.18 - 2024.11.24
    • 2024.11.11 - 2024.11.17
    • 2024.11.4 - 2024.11.10
    • 2024.10.28 - 2024.11.3
    • 2024.10.21 - 2024.10.27
    • 2024.10.14 - 2024.10.20
    • 2024.10.7 - 2024.10.13
    • 2024.9.23 - 2024.10.6
    • 2024.9.16 - 2024.9.22
    • 2024.9.9 - 2024.9.15
    • 2024.9.2 - 2024.9.8
    • 2024.8.26 - 2024.9.1
    • 2024.8.19 - 2024.8.25
    • 2024.8.13 - 2024.8.19
    • 2024.8.5 - 2024.8.11
    • 2024.7.22 - 2024.7.28
    • 2024.7.15 - 2024.7.21
    • 2024.7.8 - 2024.7.14
    • 2024.7.1 - 2024.7.7
    • 2024.6.24 - 2024.6.30
    • 2024.6.10 - 2024.6.16
    • 2024.6.3 - 2024.6.9
    • 2024.5.27 - 2024.6.2
    • 2024.5.20 - 2024.5.26
    • 2024.5.13 - 2024.5.19
    • 2024.5.6 - 2024.5.12
    • 2024.3.18 - 2024.3.24
    • 2024.3.11 - 2024.3.17
    • 2024.3.4 - 2024.3.10
    • 2024.2.26 - 2024.3.3
  • BTC Layer2 Weekly Report
    • BTC Layer2 Projects Overview
    • 2024.3.11 - 2024.3.17
    • 2024.3.4 - 2024.3.10
    • 2024.2.26–2024.3.3
  • BTC 2024 Conferences
    • Bitcoin Renaissance 2024 Segmented By Keynotes & Panel
Powered by GitBook
On this page

Was this helpful?

  1. Devlopment
  2. Tutorial

STARK proof for BitVM circuit execution

PreviousTutorialNextBitVM and sCrypt

Last updated 1 year ago

Was this helpful?

original:

https://github.com/neocarmack/STARK/blob/main/STARK%20proof%20for%20BitVM%20circuit%20execution.pdf
236KB
STARK proof for BitVM circuit execution.pdf
pdf