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`
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
i
v
a
t
e
C
i
p
h
e
r
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
i
v
a
t
e
C
i
p
h
e
r
[
]
r
e
p
r
e
s
e
n
t
s
t
h
e
p
r
i
v
a
t
e
p
a
r
t
o
f
a
z
e
r
o
k
n
o
w
l
e
d
g
e
p
r
o
v
e
r
,
i
t
s
t
o
r
e
s
t
h
e
h
o
m
o
m
o
r
p
h
i
c
c
i
p
h
e
r
s
t
h
a
t
t
r
a
n
s
f
o
r
m
s
t
h
e
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
u
b
l
i
c
P
r
o
b
l
e
m
i
n
t
o
t
h
e
p
u
b
l
i
c
c
i
p
h
e
r
p
r
o
b
l
e
m
s
s
t
o
r
e
d
i
n
t
h
e
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
u
b
l
i
c
W
i
t
n
e
s
s
a
n
d
t
h
e
c
i
p
h
e
r
s
o
l
u
t
i
o
n
s
t
o
t
h
e
c
i
p
h
e
r
p
r
o
b
l
e
m
s
.
D
e
t
a
i
l
s
a
n
d
O
p
t
i
o
n
s
▪
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
i
v
a
t
e
C
i
p
h
e
r
o
b
j
e
c
t
s
c
a
n
b
e
u
s
e
d
w
i
t
h
f
u
n
c
t
i
o
n
s
s
u
c
h
a
s
_
_
.
C
o
r
r
e
s
p
o
n
d
i
n
g
p
a
i
r
s
o
f
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
i
v
a
t
e
C
i
p
h
e
r
a
n
d
_
_
o
b
j
e
c
t
s
c
a
n
b
e
g
e
n
e
r
a
t
e
d
w
i
t
h
_
_
.
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
i
v
a
t
e
C
i
p
h
e
r
[
.
.
.
]
[
p
r
o
p
]
c
a
n
b
e
u
s
e
d
t
o
e
x
t
r
a
c
t
p
r
o
p
e
r
t
i
e
s
o
f
t
h
e
p
u
b
l
i
c
p
r
o
b
l
e
m
.
B
a
s
i
c
p
r
o
p
e
r
t
i
e
s
f
o
r
a
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
i
v
a
t
e
C
i
p
h
e
r
i
n
c
l
u
d
e
:
"
T
y
p
e
"
t
y
p
e
o
f
p
r
o
t
o
c
o
l
o
f
t
h
e
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
u
b
l
i
c
P
r
o
b
l
e
m
"
R
o
u
n
d
s
"
r
e
q
u
e
s
t
e
d
n
u
m
b
e
r
o
f
c
i
p
h
e
r
p
r
o
b
l
e
m
s
t
o
v
e
r
i
f
y
"
P
r
i
v
a
t
e
C
i
p
h
e
r
S
o
l
u
t
i
o
n
s
"
l
i
s
t
o
f
t
h
e
h
o
m
o
m
o
r
p
h
i
c
c
i
p
h
e
r
s
t
h
a
t
t
r
a
n
s
f
o
r
m
s
t
h
e
p
u
b
l
i
c
p
r
o
b
l
e
m
i
n
t
o
t
h
e
p
u
b
l
i
c
c
i
p
h
e
r
p
r
o
b
l
e
m
s
a
n
d
t
h
e
i
r
c
i
p
h
e
r
s
o
l
u
t
i
o
n
s
.
"
P
u
b
l
i
c
C
i
p
h
e
r
P
r
o
b
l
e
m
s
"
l
i
s
t
o
f
t
h
e
c
i
p
h
e
r
p
r
o
b
l
e
m
s
t
h
a
t
w
i
l
l
b
e
s
h
a
r
e
d
w
i
t
h
t
h
e
v
e
r
i
f
i
e
r
"
"