Documentation ¶
Index ¶
- Constants
- func GetFpBytes(fpHex string) []byte
- func GetGenesisIdBytes() []byte
- func LoadGenesisVkey() ...
- func LoadRecursiveVkey() ...
- func LoadUnitVkey() ...
- func NewGenesisCcs(ccsUnit constraint.ConstraintSystem, unitFp chainark.FingerPrintBytes) constraint.ConstraintSystem
- func NewRecursiveCcs(ccsUnit constraint.ConstraintSystem, ccsGenesis constraint.ConstraintSystem, ...) constraint.ConstraintSystem
- func NewUnitCcs() constraint.ConstraintSystem
- func NewUnitCircuit() frontend.Circuit
- type UnitCircuit
Constants ¶
View Source
const FingerPrintBitsPerElement = 254
View Source
const FpLength = 1
View Source
const GenesisPkeyFile = "genesis.pkey"
View Source
const GenesisProofFile = "genesis.proof"
View Source
const GenesisVkeyFile = "genesis.vkey"
View Source
const IDLength = 2 // linkage id is sha256, thus 256 bits = 128 * 2
View Source
const LinkageIDBitsPerElement = 128
View Source
const RecursivePkeyFile = "recursive.pkey"
View Source
const RecursiveProofFile = "recursive.proof"
View Source
const RecursiveVkeyFile = "recursive.vkey"
View Source
const UnitPkeyFile = "unit.pkey"
View Source
const UnitProofFile = "unit.proof"
View Source
const UnitVkeyFile = "unit.vkey"
Variables ¶
This section is empty.
Functions ¶
func GetFpBytes ¶ added in v0.2.0
func GetGenesisIdBytes ¶
func GetGenesisIdBytes() []byte
func LoadGenesisVkey ¶ added in v0.2.0
func LoadGenesisVkey() recursive_plonk.VerifyingKey[sw_bn254.ScalarField, sw_bn254.G1Affine, sw_bn254.G2Affine]
func LoadRecursiveVkey ¶ added in v0.2.0
func LoadRecursiveVkey() recursive_plonk.VerifyingKey[sw_bn254.ScalarField, sw_bn254.G1Affine, sw_bn254.G2Affine]
func LoadUnitVkey ¶ added in v0.2.0
func LoadUnitVkey() recursive_plonk.VerifyingKey[sw_bn254.ScalarField, sw_bn254.G1Affine, sw_bn254.G2Affine]
func NewGenesisCcs ¶ added in v0.2.0
func NewGenesisCcs( ccsUnit constraint.ConstraintSystem, unitFp chainark.FingerPrintBytes, ) constraint.ConstraintSystem
func NewRecursiveCcs ¶ added in v0.2.0
func NewRecursiveCcs( ccsUnit constraint.ConstraintSystem, ccsGenesis constraint.ConstraintSystem, unitFp chainark.FingerPrintBytes, genesisFp chainark.FingerPrintBytes, ) constraint.ConstraintSystem
func NewUnitCcs ¶ added in v0.2.0
func NewUnitCcs() constraint.ConstraintSystem
func NewUnitCircuit ¶ added in v0.2.0
Types ¶
type UnitCircuit ¶
type UnitCircuit[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra.G2ElementT, GtEl algebra.GtElementT] struct { BeginID chainark.LinkageID `gnark:",public"` EndID chainark.LinkageID `gnark:",public"` }
Click to show internal directories.
Click to hide internal directories.