Module proof_system
remainder
0.1.0
In remainder::
prover
remainder
::
prover
Module
proof_
system
Copy item path
Source
Expand description
Includes various traits that define interfaces of a GKR Prover