Re: [bitcoin-dev] ZeroSync: Introducing Validity Proofs to Bitcoin

2023-05-12 Thread Robin Linus via bitcoin-dev
Hi Weiji, > Could you please expand more on how you plan to "implement a SNARK verifier > on Bitcoin’s base layer"? First, I should clarify that I see this as a long-term option, which will take years. If Simplicity gets activated, we could use it to implement a SNARK verifier on Bitcoin's base

Re: [bitcoin-dev] ZeroSync: Introducing Validity Proofs to Bitcoin

2023-05-12 Thread Weiji Guo via bitcoin-dev
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 inform

[bitcoin-dev] ZeroSync: Introducing Validity Proofs to Bitcoin

2023-05-12 Thread Robin Linus via bitcoin-dev
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). Ze

Re: [bitcoin-dev] [Mempool spam] Should we as developers reject non-standard Taproot transactions from full nodes?

2023-05-12 Thread Jaroslaw via bitcoin-dev
W dniu 2023-05-11 13:57:11 użytkownik Keagan McClelland via bitcoin-dev napisał: > The current fees we are experiencing are still significantly lower than they > need to be if Bitcoin is going to survive in a post-subsidy era. If our > layered protocols can't survive the current fee environme