Module o1vm::proof

source ·
Expand description

Proof system of the zkVM.

Functions

  • fold
    FIXME: DUMMY FOLD FUNCTION THAT ONLY KEEPS THE LAST INSTANCE