Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

ZeroKnowledgeProofs

Guides

  • ZeroKnowledgeProofs

Tech Notes

  • ZeroKnowledge Authentication
  • zk-SANRK compilation
  • zkSNARK Compilation

Symbols

  • AnswerZeroKnowledgeQuery
  • CompileArithmeticCircuit
  • CompileQuadraticArithmeticProgram
  • EvaluateArithmeticCircuitSolution
  • GenerateZeroKnowledgePrivateSolution
  • GenerateZeroKnowledgeProof
  • GenerateZeroKnowledgeProver
  • GenerateZeroKnowledgeQuery
  • GenerateZeroKnowledgeWitness
  • VerifyZeroKnowledgeProof
  • ZeroKnowledgeCipherProblem
  • ZeroKnowledgeCipherSolution
  • ZeroKnowledgePrivateCipher
  • ZeroKnowledgePrivateCipher
  • ZeroKnowledgePrivateSolution
  • ZeroKnowledgePublicProblem
  • ZeroKnowledgePublicWitness
  • ZeroKnowledgeQuery
  • ZeroKnowledgeResponse
ArmandoCruz`ZeroKnowledgeProofs`
ZeroKnowledgePrivateCipher
​
ZeroKnowledgePrivateCipher
[]
represents the private part of a zero knowledge prover, it stores the homomorphic ciphers that transforms the ZeroKnowledgePublicProblem into the public cipher problems stored in the ZeroKnowledgePublicWitness and the cipher solutions to the cipher problems.
​
Details and Options
▪
ZeroKnowledgePrivateCipher
objects can be used with functions such as__.Corresponding pairs of
ZeroKnowledgePrivateCipher
and __ objects can be generated with __.​
ZeroKnowledgePrivateCipher[...][
prop
]
can be used to extract properties of the public problem.Basic properties for a
ZeroKnowledgePrivateCipher
include:​
"Type"
type of protocol of the ZeroKnowledgePublicProblem
"Rounds"
requested number of cipher problems to verify
"PrivateCipherSolutions"
list of the homomorphic ciphers that transforms the public problem into the public cipher problems and their cipher solutions.​
"PublicCipherProblems"
list of the cipher problems that will be shared with the verifier​
""

© 2025 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com