Re: [bitcoin-dev] Proof-of-Stake Bitcoin Sidechains

2019-02-01 Thread ZmnSCPxj via bitcoin-dev
Good morning Matt Bell, Thinking of this further, I observe that there are limits on the number of operations in a SCRIPT (I believe 201 non-push operations, and maybe a smaller number of CHECKSIG operations?). This implies that the number of signatories of the sidechain funds in the mainchain

[bitcoin-dev] Predicate Tree in ZkVM: a variant of Taproot/G'root

2019-02-01 Thread Oleg Andreev via bitcoin-dev
Hi, We've been working for a thing called ZkVM [1] for the last few weeks. It is a "blockchain virtual machine" in the spirit of Bitcoin, with multi-asset transfers and zero-knowledge programmable constraints. As a part of its design, there is a "Predicate Tree" — a variant of Taproot by Greg

Re: [bitcoin-dev] Safer NOINPUT with output tagging

2019-02-01 Thread ZmnSCPxj via bitcoin-dev
Good morning aj, I certainly agree. I hope that PSBT support becomes much, much, much more widespread. Regards, ZmnSCPxj Sent with ProtonMail Secure Email. ‐‐‐ Original Message ‐‐‐ On Thursday, January 31, 2019 2:04 PM, Anthony Towns wrote: > On Mon, Dec 24, 2018 at 11:47:38AM +

Re: [bitcoin-dev] Predicate Tree in ZkVM: a variant of Taproot/G'root

2019-02-01 Thread Oleg Andreev via bitcoin-dev
A follow-up comment: I've have sent this email right before Pieter's talk on miniscript at Stanford yesterday. I want to express my appreciation to the thinking about scripts/contracts that Pieter, Andy, Greg have been promoting for long time. These ideas influenced a lot the design decisions in