The highest tagged major version is
Documentation
¶
Overview ¶
Package recursion provides in-circuit verifiers for different proofs systems.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func NewHash ¶
NewHash returns a circuit hash function which reads elements in the current native field and outputs element in the target field (usually the scalar field of the circuit being recursed). The hash function is based on MiMC and partitions the excess bits to not overflow the target field.
func NewShort ¶
NewShort returns a native hash function which reads elements in the current native field and outputs element in the target field (usually the scalar field of the circuit being recursed). The hash function is based on MiMC and partitions the excess bits to not overflow the target field.
func NewTranscript ¶
func NewTranscript(api frontend.API, target *big.Int, challenges []string) (*fiatshamir.Transcript, error)
NewTranscript returns a new Fiat-Shamir transcript for computing bound challenges. It uses hasher returned by NewHash internally and configures the transcript to be compatible with gnark-crypto Fiat-Shamir transcript.
Types ¶
This section is empty.
Source Files
Directories
¶
| Path | Synopsis |
|---|---|
|
Package groth16 provides in-circuit Groth16 verifier.
|
Package groth16 provides in-circuit Groth16 verifier. |
|
Package plonk implements in-circuit PLONK verifier.
|
Package plonk implements in-circuit PLONK verifier. |
|
Package sumcheck implements non-native sumcheck verifier.
|
Package sumcheck implements non-native sumcheck verifier. |