Hello Robin,
I'm very interested in this development, as I've been longing for arbitrary
smart contracts on bitcoin for a while. I've got a couple questions I'd like to
ask, on behalf of myself and some others I've been discussing this with.
1. Do you have plans to implement a high-level langua
Hi Robin,
Fascinating result.
Is it possible to give us an example of a protocol that uses BitVM that
couldn't otherwise be built? I'm guessing it's possible to exchange Bitcoin
to someone who can prove they know some input to a binary circuit that
gives some output.
Thanks!
LL
On Tue, 10 Oct 2
On Mon, Oct 09, 2023 at 03:46:24PM +0200, Robin Linus via bitcoin-dev wrote:
> Abstract. BitVM is a computing paradigm to express Turing-complete
> Bitcoin contracts.
Please correct me if I'm wrong:
The way I understand this idea is that you take an N-bit claim (in the
given example N=4), and pro
Abstract. BitVM is a computing paradigm to express Turing-complete Bitcoin
contracts. This requires no changes to the network’s consensus rules. Rather
than executing computations on Bitcoin, they are merely verified, similarly to
optimistic rollups. A prover makes a claim that a given function
