Module kimchi::prover

source ·
Expand description

This module implements prover’s zk-proof primitive.

Modules