đź“… Original date posted:2023-05-12
🗒️ Summary of this message: Weiji asks Robin about implementing a SNARK verifier on Bitcoin's base layer, while Robin introduces ZeroSync, a proof system addressing Bitcoin's scalability challenges with SNARKs.
đź“ť Original message:Hi Robin,
Could you please expand more on how you plan to "implement a SNARK verifier
on Bitcoin’s base layer"?
For your information, I happen to be the one proposing a new opcode OP_ZKP
to enable the Bitcoin network to verify zkp proofs. My proposal requires a
soft fork. You may find more information from the email archive here:
https://www.mail-archive.com/bitcoin-dev@lists.linuxfoundation.org/msg12601.html
We might be tackling similar issues and probably could benefit from each
other.
Thanks,
Weiji
On Fri, May 12, 2023 at 9:16 PM Robin Linus via bitcoin-dev <
bitcoin-dev at lists.linuxfoundation.org> wrote:
> 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’s
> 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
> _______________________________________________
> bitcoin-dev mailing list
> bitcoin-dev at lists.linuxfoundation.org
> https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20230512/108d3ca1/attachment.html>;
Weiji Guo [ARCHIVE] /
npub1ad…3jwsm
2023-06-07 23:21:48
in reply to nevent1q…nu5l
Author Public Key
npub1adg6ahtzmcat8uds2yer787cyywssa6zjh730t94gd9hz5jmh47qf3jwsmSeen on
wss://relay.nostr.bandPublished at
2023-06-07 23:21:48Event JSON
{
"id": "c33305f5082c52a3afbdf7662b80e71971138a71612f773e0637863d628861cb",
"pubkey": "eb51aedd62de3ab3f1b051323f1fd8211d08774295fd17acb5434b71525bbd7c",
"created_at": 1686180108,
"kind": 1,
"tags": [
[
"e",
"66767e626cf963389e4efc5441f57203ea359ba5b368f041b2e20961c2150d05",
"",
"root"
],
[
"e",
"ed4fe67fbd984af575d75a3776357db0a81cb05b7128e727df7ad414a9c4103c",
"",
"reply"
],
[
"p",
"557c7131ed30928c84932ee2c3b3e784e8421d97304dcd875f9a5c7a8e1f1bdc"
]
],
"content": "📅 Original date posted:2023-05-12\n🗒️ Summary of this message: Weiji asks Robin about implementing a SNARK verifier on Bitcoin's base layer, while Robin introduces ZeroSync, a proof system addressing Bitcoin's scalability challenges with SNARKs.\n📝 Original message:Hi Robin,\n\nCould you please expand more on how you plan to \"implement a SNARK verifier\non Bitcoin’s base layer\"?\n\nFor your information, I happen to be the one proposing a new opcode OP_ZKP\nto enable the Bitcoin network to verify zkp proofs. My proposal requires a\nsoft fork. You may find more information from the email archive here:\nhttps://www.mail-archive.com/bitcoin-dev@lists.linuxfoundation.org/msg12601.html\n\nWe might be tackling similar issues and probably could benefit from each\nother.\n\nThanks,\nWeiji\n\nOn Fri, May 12, 2023 at 9:16 PM Robin Linus via bitcoin-dev \u003c\nbitcoin-dev at lists.linuxfoundation.org\u003e wrote:\n\n\u003e Hi all,\n\u003e\n\u003e Today we are publishing a summary of our research on \"ZeroSync:\n\u003e Introducing Validity Proofs to Bitcoin\".\n\u003e\n\u003e\n\u003e Here's the preface:\n\u003e\n\u003e *We introduce ZeroSync, the first-ever proof system addressing Bitcoin’s\n\u003e scalability challenges with Succinct Non-Interactive Argument of Knowledge\n\u003e (SNARKs). ZeroSync compresses the entire Bitcoin blockchain into a compact\n\u003e proof of validity, enabling instant verification and unlocking various\n\u003e innovative applications. We discuss our prototype implementation of a chain\n\u003e state proof, utilizing the Cairo language, Utreexo, and recursive STARKs.\n\u003e Our work enables diverse applications, including quick bootstrapping of\n\u003e full nodes, trustless light clients, enhanced Lightning Network privacy,\n\u003e and secure cross-chain bridges. Chain state proofs require no consensus\n\u003e changes, which is crucial as forks in Bitcoin are challenging to implement\n\u003e and achieve consensus for. Despite the existing bottleneck of prover\n\u003e performance, we present a range of optimization strategies and demonstrate\n\u003e the practicality of generating a complete chain state proof. *\n\u003e *Finally, we introduce zkCoins, a client-side validation protocol combined\n\u003e with zeroknowledge SNARKs, drastically improving privacy and throughput of\n\u003e token transactions. In combination with future Bitcoin features, such as\n\u003e Simplicity, zkCoins also enables private and more scalable BTC\n\u003e transactions. *\n\u003e *The groundbreaking compression capabilities of SNARKs initiated a\n\u003e paradigm shift in cryptocurrency design, and ZeroSync is pioneering their\n\u003e application to Bitcoin.*\n\u003e\n\u003e\n\u003e You can find the full paper here: https://zerosync.org/zerosync.pdf\n\u003e Happy to receive any comments and answer any questions the bitcoin dev\n\u003e community may have about the paper!\n\u003e\n\u003e\n\u003e\n\u003e Best regards,\n\u003e Robin Linus\n\u003e _______________________________________________\n\u003e bitcoin-dev mailing list\n\u003e bitcoin-dev at lists.linuxfoundation.org\n\u003e https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev\n\u003e\n-------------- next part --------------\nAn HTML attachment was scrubbed...\nURL: \u003chttp://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20230512/108d3ca1/attachment.html\u003e",
"sig": "f412bade0e91ffe68e74f737253c67d0f119c74e25c501de41ce9292348bbc3c2a9425d9b805845508017cd2e531fb68654c13aac503fd05c7b425667134dd7b"
}