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