Return-Path: Received: from smtp4.osuosl.org (smtp4.osuosl.org [140.211.166.137]) by lists.linuxfoundation.org (Postfix) with ESMTP id 0F505C002A for ; Fri, 12 May 2023 12:12:08 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by smtp4.osuosl.org (Postfix) with ESMTP id DC73242ADA for ; Fri, 12 May 2023 12:12:07 +0000 (UTC) DKIM-Filter: OpenDKIM Filter v2.11.0 smtp4.osuosl.org DC73242ADA X-Virus-Scanned: amavisd-new at osuosl.org X-Spam-Flag: NO X-Spam-Score: -1.899 X-Spam-Level: X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HTML_MESSAGE=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no Received: from smtp4.osuosl.org ([127.0.0.1]) by localhost (smtp4.osuosl.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id oLjRMmgtOQDe for ; Fri, 12 May 2023 12:12:06 +0000 (UTC) X-Greylist: from auto-whitelisted by SQLgrey-1.8.0 DKIM-Filter: OpenDKIM Filter v2.11.0 smtp4.osuosl.org 5DEA542ABF Received: from www382.your-server.de (www382.your-server.de [78.46.146.228]) by smtp4.osuosl.org (Postfix) with ESMTPS id 5DEA542ABF for ; Fri, 12 May 2023 12:12:06 +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 1pxRcy-000OaR-JC for bitcoin-dev@lists.linuxfoundation.org; Fri, 12 May 2023 14:12:04 +0200 Received: from [2001:9e8:8a6a:ff00:8475:18df:e121:ab2e] (helo=smtpclient.apple) by sslproxy06.your-server.de with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92) (envelope-from ) id 1pxRcy-000NBz-0U for bitcoin-dev@lists.linuxfoundation.org; Fri, 12 May 2023 14:12:04 +0200 From: Robin Linus Content-Type: multipart/alternative; boundary="Apple-Mail=_ADB9CD6C-5BA7-4B76-A800-1BC87FAD6464" Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.13\)) Message-Id: Date: Fri, 12 May 2023 14:12:03 +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.8/26904/Fri May 12 09:24:30 2023) X-Mailman-Approved-At: Fri, 12 May 2023 13:15:12 +0000 Subject: [bitcoin-dev] ZeroSync: Introducing Validity Proofs to 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: Fri, 12 May 2023 12:12:08 -0000 --Apple-Mail=_ADB9CD6C-5BA7-4B76-A800-1BC87FAD6464 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hi all, Today we are publishing a summary of our research on "ZeroSync: = Introducing Validity Proofs to Bitcoin". Here's the preface: We introduce ZeroSync, the first-ever proof system addressing = Bitcoin=E2=80=99s scalability challenges with Succinct Non-Interactive = Argument of Knowledge (SNARKs). ZeroSync compresses the entire Bitcoin = blockchain into a compact proof of validity, enabling instant = verification and unlocking various innovative applications. We discuss = our prototype implementation of a chain state proof, utilizing the Cairo = language, Utreexo, and recursive STARKs. Our work enables diverse = applications, including quick bootstrapping of full nodes, trustless = light clients, enhanced Lightning Network privacy, and secure = cross-chain bridges. Chain state proofs require no consensus changes, = which is crucial as forks in Bitcoin are challenging to implement and = achieve consensus for. Despite the existing bottleneck of prover = performance, we present a range of optimization strategies and = demonstrate the practicality of generating a complete chain state proof.=20= Finally, we introduce zkCoins, a client-side validation protocol = combined with zeroknowledge SNARKs, drastically improving privacy and = throughput of token transactions. In combination with future Bitcoin = features, such as Simplicity, zkCoins also enables private and more = scalable BTC transactions.=20 The groundbreaking compression capabilities of SNARKs initiated a = paradigm shift in cryptocurrency design, and ZeroSync is pioneering = their application to Bitcoin. You can find the full paper here: https://zerosync.org/zerosync.pdf = Happy to receive any comments and answer any questions the bitcoin dev = community may have about the paper! Best regards, Robin Linus= --Apple-Mail=_ADB9CD6C-5BA7-4B76-A800-1BC87FAD6464 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
Hi all,

Today we are publishing a summary of our research = on "ZeroSync: Introducing Validity Proofs to = Bitcoin".


Here's the preface:

We introduce ZeroSync, the = first-ever proof system addressing Bitcoin=E2=80=99s scalability = challenges with Succinct Non-Interactive Argument of Knowledge (SNARKs). = ZeroSync compresses the entire Bitcoin blockchain into a compact proof = of validity, enabling instant verification and unlocking various = innovative applications. We discuss our prototype implementation of a = chain state proof, utilizing the Cairo language, Utreexo, and recursive = STARKs. Our work enables diverse applications, including quick = bootstrapping of full nodes, trustless light clients, enhanced Lightning = Network privacy, and secure cross-chain bridges. Chain state proofs = require no consensus changes, which is crucial as forks in Bitcoin are = challenging to implement and achieve consensus for. Despite the existing = bottleneck of prover performance, we present a range of optimization = strategies and demonstrate the practicality of generating a complete = chain state proof. 
Finally, we introduce = zkCoins, a client-side validation protocol combined with zeroknowledge = SNARKs, drastically improving privacy and throughput of token = transactions. In combination with future Bitcoin features, such as = Simplicity, zkCoins also enables private and more scalable BTC = transactions. 
The groundbreaking = compression capabilities of SNARKs initiated a paradigm shift in = cryptocurrency design, and ZeroSync is pioneering their application to = Bitcoin.


You can find the full paper = here: https://zerosync.org/zerosync.pdf
Happy to receive any comments and answer any questions the bitcoin = dev community may have about the paper!



Best regards,
Robin Linus
= --Apple-Mail=_ADB9CD6C-5BA7-4B76-A800-1BC87FAD6464--