📅 Original date posted:2022-03-05
📝 Original message:On Sat, Mar 5, 2022 at 8:41 AM Jeremy Rubin via bitcoin-dev <
bitcoin-dev at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20220305/d223d490/attachment.html>;
Russell O'Connor [ARCHIVE] /
npub1dw…8plrw
2023-06-07 23:05:14
in reply to nevent1q…x0yn
Author Public Key
npub1dw88wd5gqsqn6ufxhf9h03uk8087l7gfzdtez5csjlt6pupu4pwsj8plrwPublished at
2023-06-07 23:05:14Event JSON
{
"id": "be23c414d0cf57a1c339fbfbe66d07f9b527a198c552595a3645f905a411fd3d",
"pubkey": "6b8e77368804013d7126ba4b77c7963bcfeff909135791531097d7a0f03ca85d",
"created_at": 1686179114,
"kind": 1,
"tags": [
[
"e",
"17a237ce59197bc5ffad96769beec5209b19830977cb935d9412190ad411e7e9",
"",
"root"
],
[
"e",
"ccd324e3119f188e843f83d823f957a206d32ca7a42a321c2af0bcb6323cdf64",
"",
"reply"
],
[
"p",
"372c316761360b4ea20f2d7e81a59363b7e45b8e945a5381c3122049c2c4b84a"
]
],
"content": "📅 Original date posted:2022-03-05\n📝 Original message:On Sat, Mar 5, 2022 at 8:41 AM Jeremy Rubin via bitcoin-dev \u003c\nbitcoin-dev at lists.linuxfoundation.org\u003e wrote:\n\n\u003e It seems like a decent concept for exploration.\n\u003e\n\u003e AJ, I'd be interested to know what you've been able to build with Chia\n\u003e Lisp and what your experience has been... e.g. what does the Lightning\n\u003e Network look like on Chia?\n\u003e\n\u003e\n\u003e One question that I have had is that it seems like to me that neither\n\u003e simplicity nor chia lisp would be particularly suited to a ZK prover...\n\u003e\n\nNot that I necessarily disagree with this statement, but I can say that I\nhave experimented with compiling Simplicity to Boolean circuits. It was a\nwhile ago, but I think the result of compiling my SHA256 program was within\nan order of magnitude of the hand made SHA256 circuit for bulletproofs.\n-------------- next part --------------\nAn HTML attachment was scrubbed...\nURL: \u003chttp://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20220305/d223d490/attachment.html\u003e",
"sig": "b7d8e9cd187bceaf6f68cfbe505c12a0bd68acce6490edc13d36d73bde9627bf8f894e62d0e8c3ca85ff662fa77ad498ffb6dea72111e9403c78dc19625705d6"
}