MIME-Version: 1.0
References: <20220304010442.GC3869@erisian.com.au>
 <0yCTRKhBa9IPPg5J4HfKxraWJ4w6gUS5LRAoCPk01NpbYk-9R5zxAOmJO1Z8voUiatUJugYB6Oa9t1wFLbhQSgDie8hBzr0Z1EJVm6XGvMI=@protonmail.com>
 <CAD5xwhiZx+dp46Gn23tQRKc5PgJHmaJ_HC-38VB5WdJjWVVc4g@mail.gmail.com>
 <CAD5xwhh4G4p6cvWSCwoOUkS-atQyEdkP+J+Y4Sj29oncVM8KHg@mail.gmail.com>
In-Reply-To: <CAD5xwhh4G4p6cvWSCwoOUkS-atQyEdkP+J+Y4Sj29oncVM8KHg@mail.gmail.com>
From: "Russell O'Connor" <roconnor@blockstream.com>
Date: Sat, 5 Mar 2022 15:10:11 -0500
Message-ID: <CAMZUoKkjJrZuktNujt66YU=drm9GhsAgpg7A6CbrP+vOdjKO7A@mail.gmail.com>
To: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Content-Type: multipart/alternative; boundary="0000000000009b79da05d97e38a6"
Subject: Re: [bitcoin-dev] bitcoin scripting and lisp
Precedence: list

--0000000000009b79da05d97e38a6
Content-Type: text/plain; charset="UTF-8"

On Sat, Mar 5, 2022 at 8:41 AM Jeremy Rubin via bitcoin-dev <
bitcoin-dev@lists.linuxfoundation.org> wrote:

> It seems like a decent concept for exploration.
>
> AJ, I'd be interested to know what you've been able to build with Chia
> Lisp and what your experience has been... e.g. what does the Lightning
> Network look like on Chia?
>
>
> One question that I have had is that it seems like to me that neither
> simplicity nor chia lisp would be particularly suited to a ZK prover...
>

Not that I necessarily disagree with this statement, but I can say that I
have experimented with compiling Simplicity to Boolean circuits.  It was a
while ago, but I think the result of compiling my SHA256 program was within
an order of magnitude of the hand made SHA256 circuit for bulletproofs.

--0000000000009b79da05d97e38a6
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail=
_attr">On Sat, Mar 5, 2022 at 8:41 AM Jeremy Rubin via bitcoin-dev &lt;<a h=
ref=3D"mailto:bitcoin-dev@lists.linuxfoundation.org">bitcoin-dev@lists.linu=
xfoundation.org</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" s=
tyle=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);pad=
ding-left:1ex"><div dir=3D"ltr"><div dir=3D"ltr"><div style=3D"font-family:=
arial,helvetica,sans-serif;font-size:small;color:rgb(0,0,0)"><div>It seems =
like a decent concept for exploration.</div><div><br></div><div>AJ, I&#39;d=
 be interested to know what you&#39;ve been able to build with Chia Lisp an=
d what your experience has been... e.g. what does the Lightning Network loo=
k like on Chia?</div><div><br></div><div><br></div><div>One question that I=
 have had is that it seems like to me that neither simplicity nor chia lisp=
 would be particularly suited to a ZK prover...</div></div></div></div></bl=
ockquote><div><br></div><div>Not that I necessarily disagree with this stat=
ement, but I can say that I have experimented with compiling Simplicity to =
Boolean circuits.=C2=A0 It was a while ago, but I think the result of compi=
ling my SHA256 program was within an order of magnitude of the hand made SH=
A256 circuit for bulletproofs.<br></div></div></div>

--0000000000009b79da05d97e38a6--