GetNativeProverOptions returns PLONK prover options for the native prover to initialize the configuration suitable for in-circuit verification.

GetNativeVerifierOptions returns PLONK verifier options to initialize the configuration to be compatible with in-circuit verification.

NewVerifier returns a new [Verifier] instance.

PlaceholderBaseVerifyingKey returns placeholder of the base verification key common to circuits with same size, same number of public inputs and same number of commitments.

PlaceholderCircuitVerifyingKey returns the placeholder for the unique part of the verification key with same [BaseVerifyingKey].

PlaceholderProof returns a placeholder proof witness to be use for compiling the outer circuit for witness alignment.

PlaceholderVerifyingKey returns placeholder of the verification key for compiling the outer circuit.

PlaceholderWitness creates a stub witness which can be used to allocate the variables in the circuit if the actual witness is not yet known.

ValueOfBaseVerifyingKey assigns the base verification key from the witness.

ValueOfCircuitVerifyingKey returns the witness for the unique part of the verification key.

ValueOfProof returns the typed witness of the native proof.

ValueOfVerifyingKey initializes witness from the given PLONK verifying key.

ValueOfWitness assigns a outer-circuit witness from the inner circuit witness.

WithCompleteArithmetic forces the usage of complete formulas for point addition and multi-scalar multiplication.

BaseVerifyingKey is the common part of the verification key for the circuits with same size, same number of public inputs and same number of commitments.

CircuitVerifyingKey is the unique part of the verification key for the circuits with same [BaseVerifyingKey].

Proof is a typed PLONK proof of SNARK.

Verifier verifies PLONK proofs.

VerifyingKey is a typed PLONK verification key.

Witness is a public witness to verify the SNARK proof against.

VerifierOption allows to modify the behaviour of PLONK verifier.