Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
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
Create a Paclet
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`
V
e
r
i
f
y
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
o
o
f
V
e
r
i
f
y
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
o
o
f
[
p
u
b
l
i
c
P
r
o
b
l
e
m
,
w
i
t
n
e
s
s
]
R
e
t
u
r
n
s
T
r
u
e
i
f
t
h
e
g
i
v
e
n
w
i
t
n
e
s
s
s
a
t
i
s
f
i
e
s
t
h
e
v
e
r
i
f
i
c
a
t
i
o
n
a
l
g
o
r
i
t
h
m
d
e
f
i
n
e
d
i
n
t
h
e
c
i
p
h
e
r
p
r
o
t
o
c
o
l
o
f
t
h
e
p
u
b
l
i
c
P
r
o
b
l
e
m
.
F
a
l
s
e
o
t
h
e
r
w
i
s
e
.
Examples
(
0
)
S
e
e
A
l
s
o
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
o
o
f
s
"
"