Stephen

Results 43 issues of Stephen

Refers to the Dev mode in [Risc 0](https://dev.risczero.com/api/zkvm/quickstart#4-quick-development-leveraging-dev-mode), we can separate the program into host mode and guest mode via target. When we setup target=zkvm, we run it in guest...

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

Use the new interface from this PR https://github.com/0xEigenLabs/eigen-zkvm/pull/268

The wrapper is already now, https://github.com/0xEigenLabs/eigen-estark-gevulot/pull/4