zk

Documentation

Index

• Constants
• func CreateSnark(circuit CircuitFunc, privateParams, publicParams interface{}) ([]byte, error)
• func ValidateSnark(circuit CircuitFunc, publicParams interface{}, proof []byte) (bool, error)
• type CircuitFunc

Constants

const MockProofSize = 9000

Functions

func CreateSnark

func CreateSnark(circuit CircuitFunc, privateParams, publicParams interface{}) ([]byte, error)

CreateSnark is a placeholder for a function call to the rust lurk library. Right now we do validate that the input parameters are valid, but we just return random bytes instead of a proof. This obviously needs to be changed.

func ValidateSnark

func ValidateSnark(circuit CircuitFunc, publicParams interface{}, proof []byte) (bool, error)

ValidateSnark is a placeholder for a function call to the rust lurk library. Right now we always return true for the snark being valid. This will obviously need to be changed.

Types

type CircuitFunc

type CircuitFunc func(privateParams, publicParams interface{}) bool