Return-Path: Received: from smtp2.osuosl.org (smtp2.osuosl.org [140.211.166.133]) by lists.linuxfoundation.org (Postfix) with ESMTP id 899E1C0032 for ; Mon, 9 Oct 2023 14:04:55 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by smtp2.osuosl.org (Postfix) with ESMTP id 5EB2441521 for ; Mon, 9 Oct 2023 14:04:55 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.11.0 smtp2.osuosl.org 5EB2441521 X-Virus-Scanned: amavisd-new at osuosl.org X-Spam-Flag: NO X-Spam-Score: -0.001 X-Spam-Level: X-Spam-Status: No, score=-0.001 tagged_above=-999 required=5 tests=[BAYES_40=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no Received: from smtp2.osuosl.org ([127.0.0.1]) by localhost (smtp2.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 5y7qu8_Q1ihT for ; Mon, 9 Oct 2023 14:04:54 +0000 (UTC) X-Greylist: delayed 1106 seconds by postgrey-1.37 at util1.osuosl.org; Mon, 09 Oct 2023 14:04:54 UTC DKIM-Filter: OpenDKIM Filter v2.11.0 smtp2.osuosl.org 09B4D41478 Received: from www382.your-server.de (www382.your-server.de [78.46.146.228]) by smtp2.osuosl.org (Postfix) with ESMTPS id 09B4D41478 for ; Mon, 9 Oct 2023 14:04:53 +0000 (UTC) Received: from sslproxy06.your-server.de ([78.46.172.3]) by www382.your-server.de with esmtpsa (TLS1.3) tls TLS_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1qpqaX-000HPd-Fa for bitcoin-dev@lists.linuxfoundation.org; Mon, 09 Oct 2023 15:46:25 +0200 Received: from [2001:9e8:8a56:a200:4dce:fcb5:a987:a853] (helo=smtpclient.apple) by sslproxy06.your-server.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1qpqaX-000Ccw-9Q for bitcoin-dev@lists.linuxfoundation.org; Mon, 09 Oct 2023 15:46:25 +0200 From: Robin Linus Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.13\)) Message-Id: Date: Mon, 9 Oct 2023 15:46:24 +0200 To: bitcoin-dev@lists.linuxfoundation.org X-Mailer: Apple Mail (2.3654.120.0.1.13) X-Authenticated-Sender: robin@zerosync.org X-Virus-Scanned: Clear (ClamAV 0.103.10/27056/Mon Oct 9 09:40:11 2023) X-Mailman-Approved-At: Mon, 09 Oct 2023 14:05:30 +0000 Subject: [bitcoin-dev] BitVM: Compute Anything on Bitcoin X-BeenThere: bitcoin-dev@lists.linuxfoundation.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: Bitcoin Protocol Discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 09 Oct 2023 14:04:55 -0000 Abstract. BitVM is a computing paradigm to express Turing-complete = Bitcoin contracts. This requires no changes to the network=E2=80=99s = consensus rules. Rather than executing computations on Bitcoin, they are = merely verified, similarly to optimistic rollups. A prover makes a claim = that a given function evaluates for some particular inputs to some = specific output. If that claim is false, then the verifier can perform a = succinct fraud proof and punish the prover. Using this mechanism, any = computable function can be verified on Bitcoin. Committing to a large = program in a Taproot address requires significant amounts of off-chain = computation and communication, however the resulting on-chain footprint = is minimal. As long as both parties collaborate, they can perform = arbitrarily complex, stateful off-chain computation, without leaving any = trace in the chain. On-chain execution is required only in case of a = dispute. https://bitvm.org/bitvm.pdf=