recursion

package
v1.0.1 Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Dec 19, 2023 License: Apache-2.0 Imports: 12 Imported by: 0

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

func NewHash(api frontend.API, target *big.Int, bitmode bool) (stdhash.FieldHasher, error)

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

func NewShort(current, target *big.Int) (hash.Hash, error)

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.

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.

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL