math

Documentation

Overview

Copyright (C) 2019-2023 David Florness SPDX-License-Identifier: MPL-2.0

Copyright (C) 2019-2023 David Florness SPDX-License-Identifier: MPL-2.0

Copyright (C) 2019-2023 David Florness SPDX-License-Identifier: MPL-2.0

Index

• func EvalsCircuitR1CS(numVoters int, numCandidates int) (constraint.ConstraintSystem, error)
• func LagrangeEvalAtZero(points []Point) *fr.Element
• func SumCircuitR1CS(numVoters int) (constraint.ConstraintSystem, error)
• type EvalsCircuit
  • func (circuit *EvalsCircuit) Define(api frontend.API) error
• type Point
• type Poly
  • func NewRandomPoly(ballot [][]byte, 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(api frontend.API) error

Functions

func EvalsCircuitR1CS

func EvalsCircuitR1CS(numVoters int, numCandidates int) (constraint.ConstraintSystem, error)

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(numVoters int) (constraint.ConstraintSystem, error)

Types

type EvalsCircuit

type EvalsCircuit struct {
	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(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"`
	Inputs []*fr.Element `json:"inputs"`
	// contains filtered or unexported fields
}

func NewRandomPoly

func NewRandomPoly(ballot [][]byte, 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 {
	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(api frontend.API) error