opracuj swój program (kod gościa) skompiluj go dla RISC Zero zkVM i uzyskaj jego ID obrazu uruchom program wewnątrz zkVM -- produkując: dziennik publicznych wyników, pieczęć, która jest kryptograficznym dowodem zbundluj to w paragon (dziennik i pieczęć) podziel się paragonem wszędzie tam, gdzie to potrzebne zweryfikuj, wywołując verify() z oczekiwanym ID obrazu wynik? każdy, kto ma paragon, może potwierdzić, że wyniki (dziennik) pochodzą z niezmienionego uruchomienia kodu odpowiadającego znanemu ID obrazu, bez konieczności ponownego uruchamiania całej obliczeń samodzielnie.