circuit

Documentation

Index

• Constants
• func CheckInterface(a interface{}) bool
• func CommitMiMC(msg []byte) []byte
• func EditCheck(api frontend.API, OldRecord []frontend.Variable, NewRecord []frontend.Variable, ...)
• func EncryptMimcFr(key fr.Element, message fr.Element) fr.Element
• func NBits(field *big.Int, inputs []*big.Int, results []*big.Int) error
• func StringToAscii(input string) []int64
• type Array
• type Dict
• type EditCircuit
  • func (c *EditCircuit) Define(api frontend.API) error
• type Integer
  • func (x Integer) IsEmpty(api frontend.API) frontend.Variable
• type IsEmptyInterface
• type Limit
• type MiMC
  • func NewMiMC(api frontend.API) (MiMC, error)
  • func (h *MiMC) Reset()
  • func (h *MiMC) Sum() frontend.Variable
  • func (h *MiMC) Write(data ...frontend.Variable)
• type Profile
• type ProfileJSON
• type String
  • func (x String) IsEmpty(api frontend.API) frontend.Variable

Constants

const (
	BlockSize = fr.Bytes // BlockSize size that mimc consumes
)

const DUMMY = 10000

const MaxKeyLen = 25

const MergeLen = 31

Functions

func CheckInterface

func CheckInterface(a interface{}) bool

func CommitMiMC

func CommitMiMC(msg []byte) []byte

func EditCheck

func EditCheck(api frontend.API, OldRecord []frontend.Variable, NewRecord []frontend.Variable, limit Limit, commitedKey frontend.Variable, oldContent Profile, newContent Profile, Key frontend.Variable)

func EncryptMimcFr

func EncryptMimcFr(key fr.Element, message fr.Element) fr.Element

func NBits

func NBits(field *big.Int, inputs []*big.Int, results []*big.Int) error

NBits returns the first bits of the input. The number of returned bits is defined by the length of the results slice.

func StringToAscii

func StringToAscii(input string) []int64

Types

type Array

type Array []interface{}

type Array []IsEmptyInterface // Each element is a Integer or String

type Dict

type Dict struct {
	// contains filtered or unexported fields
}

Each var is a UTF-8 ASCII character

type EditCircuit

type EditCircuit struct {
	OldRecord    []frontend.Variable `gnark:",public"`
	NewRecord    []frontend.Variable `gnark:",public"`
	Limit        Limit               `gnark:",public"`
	CommittedKey frontend.Variable   `gnark:",public"`
	OldContent   Profile
	NewContent   Profile
	Key          frontend.Variable
}

func (*EditCircuit) Define

func (c *EditCircuit) Define(api frontend.API) error

type Integer

type Integer struct {
	X        frontend.Variable
	MaxDigit int
}

func (Integer) IsEmpty

func (x Integer) IsEmpty(api frontend.API) frontend.Variable

type IsEmptyInterface

type IsEmptyInterface interface {
	IsEmpty(api frontend.API) frontend.Variable
}

type Limit

type Limit struct {
	Name []String

	Age []frontend.Variable

	Publications___Year []frontend.Variable

	Transcript___Details___Course []frontend.Variable

	Transcript___Details___Grade []frontend.Variable
}

type MiMC

type MiMC struct {
	// contains filtered or unexported fields
}

MiMC contains the params of the Mimc hash func and the curves on which it is implemented

func NewMiMC

func NewMiMC(api frontend.API) (MiMC, error)

NewMiMC returns a MiMC instance, than can be used in a gnark circuit

func (*MiMC) Reset

func (h *MiMC) Reset()

Reset resets the Hash to its initial state.

func (*MiMC) Sum

func (h *MiMC) Sum() frontend.Variable

Hash hash (in r1cs form) using Miyaguchi–Preneel: https://en.wikipedia.org/wiki/One-way_compression_function The XOR operation is replaced by field addition. See github.com/consensys/gnark-crypto for reference implementation.

func (*MiMC) Write

func (h *MiMC) Write(data ...frontend.Variable)

Write adds more data to the running hash.

type Profile

type Profile struct {
	Name         String
	Age          Integer
	Publications []struct {
		Title String
		Year  Integer
	}
	Transcript struct {
		Details []struct {
			Course String
			Grade  Integer
		}
	}
}

type ProfileJSON

type ProfileJSON struct {
	Name string `json:"Name"`

	Age int64 `json:"Age"`

	Publications []struct {
		Title string `json:"Title"`

		Year int64 `json:"Year"`
	}
	Transcript struct {
		Details []struct {
			Course string `json:"Course"`

			Grade int64 `json:"Grade"`
		}
	}
}

type String

type String []frontend.Variable // Each var is a UTF-8 ASCII character

func (String) IsEmpty

func (x String) IsEmpty(api frontend.API) frontend.Variable