zkMIPS / zkm

The universal zkVM empowering Ethereum as the Global Settlement Layer

Home Page:https://zkm.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Prove Rust code on MacOS

eigmax opened this issue · comments

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

Let's work around via ubuntu docker image.

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