1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
Return-Path: <roconnor@blockstream.com>
Received: from smtp4.osuosl.org (smtp4.osuosl.org [IPv6:2605:bc80:3010::137])
by lists.linuxfoundation.org (Postfix) with ESMTP id D2A5FC000B
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 5 Mar 2022 20:10:24 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
by smtp4.osuosl.org (Postfix) with ESMTP id ADF494099A
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 5 Mar 2022 20:10:24 +0000 (UTC)
X-Virus-Scanned: amavisd-new at osuosl.org
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5
tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1,
HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: smtp4.osuosl.org (amavisd-new);
dkim=pass (2048-bit key)
header.d=blockstream-com.20210112.gappssmtp.com
Received: from smtp4.osuosl.org ([127.0.0.1])
by localhost (smtp4.osuosl.org [127.0.0.1]) (amavisd-new, port 10024)
with ESMTP id 0C5d_q5vvb1b
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 5 Mar 2022 20:10:23 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.8.0
Received: from mail-qk1-x730.google.com (mail-qk1-x730.google.com
[IPv6:2607:f8b0:4864:20::730])
by smtp4.osuosl.org (Postfix) with ESMTPS id C1EDA402AA
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 5 Mar 2022 20:10:23 +0000 (UTC)
Received: by mail-qk1-x730.google.com with SMTP id z66so9009068qke.10
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 05 Mar 2022 12:10:23 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=blockstream-com.20210112.gappssmtp.com; s=20210112;
h=mime-version:references:in-reply-to:from:date:message-id:subject:to;
bh=STYcl6l0D51kL9nEpZA2uOA8tUHiiLeV3OBL4KC+IpQ=;
b=VRBg8oAb1K8MjjvfvalmxVT1u8M1OJ/pee3YDgNR+PrddSdwDwS2Zqr12cPGlKGjNd
cY2znY6VWumT5aXd+I/jMjxZM8lo5jTsWvE9IFNlUKRlzG17p7zhK3pHIJx6HK8PSsG3
mrkVVY/OEKB8MIzuZV+PTY4/f/RFO9vp5W4fglH8clHMoN7WT9KUUg0Ryzv00bhbeip5
9le0koNSUx1DUjiEHrUJcI5SEMsozpnBz6QEQsmxNED5M7/MAhJ8D+tu6/nOfz0W7d/D
W+bXI2dZ5SpoKJ7q4+6013CHcFkUqqaQFHjay8DSLYAGFRRkYauFp7SGMkFXvy2gi2WZ
SiYQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20210112;
h=x-gm-message-state:mime-version:references:in-reply-to:from:date
:message-id:subject:to;
bh=STYcl6l0D51kL9nEpZA2uOA8tUHiiLeV3OBL4KC+IpQ=;
b=wKU6o1l51heW3R6iytdF9zvwWWTas9Jk31/ZwohdL9jRpaxmmJedRmF/aivh/+/3Ow
8zGMGh+UDITaLusm5v82segmfHhy67aR7Ssd+UewdYYnF+Ni4vEwI/jkXafUgIrdVVwa
dzGVV9lVmwoAtJK8L0u7Y97rdbv0PW+dyqV9kxso+bq/LVEWbT2uF/XfheEmqjjDS9Mg
iBm6akCRGPmPowqyPKsxpoJcP2mQqTz8p2uF1rhZn0FLz/An8035/diSFsyLu6C0muLJ
TEd0F7ZBMH7RhMbs6ON22lDgUP7VRkb6aODv+JI25o5zoj2fbWrZLS0zNgIvk8kF9LMM
EN1Q==
X-Gm-Message-State: AOAM532ZwyFiPbcGXxUTVei6FKJNRojGcIgZ8ZXk67PC2RKuOFMtqp4d
uqIhbwjgiBFKTWBuZKBM1OM3W6l7WrgeiMFnL4biBik5JPtdQw==
X-Google-Smtp-Source: ABdhPJzcRSKKPTuao7GCbx7k7bL1eDQvfMLg3K4oqHfOkziv6Da42Zc7Mts4B6lNqqaLEXql9D7j5KmaAm9Ch929DgM=
X-Received: by 2002:a37:bcf:0:b0:60d:ed93:67a1 with SMTP id
198-20020a370bcf000000b0060ded9367a1mr2806670qkl.548.1646511022367; Sat, 05
Mar 2022 12:10:22 -0800 (PST)
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
X-BeenThere: bitcoin-dev@lists.linuxfoundation.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: Bitcoin Protocol Discussion <bitcoin-dev.lists.linuxfoundation.org>
List-Unsubscribe: <https://lists.linuxfoundation.org/mailman/options/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=unsubscribe>
List-Archive: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/>
List-Post: <mailto:bitcoin-dev@lists.linuxfoundation.org>
List-Help: <mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=help>
List-Subscribe: <https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev>,
<mailto:bitcoin-dev-request@lists.linuxfoundation.org?subject=subscribe>
X-List-Received-Date: Sat, 05 Mar 2022 20:10:24 -0000
--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 <<a h=
ref=3D"mailto:bitcoin-dev@lists.linuxfoundation.org">bitcoin-dev@lists.linu=
xfoundation.org</a>> 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'd=
be interested to know what you'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--
|
