Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
Types ¶
type KZG1Settings ¶
type KZG1Settings struct {
// setup values
// [b.multiply(b.G1, pow(s, i, MODULUS)) for i in range(WIDTH+1)],
PK []gmcl.G1
// [b.multiply(b.G2, pow(s, i, MODULUS)) for i in range(WIDTH+1)],
VK []gmcl.G2
}
func NewKZG1Settings ¶
func NewKZG1Settings(pk []gmcl.G1, vk []gmcl.G2) *KZG1Settings
func (*KZG1Settings) CheckProofSingle ¶
func (ks *KZG1Settings) CheckProofSingle(commitment *gmcl.G1, proof *gmcl.G1, x *gmcl.Fr, y *gmcl.Fr) bool
Check a proof for a KZG commitment for an evaluation f(x) = y
func (*KZG1Settings) CommitToPoly ¶
func (ks *KZG1Settings) CommitToPoly(coeffs []gmcl.Fr) *gmcl.G1
KZG commitment to polynomial in coefficient form
type KZG2Settings ¶
type KZG2Settings struct {
// setup values
// [b.multiply(b.G1, pow(s, i, MODULUS)) for i in range(WIDTH+1)],
PK []gmcl.G2
// [b.multiply(b.G2, pow(s, i, MODULUS)) for i in range(WIDTH+1)],
VK []gmcl.G1
}
func NewKZG2Settings ¶
func NewKZG2Settings(pk []gmcl.G2, vk []gmcl.G1) *KZG2Settings
func (*KZG2Settings) CheckProofSingle ¶
func (ks *KZG2Settings) CheckProofSingle(commitment *gmcl.G2, proof *gmcl.G2, x *gmcl.Fr, y *gmcl.Fr) bool
Check a proof for a KZG commitment for an evaluation f(x) = y
func (*KZG2Settings) CommitToPoly ¶
func (ks *KZG2Settings) CommitToPoly(coeffs []gmcl.Fr) *gmcl.G2
KZG commitment to polynomial in coefficient form
Source Files
Click to show internal directories.
Click to hide internal directories.