David Wong
David Wong
I'm late to the conversation, but wondering what's the latest on this EIP? We use poseidon in [Mina](https://minaprotocol.com/) in production, and would like our proofs to be verifiable on Ethereum....
> Ethereum Magicians discussion what's that?
in my case, I am moving the generated rust documentation into the `/rustdoc` folder in the book. So that on github pages, I can access both [the book](https://o1-labs.github.io/proof-systems/) and [the...
> This probably isn't used in practice very often, but I can imagine a book that wants to link to other pages on the same website (that aren't part of...
we introduced a `Cargo.toml` here to fix the issue: https://github.com/o1-labs/proof-systems/pull/1006/files but I have a feeling this won't work as intuitively, I think mdbook tries to find the plugin binaries in...
cross posted here: https://github.com/cloudflare/rustwasm-worker-template/issues/41
do you know what I should do after `M-x merlin-enable-debug`? I get the same temporary buffer at the bottom when I do that.
OK I found a `*merlin-log*` buffer that had the info. Looks like a stack overflow: https://controlc.com/aa924e03
oh the file is the same as https://github.com/MinaProtocol/mina/blob/develop/src/lib/transaction_snark/test/zkapps_examples/empty_update/empty_update.ml#L31 I tried again today and now it works, not sure what happened in between :|
yes we use `implicit_transitive_deps false` (which really should be default for all projects :D)