📅 Original date posted:2022-03-05
📝 Original message: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)...
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20220305/60845e5d/attachment.html>;
Jeremy Rubin [ARCHIVE] /
npub1xu…fzef0
2023-06-07 23:05:13
in reply to nevent1q…y2qk
Author Public Key
npub1xukrzempxc95ags094lgrfvnvwm7gkuwj3d98qwrzgsynskyhp9qkfzef0Published at
2023-06-07 23:05:13Event JSON
{
"id": "ccd324e3119f188e843f83d823f957a206d32ca7a42a321c2af0bcb6323cdf64",
"pubkey": "372c316761360b4ea20f2d7e81a59363b7e45b8e945a5381c3122049c2c4b84a",
"created_at": 1686179113,
"kind": 1,
"tags": [
[
"e",
"17a237ce59197bc5ffad96769beec5209b19830977cb935d9412190ad411e7e9",
"",
"root"
],
[
"e",
"7df358a1aac261b37c6ff88cf8ab590ce970d156e9149425a49645333c0594c7",
"",
"reply"
],
[
"p",
"4505072744a9d3e490af9262bfe38e6ee5338a77177b565b6b37730b63a7b861"
]
],
"content": "📅 Original date posted:2022-03-05\n📝 Original message:It seems like a decent concept for exploration.\n\nAJ, I'd be interested to know what you've been able to build with Chia Lisp\nand what your experience has been... e.g. what does the Lightning Network\nlook like on Chia?\n\n\nOne question that I have had is that it seems like to me that neither\nsimplicity nor chia lisp would be particularly suited to a ZK prover...\n\nWere that the explicit goal, it would seem that we could pretty easily\nadapt something like Cairo for Bitcoin transactions, and then we'd get a\nbig privacy benefit as well as enabling whatever programming paradigm you\nfind convenient (as it is compiled to a circuit verifier of some kind)...\n\n\u003e\n-------------- next part --------------\nAn HTML attachment was scrubbed...\nURL: \u003chttp://lists.linuxfoundation.org/pipermail/bitcoin-dev/attachments/20220305/60845e5d/attachment.html\u003e",
"sig": "114cd303ee79c4fc1f8b2fb5669635e58dce79ba799219fa1987c7e70ecbd4e32c8b63c0486dbea90ebeb27acf4a6365d3ad89fa5f0775c4f72cddb43df5c76f"
}