From: Robin Linus <robin@zerosync.org>
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: <C45891F8-2AE4-4D26-B98A-0E983935A83E@zerosync.org>
Date: Fri, 12 May 2023 14:12:03 +0200
To: bitcoin-dev@lists.linuxfoundation.org
Subject: [bitcoin-dev] ZeroSync: Introducing Validity Proofs to Bitcoin
Precedence: list


--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 =
<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

<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"word-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: after-white-space;" class=3D""><div =
class=3D"" style=3D"caret-color: rgb(0, 0, 0); color: rgb(0, 0, =
0);"><div class=3D"">Hi all,</div><div class=3D""><br =
class=3D""></div><div class=3D"">Today we are publishing&nbsp;<span =
class=3D"">a summary of</span><span class=3D"">&nbsp;our research =
on</span>&nbsp;"ZeroSync: Introducing Validity Proofs to =
Bitcoin".</div><div class=3D""><br class=3D""></div><div class=3D""><br =
class=3D""></div><div class=3D"">Here's the preface:</div></div><div =
class=3D"" style=3D"caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br =
class=3D""></div><div class=3D"" style=3D"caret-color: rgb(0, 0, 0); =
color: rgb(0, 0, 0);"><i class=3D"">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.&nbsp;</i></div><div class=3D"" style=3D"caret-color: =
rgb(0, 0, 0); color: rgb(0, 0, 0);"><i class=3D"">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.&nbsp;</i></div><div class=3D"" style=3D"caret-color: =
rgb(0, 0, 0); color: rgb(0, 0, 0);"><i class=3D"">The groundbreaking =
compression capabilities of SNARKs initiated a paradigm shift in =
cryptocurrency design, and ZeroSync is pioneering their application to =
Bitcoin.</i></div><div class=3D"" style=3D"caret-color: rgb(0, 0, 0); =
color: rgb(0, 0, 0);"><br class=3D""></div><div class=3D"" =
style=3D"caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br =
class=3D""></div><div class=3D"" style=3D"caret-color: rgb(0, 0, 0); =
color: rgb(0, 0, 0);"><div class=3D"">You can find the full paper =
here:&nbsp;<a href=3D"https://zerosync.org/zerosync.pdf" =
class=3D"">https://zerosync.org/zerosync.pdf</a></div></div><div =
class=3D"" style=3D"caret-color: rgb(0, 0, 0); color: rgb(0, 0, =
0);">Happy to receive any comments and answer any questions the bitcoin =
dev community may have about the paper!</div><div class=3D"" =
style=3D"caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><div =
class=3D""><br class=3D""></div><div class=3D""><br class=3D""></div><div =
class=3D""><br class=3D""></div><div class=3D"">Best regards,</div><div =
class=3D"">Robin Linus</div></div></body></html>=

--Apple-Mail=_ADB9CD6C-5BA7-4B76-A800-1BC87FAD6464--