David Wong

ah, Imma try that! A coworker told me that this change also made it work: https://github.com/MinaProtocol/mina/commit/b3ae083da7caf3714a47d01dc676e37ec975bd01 but that it wouldn't work on mac

btw I think I don't have .so because I'm on mac? ``` ❯ ls ./_build/cargo_kimchi_stubs/release build examples libwires_15_stubs.a libwires_15_stubs.rlib wires_15_stubs.d deps incremental libwires_15_stubs.d wires_15_stubs ```

there's different ways to tackle that... * frontend: not sure :] * r1cs backend: If we tracked all the linear combinations created in a map in the R1CS backend then...

I believe the PR mentioned above deletes it :o

ohh right! We use the permutation in kimchi to wire these (since we copy the returned var up there in that part of the public input, they will be wired...

on double take, the check done by the verify function here is not enough, as it will always work (the public input cancels the public input). To make sure the...

associated, this command indeed doesn't show any constraints OR wiring for the public output! ``` cargo run -- test --path examples/public_output.no --private-inputs '{"private_input": "1"}' --public-inputs '{"public_input": "1"}' --debug ``` result:...

Hey! So what we're wondering is how is that difference used? Why is one called over another? (Like who calls the first one, who calls the second one) Especially after...

arg, so now I'm wondering what this does exactly if `stuff` attempts to mutate `a`, does it fail to compile because `stuff` doesn't see `a` as mutable? ```rust let mut...

I think we're in a model where functions/methods have to produce a new object instead of updating the current object. It's more "functional" and doesn't really save you any constraints...