Prove Rust code on MacOS
eigmax opened this issue · comments
Stephen commented
We use MUSL as the C standard library, but it doesn't work on MacOS.
Stephen commented
Let's work around via ubuntu docker image.
The steps can be found at https://github.com/zkMIPS/zkm/blob/main/Dockerfile#L49