services

Documentation

Index

• type CircuitData
• type IProver
• type MockKVStore
• type Prover
  • func NewService() Prover
  • func (p Prover) GenerateProof(fullWitness witness.Witness, circuitName string) (groth16.Proof, error)
  • func (Prover) VerifyProof(proof groth16.Proof, circuitName string, publicWitness witness.Witness) bool

Types

type CircuitData

type CircuitData struct {
	Circuit frontend.Circuit
	Curve   ecc.ID
	CS      constraint.ConstraintSystem
	PK      groth16.ProvingKey
	VK      groth16.VerifyingKey
}

type IProver

type IProver interface {
	Test(ctx context.Context) error
	GenerateProof(ctx context.Context, circuit frontend.Circuit, circuitName string) (groth16.Proof, error)
	VerifyProof(ctx context.Context, proof groth16.Proof, circuitName string, publicWitness witness.Witness) (bool, error)
}

type MockKVStore

type MockKVStore struct {
	CircuitData map[string]CircuitData
}

var (
	KVStore MockKVStore = MockKVStore{CircuitData: make(map[string]CircuitData)}
)

TODO: this should be replaced with a real persistence layer

type Prover

type Prover struct{}

func NewService

func NewService() Prover

func (Prover) GenerateProof

func (p Prover) GenerateProof(fullWitness witness.Witness, circuitName string) (groth16.Proof, error)

func (Prover) VerifyProof

func (Prover) VerifyProof(proof groth16.Proof, circuitName string, publicWitness witness.Witness) bool