Search projects, hackathons, sponsors and tech

    ← All projects

    Gevulot-Krak

    Adding risc0 prover/verifier and running gevulot node in ARM Architecture [WIP]

    About

    The problem it solves I did not manage to finish the integration with RIscZero prover, but i in the process created a docker image for Apple Silicon Mac (ARM) to be able to build and run gevulot. Docker image will show up here as soon as the upload finishes. https://hub.docker.com/r/gsinghbhamra/gevulot-krak

    How it's made

    Challenges we ran into 1. Issues with compilation. 2. Trying Qemu for x86 emulation (Very Slow :( ). 3. Making the docker amd64 image working with correct dependencies for gevulot and RIsc Zero. 4. Ran into issues with PID Limit support.