David Wong
David Wong
yeah I'm not against that path either, but the problem is... what keyword do we introduce for a mutable ref? `&mut` sounds ugly when we don't have references in the...
mmm, I would still vote for `refmut`/`mutref` because I personally would probably be confused by the `mut` alone. We might want to allow a `mut` as well just to say...
there was a PR for that but it was never merged: https://github.com/o1-labs/proof-systems/pull/998
yeah. I'm not sure what's best to do here... We might want to either: * give up on this for now * or push folks on the kimchi side to...
There's no real replacement for kimchi, kimchi is one backend among other backends. I think we should punt on this decision and pause this issue at the moment
looks like kimchi updated! https://github.com/o1-labs/proof-systems/blob/master/Cargo.toml someone wants to resume this?
do you think it would make sense to use it for the example tests? https://github.com/zksecurity/noname/blob/main/src/tests/examples.rs as right now we save the files here: https://github.com/zksecurity/noname/blob/main/examples/fixture/asm/kimchi/arithmetic.asm and compare with the compiler output....
my computer does have cargo
is there something that randoml can do to make it work out-of-the-box?
that would be great indeed. for reference the [go playground](https://go.dev/play/), and [rust playground](https://play.rust-lang.org/?version=stable&mode=debug&edition=2021)