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`
G
e
n
e
r
a
t
e
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
i
v
a
t
e
S
o
l
u
t
i
o
n
G
e
n
e
r
a
t
e
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
i
v
a
t
e
S
o
l
u
t
i
o
n
[
t
y
p
e
]
g
e
n
e
r
a
t
e
s
a
z
e
r
o
k
n
o
w
l
e
d
g
e
p
r
i
v
a
t
e
s
o
l
u
t
i
o
n
u
s
i
n
g
p
r
o
t
o
c
o
l
t
y
p
e
.
Examples
(
1
)
Basic Examples
(
1
)
I
n
[
1
]
:
=
N
e
e
d
s
[
"
A
r
m
a
n
d
o
C
r
u
z
`
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
o
o
f
s
`
"
]
I
n
[
2
]
:
=
G
e
n
e
r
a
t
e
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
i
v
a
t
e
S
o
l
u
t
i
o
n
[
"
I
s
o
m
o
r
p
h
i
s
m
"
]
O
u
t
[
2
]
=
Z
e
r
o
K
n
o
w
l
e
d
g
e
P
r
i
v
a
t
e
S
o
l
u
t
i
o
n
T
y
p
e
:
I
s
o
m
o
r
p
h
i
s
m
P
r
i
v
a
t
e
s
o
l
u
t
i
o
n
s
i
z
e
:
2
0
P
u
b
l
i
c
p
r
o
b
l
e
m
s
i
z
e
:
{
2
0
,
1
0
0
}
"
"