fiatshamir

Documentation

Index

• type Settings
  • func WithHash(hash hash.Hash, baseChallenges ...frontend.Variable) Settings
  • func WithTranscript(transcript *Transcript, prefix string, baseChallenges ...frontend.Variable) Settings
• type Transcript
  • func NewTranscript(api frontend.API, h hash.Hash, challengesID ...string) Transcript
  • func (t *Transcript) Bind(challengeID string, values []frontend.Variable) error
  • func (t *Transcript) ComputeChallenge(challengeID string) (frontend.Variable, error)

Types

type Settings

type Settings struct {
	Transcript     *Transcript
	Prefix         string
	BaseChallenges []frontend.Variable
	Hash           hash.Hash
}

func WithHash

func WithHash(hash hash.Hash, baseChallenges ...frontend.Variable) Settings

func WithTranscript

func WithTranscript(transcript *Transcript, prefix string, baseChallenges ...frontend.Variable) Settings

type Transcript

type Transcript struct {
	// contains filtered or unexported fields
}

Transcript handles the creation of challenges for Fiat Shamir.

func NewTranscript

func NewTranscript(api frontend.API, h hash.Hash, challengesID ...string) Transcript

NewTranscript returns a new transcript. h is the hash function that is used to compute the challenges. challenges are the name of the challenges. The order is important.

func (*Transcript) Bind

func (t *Transcript) Bind(challengeID string, values []frontend.Variable) error

Bind binds the challenge to value. A challenge can be binded to an arbitrary number of values, but the order in which the binded values are added is important. Once a challenge is computed, it cannot be binded to other values.

func (*Transcript) ComputeChallenge

func (t *Transcript) ComputeChallenge(challengeID string) (frontend.Variable, error)

ComputeChallenge computes the challenge corresponding to the given name. The resulting variable is: * H(name ∥ previous_challenge ∥ binded_values...) if the challenge is not the first one * H(name ∥ binded_values... ) if it's is the first challenge