unit

Documentation

Index

• Constants
• func ExtractInnerVkeyFp(srsDir string, dataDir string) error
• func ExtractOuterVkeyFp(srsDir string, dataDir string) error
• func ExtractUnitVkeyFp(srsDir string, dataDir string) error
• func Prove[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT, ...](dataDir string, subDir string, updates []utils.LightClientUpdateInfo) error
• func SetupInnerCircuit(srsDir string, dataDir string) error
• func SetupOuterCircuit(srsDir string, dataDir string) error
• func SetupUnitCircuit(srsDir string, dataDir string) error

Constants

const (
	Bellatrix                  = "bellatrix"
	BellatrixDomainHex         = "0700000069b7d97441dbd33e5ee5b4cb8fc8b08d6a58a7274b6e6daf19ef4ca7"
	Capella                    = "capella"
	CapellaDomainHex           = "0700000017e2dad36f1d3595152042a9ad23430197557e2e7e82bc7f7fc72972"
	Deneb                      = "deneb"
	DenebDomainHex             = "0700000069ae0e9900d509b38350c53915fccde15c6ef44214aa1b5bdec34d3a"
	AltairForkEpoch            = 0
	SlotPerEpoch               = 32
	SlotPerSyncCommitteePeriod = 8192
)

const (
	InnerCcsFile = "sc_inner.ccs"
	InnerVkFile  = "sc_inner.vk"
	InnerPkFile  = "sc_inner.pk"
	OuterCcsFile = "sc_outer.ccs"
	OuterVkFile  = "sc_outer.vk"
	OuterPkFile  = "sc_outer.pk"
	UnitCcsFile  = "unit.ccs"
	UnitVkFile   = "unit.vk"
	UnitPkFile   = "unit.pk"
)

Functions

func ExtractInnerVkeyFp

func ExtractInnerVkeyFp(srsDir string, dataDir string) error

func ExtractOuterVkeyFp

func ExtractOuterVkeyFp(srsDir string, dataDir string) error

func ExtractUnitVkeyFp

func ExtractUnitVkeyFp(srsDir string, dataDir string) error

func Prove

func Prove[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT, GtEl algebra.GtElementT](
	dataDir string, subDir string, updates []utils.LightClientUpdateInfo) error

FIXME we might need multiple subDir as well

func SetupInnerCircuit

func SetupInnerCircuit(srsDir string, dataDir string) error

func SetupOuterCircuit

func SetupOuterCircuit(srsDir string, dataDir string) error

func SetupUnitCircuit

func SetupUnitCircuit(srsDir string, dataDir string) error