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
|
Return-Path: <jeremy.l.rubin@gmail.com>
Received: from smtp4.osuosl.org (smtp4.osuosl.org [IPv6:2605:bc80:3010::137])
by lists.linuxfoundation.org (Postfix) with ESMTP id 18853C0012
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 5 Mar 2022 13:41:41 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
by smtp4.osuosl.org (Postfix) with ESMTP id E385540919
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 5 Mar 2022 13:41:40 +0000 (UTC)
X-Virus-Scanned: amavisd-new at osuosl.org
X-Spam-Flag: NO
X-Spam-Score: -2.098
X-Spam-Level:
X-Spam-Status: No, score=-2.098 tagged_above=-999 required=5
tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1,
DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
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=gmail.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 4odQDEcFnFHL
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 5 Mar 2022 13:41:38 +0000 (UTC)
X-Greylist: whitelisted by SQLgrey-1.8.0
Received: from mail-lf1-x135.google.com (mail-lf1-x135.google.com
[IPv6:2a00:1450:4864:20::135])
by smtp4.osuosl.org (Postfix) with ESMTPS id CC8BF40918
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 5 Mar 2022 13:41:37 +0000 (UTC)
Received: by mail-lf1-x135.google.com with SMTP id z11so3414334lfh.13
for <bitcoin-dev@lists.linuxfoundation.org>;
Sat, 05 Mar 2022 05:41:37 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
h=mime-version:references:in-reply-to:from:date:message-id:subject:to;
bh=RVGIFgHFprZyhNDDjIQNLehNheHmeF5ph57NNCjVJiE=;
b=cS3CFAYGEW4nfw4oMV8Q07Ckai5tYC3vgvKYfvwwqRc5X+fFnmUvmO/v0ThJVC4pju
tHRKIoQx2UORtMoukoWhSgn15TEO6EqMQdk76d+V+n0935wE2aoYGmY5olQHmPxCnBsC
y7lu9LMS5CIwCdDoPMYakS/gGcVR7qoxnhdqa/8qXtLZBaRHuLakLNh8iAt6psW9I8MV
KMtN02FRBis34NbS43d5rSz+1oxFbYAf2KNrrQIrKedjT8amdmJS7HTCXdTZQiN7zOoO
8ow0mD0Sde+It4FJqiYooQv60tKPib0AU8zJUVbZ2UYscmTa77cWuOjhj3FIILoXDYzo
0FPw==
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=RVGIFgHFprZyhNDDjIQNLehNheHmeF5ph57NNCjVJiE=;
b=LSuq0z0LsAIOufiW6C049q32oSDD83tAAm4wjKlpRd/lJxY9FGhM3RAJhA3WKniLKm
iZgRQZWXF/MWRbjoR6/pXjeCrELWw5YLlI3LW0RbiaeBk2JJNI5UR9/dLlsxRQ5M99xq
hi96g8ZIRParN1xR4sVWPTlv3zIc5L1ei5iY9KIVoYIDQs1JwtZU+akBx23EBT/TvMQb
PWGMu0D6hpAsMHwPsLyMWWVK/sE1cv8PAFBiSlLUyEtq48wTJxlM+EubVLEyY8YAeFC7
wn3vzZWRbYIW+W6RjDLvTFEJ3HT/uZ827ju2Z98ke0cufgtdE2Hm8QWSLYviGWD3jloj
pWtg==
X-Gm-Message-State: AOAM533tKKOa2fqxg/QQy9yMfaBpoenfJbgmSpvu3VNYRLeIxrbnD+wk
08WBV8N2gnQOyk5+WIJFdq+roUq4W92L9Cvw+xFE0wfoeHpEPw==
X-Google-Smtp-Source: ABdhPJx0cPLtgciKeXVqazEaYs+qeZPo5MlHX8fiP0u4/M+zPbuvWRimcwZd6dVev3BpqoXZcvE5CRPHuvEmiqFtnh8=
X-Received: by 2002:a05:6512:104b:b0:447:eab9:1877 with SMTP id
c11-20020a056512104b00b00447eab91877mr2270676lfb.516.1646487695374; Sat, 05
Mar 2022 05:41:35 -0800 (PST)
MIME-Version: 1.0
References: <20220304010442.GC3869@erisian.com.au>
<0yCTRKhBa9IPPg5J4HfKxraWJ4w6gUS5LRAoCPk01NpbYk-9R5zxAOmJO1Z8voUiatUJugYB6Oa9t1wFLbhQSgDie8hBzr0Z1EJVm6XGvMI=@protonmail.com>
<CAD5xwhiZx+dp46Gn23tQRKc5PgJHmaJ_HC-38VB5WdJjWVVc4g@mail.gmail.com>
In-Reply-To: <CAD5xwhiZx+dp46Gn23tQRKc5PgJHmaJ_HC-38VB5WdJjWVVc4g@mail.gmail.com>
From: Jeremy Rubin <jeremy.l.rubin@gmail.com>
Date: Sat, 5 Mar 2022 13:41:24 +0000
Message-ID: <CAD5xwhh4G4p6cvWSCwoOUkS-atQyEdkP+J+Y4Sj29oncVM8KHg@mail.gmail.com>
To: Bitcoin Protocol Discussion <bitcoin-dev@lists.linuxfoundation.org>
Content-Type: multipart/alternative; boundary="00000000000035bd1905d978ca2a"
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 13:41:41 -0000
--00000000000035bd1905d978ca2a
Content-Type: text/plain; charset="UTF-8"
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...
Were that the explicit goal, it would seem that we could pretty easily
adapt something like Cairo for Bitcoin transactions, and then we'd get a
big privacy benefit as well as enabling whatever programming paradigm you
find convenient (as it is compiled to a circuit verifier of some kind)...
>
--00000000000035bd1905d978ca2a
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"fon=
t-family:arial,helvetica,sans-serif;font-size:small;color:#000000"><div cla=
ss=3D"gmail_default">It seems like a decent concept for exploration.</div><=
div class=3D"gmail_default"><br></div><div class=3D"gmail_default">AJ, I=
9;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?</div><div class=3D"gmail_default"><br></div><div class=
=3D"gmail_default"><br></div><div class=3D"gmail_default">One question that=
I have had is that it seems like to me that neither simplicity nor chia li=
sp would be particularly suited to a ZK prover...</div><div class=3D"gmail_=
default"><br></div><div class=3D"gmail_default">Were that the explicit goal=
, it would seem that we could pretty easily adapt something like Cairo for =
Bitcoin transactions, and then we'd get a big privacy benefit as well a=
s enabling whatever programming paradigm you find convenient (as it is comp=
iled to a circuit verifier of some kind)...</div></div></div><div class=3D"=
gmail_quote"><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px =
0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(2=
04,204,204);padding-left:1ex">
</blockquote></div></div>
--00000000000035bd1905d978ca2a--
|