David Wong
David Wong
> Why is the presence of a cmi file weirder than the presence of a mli file? because the `.cmi` file does not let me know where the error is...
> Consequently, it seems brittle to remove the information about the cmi from the error message. However, we could deprioritize it if we recorded the path of the mli file...
that was fast!
probably we should try this approach first: https://github.com/arkworks-rs/algebra/pull/506 EDIT: actually nevermind, this won't help us with the ocaml traits
ping @mrmr1993
urg actually I don't think this will solve all of our problems for serde at least... Because things like `G::Scalar` are not bound by `Serialize/Deserialize`. We might have to do...
hey! Sorry this escaped me. I would say yes
I think this task is getting a bit harder with the recent changes, but we should keep it around as it's still something that would be great to have as...
So an update on the issue, which I think still misses a number of things: * there's more than the evaluation lengths we should check, we should also check the...
sounds good! merged yours and moving to this one https://github.com/o1-labs/proof-systems/issues/700