Gevulot Docs


Gevulot programs come in two varieties: provers and verifiers. A verifier program can be deployed standalone, while a prover program must always be deployed with an accompanying verifier program. There are no hard constraints on what Gevulot programs need to contain, besides that the prover program must output a proof that can be verified by the verifier program for the system to be useful.
Both types of programs can be written in a variety of languages such as Rust, C, C++, etc, and are compiled into unikernel images. Most open-source prover implementations can be compiled into unikernel images with minimal modification.
Gevulot programs run in a Nanos unikernel, which provides the following features:
  1. 1.
  2. 2.
    GPU support
  3. 3.
    Language support
  4. 4.
    Efficient orchestration
  5. 5.
    Fast boot times
Note: Currently Nanos officially supports Nvidia 3090 and Nvidia 4090 in on-prem setups.