Crate zkpo 

An interface for zk programs and arguments of execution.

With zk you compile (arithmetize) a program to a system of equations. Then you prove/argue knowledge of a solution to the system of equations, which implies execution.

Modules

prelude

Exports all zkpo types, including concrete implementations behind features.

risc0

A ZKAgent implementation for the risc0@2 prover implementation.

sp1

A ZKAgent implementation for the sp1@4 prover implementation.

Traits

ZKAgent

A structure that can execute &dyn ZKProgram’s and verify arguments of execution (&dyn ZKExe).

ZKExe

An arithmetization agnostic argument of execution.

ZKProgram

A program that can be executed in zk by an agent. The agent yields an argument of execution, which can be verified.