zkMIPS / zkm

The universal zkVM empowering Ethereum as the Global Settlement Layer
https://zkm.io
MIT License
105 stars 50 forks source link

Prove Rust code on MacOS #147

Closed eigmax closed 1 month ago

eigmax commented 4 months ago

We use MUSL as the C standard library, but it doesn't work on MacOS.

eigmax commented 1 month ago

Let's work around via ubuntu docker image.

The steps can be found at https://github.com/zkMIPS/zkm/blob/main/Dockerfile#L49