Module humidor::ligero::noninteractive

source · [−]
Expand description

Non-interactive Ligero implementation, created by applying Fiat-Shamir to the interactive implementation.

Structs

Proof
Complete proof message sent from prover to verifier.
Prover
Non-interactive Ligero prover.
Verifier
Non-interactive Ligero verifier.