gkr

package

Go to main page

Versions in this module

v0

v0.11.0

Sep 6, 2024 GO-2024-3244

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.10.0

Apr 22, 2024 GO-2024-3123 +1 more

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.9.1

Oct 16, 2023 GO-2023-2333 +2 more

GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.9.0

Sep 19, 2023 GO-2023-2119 +3 more

GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

Changes in this version

+ var Gates = map[string]Gate

+ func ProveHintPlaceholder(*big.Int, []*big.Int, []*big.Int) error

+ func SolveHintPlaceholder(*big.Int, []*big.Int, []*big.Int) error

+ type API struct

+ func NewApi() *API

+ func (api *API) Add(i1, i2 constraint.GkrVariable, in ...constraint.GkrVariable) constraint.GkrVariable

+ func (api *API) Import(assignment []frontend.Variable) (constraint.GkrVariable, error)

+ func (api *API) Mul(i1, i2 constraint.GkrVariable, in ...constraint.GkrVariable) constraint.GkrVariable

+ func (api *API) NamedGate(gate string, in ...constraint.GkrVariable) constraint.GkrVariable

+ func (api *API) Neg(i1 constraint.GkrVariable) constraint.GkrVariable

+ func (api *API) Println(a ...constraint.GkrVariable)

+ func (api *API) Series(input, output constraint.GkrVariable, inputInstance, outputInstance int) *API

+ func (api *API) Solve(parentApi frontend.API) (Solution, error)

+ func (api *API) Sub(i1, i2 constraint.GkrVariable, in ...constraint.GkrVariable) constraint.GkrVariable

+ type Solution struct

+ func (s Solution) Export(v frontend.Variable) []frontend.Variable

+ func (s Solution) Verify(hashName string, initialChallenges ...frontend.Variable) error

v0.9.0-alpha

Aug 18, 2023 GO-2023-2098 +4 more

GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.8.1

Jul 11, 2023 GO-2023-2098 +4 more

GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.8.0

Feb 14, 2023 GO-2023-2098 +4 more

GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

Changes in this version

+ var RegisteredGates = map[string]Gate

+ func ChallengeNames(sorted []*Wire, logNbInstances int, prefix string) []string

+ func ProofSize(c Circuit, logNbInstances int) int

+ func Verify(api frontend.API, c Circuit, assignment WireAssignment, proof Proof, ...) error

+ type AddGate struct

+ func (a AddGate) Degree() int

+ func (a AddGate) Evaluate(api frontend.API, v ...frontend.Variable) frontend.Variable

+ type Circuit []Wire

+ type Gate interface

+ Degree func() int

+ Evaluate func(frontend.API, ...frontend.Variable) frontend.Variable

+ type IdentityGate struct

+ func (IdentityGate) Degree() int

+ func (IdentityGate) Evaluate(_ frontend.API, input ...frontend.Variable) frontend.Variable

+ type MiMCCipherGate struct

+ Ark frontend.Variable

+ func (m MiMCCipherGate) Degree() int

+ func (m MiMCCipherGate) Evaluate(api frontend.API, input ...frontend.Variable) frontend.Variable

+ type MulGate struct

+ func (g MulGate) Degree() int

+ func (g MulGate) Evaluate(api frontend.API, x ...frontend.Variable) frontend.Variable

+ type Option func(*settings)

+ func WithSortedCircuit(sorted []*Wire) Option

+ type Proof []sumcheck.Proof

+ func DeserializeProof(sorted []*Wire, serializedProof []frontend.Variable) (Proof, error)

+ func (p Proof) Serialize() []frontend.Variable

+ type Wire struct

+ Gate Gate

+ Inputs []*Wire

+ func (w Wire) IsInput() bool

+ func (w Wire) IsOutput() bool

+ func (w Wire) NbClaims() int

+ type WireAssignment map[*Wire]polynomial.MultiLin

+ func (a WireAssignment) NumInstances() int

+ func (a WireAssignment) NumVars() int

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