Package groth16 implements Groth16 Zero Knowledge Proof system (aka zkSNARK).

Package plonk implements PLONK Zero Knowledge Proof system.

Package witness provides serialization helpers to encode a witness into a []byte.

IDFromString returns the ID of a proof system from its string representation.

Implemented return the list of proof systems implemented in gnark.

NewProverConfig returns a default ProverConfig with given prover options opts applied.

NewVerifierConfig returns a default [VerifierConfig] with given verifier options applied.

WithIcicleAcceleration requests to use [ICICLE] GPU proving backend for the prover.

WithProverChallengeHashFunction sets the hash function used for computing non-interactive challenges in Fiat-Shamir heuristic.

WithProverHashToFieldFunction changes the hash function used for hashing bytes to field.

WithProverKZGFoldingHashFunction sets the hash function used for computing the challenge when folding the KZG opening proofs.

WithSolverOptions specifies the constraint system solver options.

WithStatisticalZeroKnowledge ensures that statistical zero knowledgeness is achieved.

WithVerifierChallengeHashFunction sets the hash function used for computing non-interactive challenges in Fiat-Shamir heuristic.

WithVerifierHashToFieldFunction changes the hash function used for hashing bytes to field.

WithVerifierKZGFoldingHashFunction sets the hash function used for computing the challenge when folding the KZG opening proofs.

ProverConfig is the configuration for the prover with the options applied.

VerifierConfig is the configuration for the verifier with the options applied.

ID represent a unique ID for a proving scheme.

ProverOption defines option for altering the behavior of the prover in Prove, ReadAndProve and IsSolved methods.

VerifierOption defines option for altering the behavior of the verifier.