Stefanos Chaliasos
Stefanos Chaliasos
Hello, You're right. `-MD` is not needed, but the problem is that with the previous Makefile, no dependency files were generated for Objects at line 49.
For halo2 statistics, we can write a helper function to print some statistics per circuit given the input. Then we should call that from within the reader, similar to the...
Currently, the way we use `time` will fail in Linux machines. We should use something like: `/usr/bin/time -v command`, which will print something like: ``` Command being timed: "ls" User...
All rust memory measurements are now done #24
@tumberger, I think we don't need this one: https://github.com/zkCollective/zk-Harness/blob/12508a9b77a1eca70948bc43fe1d8c205cfba387/rust_utils/Cargo.toml#L2 anymore. If that is the case, can you remove it?
@tumberger, I haven't updated the logs for arithmetics. Should we do it here or in #17?
You can work on that if you want to. This one does not need much explanation. The TODO list will include the following: - [ ] Decide on the specific...
@tumberger, what is the status of this one?
You can check this PR:https://github.com/zkCollective/zk-Harness/pull/13; we haven't integrated them yet.
Will go over everything tomorrow. Thanks a lot for the feedback.