Module snarkvm_marlin::constraints::ahp

source · [−]
Expand description

Implementation of an AHP gadget.

Structs

AHPForR1CS

The AHP gadget.

VerifierFirstMsgVar

The Marlin verifier first round message gadget.

VerifierSecondMsgVar

The Marlin verifier second round message gadget.

VerifierStateVar

The Marlin verifier round state gadget used to output the state of each round.

VerifierThirdMsgVar

The Marlin verifier third round message gadget.