From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp4.osuosl.org (smtp4.osuosl.org [IPv6:2605:bc80:3010::137]) by lists.linuxfoundation.org (Postfix) with ESMTP id 18853C0012 for ; 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 ; 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 ; 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 ; Sat, 5 Mar 2022 13:41:37 +0000 (UTC) Received: by mail-lf1-x135.google.com with SMTP id z11so3414334lfh.13 for ; 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> In-Reply-To: From: Jeremy Rubin Date: Sat, 5 Mar 2022 13:41:24 +0000 Message-ID: To: Bitcoin Protocol Discussion 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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
It seems like a decent concept for exploration.
<= 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?


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

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)...
--00000000000035bd1905d978ca2a--