ArmandoCruz/ZeroKnowledgeProofs

ArmandoCruz`ZeroKnowledgeProofs`

ZeroKnowledgePublicWitness

ZeroKnowledgePublicWitness []
	represents the public part of a zero knowledge prover, it stores the public cipher problems that will be shared with a verifier to testify that the prover posses the ZeroKnowledgePrivateSolution to the ZeroKnowledgePublicProblem.

Details and Options

▪

objects can be used with functions such as__.

▪

Corresponding pairs of

and __ objects can be generated with __.

▪

[...]["prop"]

can be used to extract properties of the public problem.

▪

Basic properties for a

include:

	"Type"	type of protocol of the ZeroKnowledgePublicProblem
	"Rounds"	requested number of cipher problems to verify
	"PublicCipherProblems"	list of the cipher problems that will be shared with the verifier

""