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 D2A5FC000B for ; 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 ; 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 ; 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 ; Sat, 5 Mar 2022 20:10:23 +0000 (UTC) Received: by mail-qk1-x730.google.com with SMTP id z66so9009068qke.10 for ; 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> In-Reply-To: From: "Russell O'Connor" Date: Sat, 5 Mar 2022 15:10:11 -0500 Message-ID: To: Bitcoin Protocol Discussion 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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
On Sat, Mar 5, 2022 at 8:41 AM Jeremy Rubin via bitcoin-dev <bitcoin-dev@lists.linu= xfoundation.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 an= d what your experience has been... e.g. what does the Lightning Network loo= k 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 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.
--0000000000009b79da05d97e38a6--