Gevulot-Krak

Gevulot-Krak

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

3
Built at ZK Hack Kraków
Carousel Gallery Item: 1
Carousel Gallery Item: 2

The problem Gevulot-Krak 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

Challenges I 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.

Tracks Applied (1)

Deploy an existing prover and integrate a zk-rollup to the Devnet

It gevolut infra requires an x86 linux machine, this project that provide as a base for folks trying to build gevulot on...Read More

Gevulot

Technologies used

Rust

Discussion