zkVM

zkVM: A zkVM proves the correct execution of an ordinary program, letting developers write in familiar languages instead of hand-building circuits.

Browse the full glossary →