Documentation
¶
Overview ¶
Reference: https://datatracker.ietf.org/doc/html/rfc8235#page-6 Prove the knowledge of [k] given [k]G, G and the curve where the points reside
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func ProveGen ¶
func ProveGen(myGroup group.Group, DB, R group.Element, kA group.Scalar, proverLabel, verifierLabel, dst []byte, rnd io.Reader) (group.Element, group.Scalar)
Input: myGroup, the group we operate in Input: R = [kA]DB Input: proverLabel, verifierLabel labels of prover and verifier Ouptput: (V,r), the prove such that we know kA without revealing kA
func Verify ¶
func Verify(myGroup group.Group, DB, R group.Element, V group.Element, r group.Scalar, proverLabel, verifierLabel, dst []byte) bool
Input: myGroup, the group we operate in Input: R = [kA]DB Input: (V,r), the prove such that the prover knows kA Input: proverLabel, verifierLabel labels of prover and verifier Output: V ?= [r]D_B +[c]R
Types ¶
This section is empty.
Click to show internal directories.
Click to hide internal directories.