operations

Documentation

Index

• func FileExists(path string) (bool, error)
• func NewConstraintSystem(circuit frontend.Circuit) (constraint.ConstraintSystem, error)
• func OpenFileOnCreaterOverwrite(file string) (*os.File, error)
• func PlonkProve(ccs constraint.ConstraintSystem, pk native_plonk.ProvingKey, ...) (native_plonk.Proof, witness.Witness, error)
• func PlonkSetup(ccs constraint.ConstraintSystem, srs *kzg.SRS, srsLagrange *kzg.SRS) (native_plonk.ProvingKey, native_plonk.VerifyingKey, error)
• func PlonkVerify(vk native_plonk.VerifyingKey, proof native_plonk.Proof, wit witness.Witness, ...) error
• func Power2Index(n uint64) int
• func ReadCcs(fn string) (constraint.ConstraintSystem, error)
• func ReadCcsAndVk(ccsFile, vkFile string) (constraint.ConstraintSystem, plonk.VerifyingKey, error)
• func ReadPk(fn string) (plonk.ProvingKey, error)
• func ReadProof(fn string) (plonk.Proof, error)
• func ReadSrs(size int, srsDir string) (*kzg.SRS, *kzg.SRS, error)
• func ReadVk(fn string) (plonk.VerifyingKey, error)
• func ReadWitness(fn string) (witness.Witness, error)
• func SaveProofAndWitnessInSol(proof *Proof, proofSolFile, witnessSolFile string) error
• func WriteCcs(ccs constraint.ConstraintSystem, fn string) error
• func WritePk(pk plonk.ProvingKey, fn string) error
• func WriteProof(proof plonk.Proof, fn string) error
• func WriteProofInSolidity(proof plonk.Proof, fn string) error
• func WriteVk(vk plonk.VerifyingKey, fn string) error
• func WriteVkInSolidity(vk plonk.VerifyingKey, fn string) error
• func WriteWitness(wit witness.Witness, fn string) error
• func WriteWitnessInJson(wit witness.Witness, fn string) error
• type CircuitFile
• type CircuitOperations
  • func (c *CircuitOperations) ConstraintSystem() (constraint.ConstraintSystem, error)
  • func (c *CircuitOperations) GetVerifyingKey() (native_plonk.VerifyingKey, error)
  • func (c *CircuitOperations) LoadCcsPkVk() error
  • func (c *CircuitOperations) ProveWithAssignment(assignment frontend.Circuit, isFront bool) (*Proof, error)
  • func (c *CircuitOperations) SaveCcsPkVk(ccsFile, pkFile, vkFile string) error
  • func (c *CircuitOperations) SaveProofAndWitness(proof *Proof, proofFile, witnessFile string) error
  • func (c *CircuitOperations) SetupWithCircuit(circuit frontend.Circuit) (constraint.ConstraintSystem, native_plonk.ProvingKey, ...)
  • func (c *CircuitOperations) UnsafeFingerPrint() ([]byte, error)
  • func (c *CircuitOperations) Verify(vk native_plonk.VerifyingKey, proof native_plonk.Proof, wit witness.Witness, ...) error
• type Config
• type Proof
  • func ReadProofAndWitness(proofFile, pubWitnessFile string) (*Proof, error)

Functions

func FileExists

func FileExists(path string) (bool, error)

func NewConstraintSystem

func NewConstraintSystem(circuit frontend.Circuit) (constraint.ConstraintSystem, error)

func OpenFileOnCreaterOverwrite

func OpenFileOnCreaterOverwrite(file string) (*os.File, error)

func PlonkProve

func PlonkProve(ccs constraint.ConstraintSystem, pk native_plonk.ProvingKey, assignment frontend.Circuit, isFront bool) (native_plonk.Proof, witness.Witness, error)

func PlonkSetup

func PlonkSetup(ccs constraint.ConstraintSystem, srs *kzg.SRS, srsLagrange *kzg.SRS) (native_plonk.ProvingKey, native_plonk.VerifyingKey, error)

func PlonkVerify

func PlonkVerify(vk native_plonk.VerifyingKey, proof native_plonk.Proof, wit witness.Witness, isFront bool) error

func Power2Index

func Power2Index(n uint64) int

func ReadCcs

func ReadCcs(fn string) (constraint.ConstraintSystem, error)

func ReadCcsAndVk

func ReadCcsAndVk(ccsFile, vkFile string) (constraint.ConstraintSystem, plonk.VerifyingKey, error)

func ReadPk

func ReadPk(fn string) (plonk.ProvingKey, error)

func ReadProof

func ReadProof(fn string) (plonk.Proof, error)

func ReadSrs

func ReadSrs(size int, srsDir string) (*kzg.SRS, *kzg.SRS, error)

func ReadVk

func ReadVk(fn string) (plonk.VerifyingKey, error)

func ReadWitness

func ReadWitness(fn string) (witness.Witness, error)

func SaveProofAndWitnessInSol

func SaveProofAndWitnessInSol(proof *Proof, proofSolFile, witnessSolFile string) error

func WriteCcs

func WriteCcs(ccs constraint.ConstraintSystem, fn string) error

func WritePk

func WritePk(pk plonk.ProvingKey, fn string) error

func WriteProof

func WriteProof(proof plonk.Proof, fn string) error

func WriteProofInSolidity

func WriteProofInSolidity(proof plonk.Proof, fn string) error

func WriteVk

func WriteVk(vk plonk.VerifyingKey, fn string) error

func WriteVkInSolidity

func WriteVkInSolidity(vk plonk.VerifyingKey, fn string) error

func WriteWitness

func WriteWitness(wit witness.Witness, fn string) error

func WriteWitnessInJson

func WriteWitnessInJson(wit witness.Witness, fn string) error

Types

type CircuitFile

type CircuitFile struct {
	Ccs   constraint.ConstraintSystem
	Vkeys []plonk.VerifyingKey
}

type CircuitOperations

type CircuitOperations struct {
	ProvingKey    native_plonk.ProvingKey
	VerifyingKey  native_plonk.VerifyingKey
	Ccs           constraint.ConstraintSystem
	Config        *Config
	ComponentName string
	Logger        *zerolog.Logger
}

func (*CircuitOperations) ConstraintSystem

func (c *CircuitOperations) ConstraintSystem() (constraint.ConstraintSystem, error)

func (*CircuitOperations) GetVerifyingKey

func (c *CircuitOperations) GetVerifyingKey() (native_plonk.VerifyingKey, error)

func (*CircuitOperations) LoadCcsPkVk

func (c *CircuitOperations) LoadCcsPkVk() error

func (*CircuitOperations) ProveWithAssignment

func (c *CircuitOperations) ProveWithAssignment(assignment frontend.Circuit, isFront bool) (*Proof, error)

func (*CircuitOperations) SaveCcsPkVk

func (c *CircuitOperations) SaveCcsPkVk(ccsFile, pkFile, vkFile string) error

func (*CircuitOperations) SaveProofAndWitness

func (c *CircuitOperations) SaveProofAndWitness(proof *Proof, proofFile, witnessFile string) error

func (*CircuitOperations) SetupWithCircuit

func (c *CircuitOperations) SetupWithCircuit(circuit frontend.Circuit) (constraint.ConstraintSystem, native_plonk.ProvingKey, native_plonk.VerifyingKey, error)

func (*CircuitOperations) UnsafeFingerPrint

func (c *CircuitOperations) UnsafeFingerPrint() ([]byte, error)

func (*CircuitOperations) Verify

func (c *CircuitOperations) Verify(vk native_plonk.VerifyingKey, proof native_plonk.Proof, wit witness.Witness, isFront bool) error

type Config

type Config struct {
	CircuitDir string
	SrsDir     string
	DataDir    string

	CcsFile string
	PkFile  string
	VkFile  string
}

type Proof

type Proof struct {
	Proof   plonk.Proof
	Witness witness.Witness
}

func ReadProofAndWitness

func ReadProofAndWitness(proofFile, pubWitnessFile string) (*Proof, error)