zklib

Documentation

Index

• Variables
• type BaseProof
  • func BootBaseProof(baseTxSize int) (*BaseProof, error)
  • func NewBaseProof(baseTxSize int) (*BaseProof, error)
  • func (po *BaseProof) ComputeProof(fullWitness witness.Witness) (native_groth16.Proof, error)
  • func (po *BaseProof) CreateBaseCaseWitness(rawTxBytes []byte, currTxId [32]byte) (witness.Witness, error)
  • func (po *BaseProof) CreateLightWitness(genesisTxId []byte) (*witness.Witness, error)
  • func (po *BaseProof) ReadKeys() error
  • func (po *BaseProof) VerifyProof(witness *witness.Witness, proof *native_groth16.Proof) bool
  • func (po *BaseProof) WriteKeys() error
• type NormalProof
  • func NewNormalProof(prefixSize int, postfixSize int, baseProof *BaseProof) (*NormalProof, error)
  • func (po *NormalProof) ComputeProof(fullWitness witness.Witness) (native_groth16.Proof, error)
  • func (po *NormalProof) CreateFullWitness(prevPublicWitness witness.Witness, prevProof native_groth16.Proof, ...) (*witness.Witness, error)
  • func (po *NormalProof) CreateLightWitness(txId []byte) (*witness.Witness, error)
  • func (po *NormalProof) ReadKeys() error
  • func (po *NormalProof) SetupKeys() error
  • func (po *NormalProof) VerifyProof(witness *witness.Witness, proof *native_groth16.Proof) bool
  • func (po *NormalProof) WriteKeys() error
• type ProofSystem
  • func NewProofSystem(normalPrefixSize int, normalPostfixSize int) (*ProofSystem, error)
  • func (ps *ProofSystem) CreateBaseCaseProof(pInfo txivc.BaseProofInfo) (string, error)
  • func (ps *ProofSystem) VerifyBaseProof(txId string, jsonProof string) bool

Variables

var BASE_RAW_TX_SIZE = 191

Types

type BaseProof

type BaseProof struct {
	CurveId    ecc.ID
	InnerField *big.Int
	OuterField *big.Int

	Ccs          *constraint.ConstraintSystem
	VerifyingKey *native_groth16.VerifyingKey
	ProvingKey   *native_groth16.ProvingKey
	// contains filtered or unexported fields
}

func BootBaseProof

func BootBaseProof(baseTxSize int) (*BaseProof, error)

func NewBaseProof

func NewBaseProof(baseTxSize int) (*BaseProof, error)

func (*BaseProof) ComputeProof

func (po *BaseProof) ComputeProof(fullWitness witness.Witness) (
	native_groth16.Proof,
	error,
)

func (*BaseProof) CreateBaseCaseWitness

func (po *BaseProof) CreateBaseCaseWitness(
	rawTxBytes []byte,
	currTxId [32]byte,
) (witness.Witness, error)

FIXME: This is duplicated from groth16/common.go

func (*BaseProof) CreateLightWitness

func (po *BaseProof) CreateLightWitness(genesisTxId []byte) (*witness.Witness, error)

func (*BaseProof) ReadKeys

func (po *BaseProof) ReadKeys() error

func (*BaseProof) VerifyProof

func (po *BaseProof) VerifyProof(witness *witness.Witness, proof *native_groth16.Proof) bool

func (*BaseProof) WriteKeys

func (po *BaseProof) WriteKeys() error

generate innerVK, innerPK, compiled circuit and save to disk

type NormalProof

type NormalProof struct {
	CurveId    ecc.ID
	InnerField *big.Int
	OuterField *big.Int

	Ccs *constraint.ConstraintSystem

	VerifyingKey *native_groth16.VerifyingKey
	ProvingKey   *native_groth16.ProvingKey

	BaseProofObj *BaseProof
	// contains filtered or unexported fields
}

func NewNormalProof

func NewNormalProof(prefixSize int, postfixSize int, baseProof *BaseProof) (*NormalProof, error)

func (*NormalProof) ComputeProof

func (po *NormalProof) ComputeProof(fullWitness witness.Witness) (native_groth16.Proof, error)

func (*NormalProof) CreateFullWitness

func (po *NormalProof) CreateFullWitness(
	prevPublicWitness witness.Witness,
	prevProof native_groth16.Proof,
	prevVk native_groth16.VerifyingKey,
	prefixBytes []byte, prevTxnIdBytes []byte, postFixBytes []byte, spendingTxId []byte) (*witness.Witness, error)

func (*NormalProof) CreateLightWitness

func (po *NormalProof) CreateLightWitness(txId []byte) (*witness.Witness, error)

func (*NormalProof) ReadKeys

func (po *NormalProof) ReadKeys() error

func (*NormalProof) SetupKeys

func (po *NormalProof) SetupKeys() error

func (*NormalProof) VerifyProof

func (po *NormalProof) VerifyProof(witness *witness.Witness, proof *native_groth16.Proof) bool

func (*NormalProof) WriteKeys

func (po *NormalProof) WriteKeys() error

type ProofSystem

type ProofSystem struct {
	InnerField *big.Int
	OuterField *big.Int
	// contains filtered or unexported fields
}

func NewProofSystem

func NewProofSystem(normalPrefixSize int, normalPostfixSize int) (*ProofSystem, error)

func (*ProofSystem) CreateBaseCaseProof

func (ps *ProofSystem) CreateBaseCaseProof(pInfo txivc.BaseProofInfo) (string, error)

func (*ProofSystem) VerifyBaseProof

func (ps *ProofSystem) VerifyBaseProof(txId string, jsonProof string) bool