Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
ZeroKnowledgeProofs
Zero-knowledge proofs (zk-Proofs) are communication protocols by which a prover can demonstrate to a verifier that it possesses a solution to a given public problem without revealing the content of the solution.
Create and verify ZeroKnowledgeProofs
— Compile a problem into a new ZeroKnowledgeProof composed of a PublicProblem and a PrivateSolution.
— Cipher the PrivateSolution and PublicProblem into a list of homomorphic CipherProblems and CipherSolutions that will be shared with a verifier.
— Verify the veracity of a ZeroKnowledgeProof for a given PublicProblem based on the proof's witness.
Interactive zkProofs
— Ask the witness of a ZeroKnowledgeProof to retrieve either the CipherSolution or the CipherTransformation.
— Return the witness CipherSolution or CipherTransformation as requested by the verifier in a query.
zk-ZNARK
""