Good morning Russell, > 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.
"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 _______________________________________________ bitcoin-dev mailing list bitcoin-dev@lists.linuxfoundation.org https://lists.linuxfoundation.org/mailman/listinfo/bitcoin-dev