Send appends items to the channel state by hashing them

NewChannel creates a new instance of the FS channel

RandInt emulates a random integer scalar in the range [min,max] sent by the verifier

serializeAuditPath serializes a merkle audithash

DomainBytes returns a byte serialized domain element set

DomainHash returns a merkle root of the domain elements

NextFRILayer constructs the next FRI layer a Layer is a tuple consisting of an evaluation domain and polynomial to create the next fri layer we evalua

RandFE emulates a random field element sent by the verifier given the field's modulus.

The FRI folding operator is a map on polynomial coefficients. For a given polynomial it folds it's coefficients by summing consecutive pairs of even/o

oddCoeffs extracts a new polynomial using odd index coefficients

In order to verify the commitment proofs we need to implement to new functions the first will will send the FS channel data to verify that each FRI la

Decommiting on the trace polynomial involves verifying the evaluation of the composition polynomial The value f(x) with its authentication path. The v

FRIDecommit receives random values from the verifier (using FS) and decommits on each query index.

The unisolvence theorem states that given n+1 pairs of points (x_i,y_i) there exists a polynomial Q of degree at most n such as Q(x_i) = y_i Our Fibon

GenSeq computes the actual sequence

GenerateFRICommitment given the composition polynomial the evaluation domain, the evaluations on said domain and the first commitment root.

The FibSeq program we want to prove validity statements can be proven correct if some constraints over it's output are valid. Mainly if FibSeq represe

FRI Layers construction We start with the evaluation domain generated during the domain parameters generation. We define a function called NextFRIDoma

NextFRIPolynomial creates the next FRI polynomial.

UnmarshalJSON parses a JSON serialized domain parameters instance.

cosetDomainBytes returns a byte serialized domain element set

GenerateDomainParameters reproduces the domain parameters required for proof generation : a : the trace of FibSeq(1,3141592) g : generator of the subg

MarshalJSON populates the JSON properly for unexported fields