math

Documentation

Index

• func EvalsCircuitR1CS(hashSeed string, numVoters int, numCandidates int) (frontend.CompiledConstraintSystem, error)
• func HashSeedFromSeedParts(seedParts [][]byte) string
• func LagrangeEvalAtZero(points []Point) *fr.Element
• func SumCircuitR1CS(hashSeed string, numVoters int) (frontend.CompiledConstraintSystem, error)
• type EvalsCircuit
  • func (circuit *EvalsCircuit) Define(curveID ecc.ID, api frontend.API) error
• type Point
• type Poly
  • func NewRandomPoly(ballot [][]byte, hashSeed string, inputs []*fr.Element) *Poly
  • func (p *Poly) EvalAndProve(input *fr.Element, provingKey groth16.ProvingKey) (*fr.Element, []byte, groth16.Proof)
• type SumCircuit
  • func (circuit *SumCircuit) Define(curveID ecc.ID, api frontend.API) error

Functions

func EvalsCircuitR1CS

func EvalsCircuitR1CS(hashSeed string, numVoters int, numCandidates int) (frontend.CompiledConstraintSystem, error)

func HashSeedFromSeedParts

func HashSeedFromSeedParts(seedParts [][]byte) string

func LagrangeEvalAtZero

func LagrangeEvalAtZero(points []Point) *fr.Element

uses https://en.wikipedia.org/wiki/Lagrange_polynomial#Definition but returns the evaluation at zero (the only one we care about)

func SumCircuitR1CS

func SumCircuitR1CS(hashSeed string, numVoters int) (frontend.CompiledConstraintSystem, error)

Types

type EvalsCircuit

type EvalsCircuit struct {
	HashSeed     string
	Inputs       []frontend.Variable `gnark:",public"`
	OutputHashes []frontend.Variable `gnark:",public"`

	// must be created with length numCandidates^2
	BallotBits []frontend.Variable `gnark:",secret"`
	// must be created with length numVoters - 1
	Coeffs   []frontend.Variable `gnark:",secret"`
	Constant frontend.Variable   `gnark:",secret"`
}

func (*EvalsCircuit) Define

func (circuit *EvalsCircuit) Define(curveID ecc.ID, api frontend.API) error

type Point

type Point [2]*fr.Element

p[0] is x coordinate, p[1] is y coordinate

type Poly

type Poly struct {
	Ballot   [][]byte      `json:"ballot"`
	Coeffs   []*fr.Element `json:"coeffs"`
	HashSeed string        `json:"hash_seed"`
	Inputs   []*fr.Element `json:"inputs"`
	// contains filtered or unexported fields
}

func NewRandomPoly

func NewRandomPoly(ballot [][]byte, hashSeed string, inputs []*fr.Element) *Poly

NewRandomPoly generates a random polynomial of degree numVoters-1, using `ballot' as the constant term

func (*Poly) EvalAndProve

func (p *Poly) EvalAndProve(input *fr.Element, provingKey groth16.ProvingKey) (*fr.Element, []byte, groth16.Proof)

type SumCircuit

type SumCircuit struct {
	HashSeed     string
	HashSelects  []frontend.Variable `gnark:",public"`
	OutputHashes []frontend.Variable `gnark:",public"`
	Sum          frontend.Variable   `gnark:",public"`

	Outputs []frontend.Variable `gnark:",secret"`
}

func (*SumCircuit) Define

func (circuit *SumCircuit) Define(curveID ecc.ID, api frontend.API) error