📅 Original date posted:2022-03-06
📝 Original message:The circuit generated from Simplicity was larger than the hand made one.
On Sat, Mar 5, 2022 at 6:20 PM ZmnSCPxj <ZmnSCPxj at protonmail.com> wrote:
> Good morning Russell,
>
> > 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.
>
> "Within" can mean "larger" or "smaller" in this context, which was it?
> From what I understand, compilers for ZK-provable circuits are still not
> as effective as humans, so I would assume "larger", but I would be much
> interested if it is "smaller"!
>
> Regards,
> ZmnSCPxj
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20220305/b803a6b5/attachment.html>;
Russell O'Connor [ARCHIVE] /
npub1dw…8plrw
2023-06-07 23:05:14
in reply to nevent1q…g6ea
Author Public Key
npub1dw88wd5gqsqn6ufxhf9h03uk8087l7gfzdtez5csjlt6pupu4pwsj8plrwPublished at
2023-06-07 23:05:14Event JSON
{
"id": "a45175ad0aa80634ccc16c087babc875b260887d81b8c19bc4c0445f99493cf2",
"pubkey": "6b8e77368804013d7126ba4b77c7963bcfeff909135791531097d7a0f03ca85d",
"created_at": 1686179114,
"kind": 1,
"tags": [
[
"e",
"17a237ce59197bc5ffad96769beec5209b19830977cb935d9412190ad411e7e9",
"",
"root"
],
[
"e",
"58e233272c2bae7a0db543d4bed0b53b0a8dcea43715bfef7c86761573e03fcd",
"",
"reply"
],
[
"p",
"4505072744a9d3e490af9262bfe38e6ee5338a77177b565b6b37730b63a7b861"
]
],
"content": "📅 Original date posted:2022-03-06\n📝 Original message:The circuit generated from Simplicity was larger than the hand made one.\n\nOn Sat, Mar 5, 2022 at 6:20 PM ZmnSCPxj \u003cZmnSCPxj at protonmail.com\u003e wrote:\n\n\u003e Good morning Russell,\n\u003e\n\u003e \u003e On Sat, Mar 5, 2022 at 8:41 AM Jeremy Rubin via bitcoin-dev \u003c\n\u003e bitcoin-dev at lists.linuxfoundation.org\u003e wrote:\n\u003e \u003e\n\u003e \u003e \u003e It seems like a decent concept for exploration.\n\u003e \u003e \u003e\n\u003e \u003e \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 \u003e \u003e\n\u003e \u003e \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 \u003e\n\u003e \u003e Not that I necessarily disagree with this statement, but I can say that\n\u003e I have experimented with compiling Simplicity to Boolean circuits. It was\n\u003e a while ago, but I think the result of compiling my SHA256 program was\n\u003e within an order of magnitude of the hand made SHA256 circuit for\n\u003e bulletproofs.\n\u003e\n\u003e \"Within\" can mean \"larger\" or \"smaller\" in this context, which was it?\n\u003e From what I understand, compilers for ZK-provable circuits are still not\n\u003e as effective as humans, so I would assume \"larger\", but I would be much\n\u003e interested if it is \"smaller\"!\n\u003e\n\u003e Regards,\n\u003e ZmnSCPxj\n\u003e\n-------------- next part --------------\nAn HTML attachment was scrubbed...\nURL: \u003chttp://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20220305/b803a6b5/attachment.html\u003e",
"sig": "e4d3e5a72ad5581354f59002c12edd4dc47933520598844a61b09f0be10ac8aacf5f59a617a70a65aa04c46b721db39e14b54a99035a6a0b1d34afb0d305b84e"
}