The circuit generated from Simplicity was larger than the hand made one. On Sat, Mar 5, 2022 at 6:20 PM ZmnSCPxj <zmnsc...@protonmail.com> wrote:
> 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
