kimchi

Module prover

Source
Expand description

This module implements prover’s zk-proof primitive.

Modules§

caml
internal_traces