Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security Policy
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

chainark

package module

Go to main page

Versions in this module

v0

v0.3.0

Jun 1, 2024

v0.2.1

Jul 1, 2024

v0.2.0

Apr 23, 2024

Changes in this version

+ func AssertValsVSWtnsElements[FR emulated.FieldParams](api frontend.API, vars []frontend.Variable, ...)

+ func IsIDEqualToWitness[FR emulated.FieldParams](api frontend.API, id LinkageID, witnessValues []emulated.Element[FR], ...) frontend.Variable

+ func NewGenesisAssignment[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT, ...](unitVkey plonk.VerifyingKey[FR, G1El, G2El], ...) frontend.Circuit

+ func NewGenesisCircuit[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT, ...](nbIdVals, bitsPerIdVal, nbFpVals, bitsPerFpVal int, ...) frontend.Circuit

+ func NewRecursiveAssignment[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT, ...](firstVkey, unitVkey plonk.VerifyingKey[FR, G1El, G2El], ...) frontend.Circuit

+ func NewRecursiveCircuit[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT, ...](idLength, bitsPerIdVal, fpLength, bitsPerFpVal int, ...) frontend.Circuit

+ func TestValsVSWtnsElements[FR emulated.FieldParams](api frontend.API, vars []frontend.Variable, ...) frontend.Variable

+ func ValsFromBytes(data []byte, bitsPerVar int) []frontend.Variable

+ func ValsToU8s(api frontend.API, vals []frontend.Variable, bitsPerVar int) ([]uints.U8, error)

type FingerPrint

+ BitsPerVar int

type LinkageID

+ BitsPerVar int

type UnitProof

+ func (up *UnitProof[FR, G1El, G2El, GtEl]) AssertRelations(api frontend.API, vkey plonk.VerifyingKey[FR, G1El, G2El], ...) error

v0.1.0

Mar 23, 2024

Changes in this version

+ func AssertFpWitness[FR emulated.FieldParams](api frontend.API, fp FingerPrint[FR], witnessValues []emulated.Element[FR]) error

+ func AssertIDWitness[FR emulated.FieldParams](api frontend.API, id LinkageID[FR], witnessValues []emulated.Element[FR]) error

+ func ElementsFromBytes[FR emulated.FieldParams](data []byte, bitsPerElement int) []emulated.Element[FR]

+ func ElementsToU8s[FR emulated.FieldParams](api frontend.API, vals []emulated.Element[FR], bitsPerElement int) ([]uints.U8, error)

+ func TestVkeyFp[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT, ...](api frontend.API, vkey plonk.VerifyingKey[FR, G1El, G2El], ...) (frontend.Variable, error)

+ type FingerPrint struct

+ BitsPerElement int

+ Vals []emulated.Element[FR]

+ func FingerPrintFromBytes[FR emulated.FieldParams](data FingerPrintBytes, bitsPerElement int) FingerPrint[FR]

+ func FpValueOf[FR emulated.FieldParams](api frontend.API, v frontend.Variable, bitsPerElement int) (FingerPrint[FR], error)

+ func NewFingerPrint[FR emulated.FieldParams](v []emulated.Element[FR], b int) FingerPrint[FR]

+ func PlaceholderFingerPrint[FR emulated.FieldParams](nbEles, bitsPerElement int) FingerPrint[FR]

+ func (fp FingerPrint[FR]) AssertIsEqual(api frontend.API, other FingerPrint[FR]) error

+ func (fp FingerPrint[FR]) IsEqual(api frontend.API, other FingerPrint[FR]) (frontend.Variable, error)

+ type FingerPrintBytes []byte

+ type FpExtractor struct

+ Vkey recursive_plonk.VerifyingKey[FR, G1El, G2El]

+ func (fe *FpExtractor[FR, G1El, G2El]) Define(api frontend.API) error

+ type GenesisCircuit struct

+ AcceptableFirstFp FingerPrint[FR]

+ FirstID LinkageID[FR]

+ FirstProof plonk.Proof[FR, G1El, G2El]

+ FirstWitness plonk.Witness[FR]

+ GenesisID LinkageID[FR]

+ InnerField *big.Int

+ SecondID LinkageID[FR]

+ SecondProof plonk.Proof[FR, G1El, G2El]

+ SecondWitness plonk.Witness[FR]

+ UnitVKey plonk.VerifyingKey[FR, G1El, G2El]

+ UnitVkeyFpBytes FingerPrintBytes

+ func (c *GenesisCircuit[FR, G1El, G2El, GtEl]) Define(api frontend.API) error

+ type GenesisOrRecursiveProof struct

+ BeginID LinkageID[FR]

+ EndID LinkageID[FR]

+ func (rp *GenesisOrRecursiveProof[FR, G1El, G2El, GtEl]) Assert(api frontend.API, verifier *plonk.Verifier[FR, G1El, G2El, GtEl], ...) error

+ type LinkageID struct

+ BitsPerElement int

+ Vals []emulated.Element[FR]

+ func LinkageIDFromBytes[FR emulated.FieldParams](data LinkageIDBytes, bitsPerElement int) LinkageID[FR]

+ func LinkageIDFromU8s[FR emulated.FieldParams](api frontend.API, data []uints.U8, bitsPerElement int) (LinkageID[FR], error)

+ func NewLinkageID[FR emulated.FieldParams](v []emulated.Element[FR], b int) LinkageID[FR]

+ func PlaceholderLinkageID[FR emulated.FieldParams](nbEles, bitsPerElement int) LinkageID[FR]

+ func (id LinkageID[FR]) AssertIsEqual(api frontend.API, other LinkageID[FR]) error

+ func (id LinkageID[FR]) IsEqual(api frontend.API, other LinkageID[FR]) (frontend.Variable, error)

+ func (id LinkageID[FR]) ToBytes(api frontend.API) ([]uints.U8, error)

+ type LinkageIDBytes []byte

+ type RecursiveCircuit struct

+ AcceptableFirstFp FingerPrint[FR]

+ BeginID LinkageID[FR]

+ EndID LinkageID[FR]

+ FirstProof plonk.Proof[FR, G1El, G2El]

+ FirstVKey plonk.VerifyingKey[FR, G1El, G2El]

+ FirstWitness plonk.Witness[FR]

+ GenesisFpBytes FingerPrintBytes

+ InnerField *big.Int

+ RelayID LinkageID[FR]

+ SecondProof plonk.Proof[FR, G1El, G2El]

+ SecondVKey plonk.VerifyingKey[FR, G1El, G2El]

+ SecondWitness plonk.Witness[FR]

+ UnitVKeyFpBytes FingerPrintBytes

+ func (c *RecursiveCircuit[FR, G1El, G2El, GtEl]) Define(api frontend.API) error

+ type UnitProof struct

+ BeginID LinkageID[FR]

+ EndID LinkageID[FR]

+ func (up *UnitProof[FR, G1El, G2El, GtEl]) Assert(api frontend.API, verifier *plonk.Verifier[FR, G1El, G2El, GtEl], ...) error