ArmandoCruz/ZeroKnowledgeProofs
(0.0.4)
current version: 1.1.0 »
Installation Instructions
To install this paclet in your Wolfram Language environment,
evaluate this code:
PacletInstall["ArmandoCruz/ZeroKnowledgeProofs"]
To load the code after installation, evaluate this code:
Needs["ArmandoCruz`ZeroKnowledgeProofs`"]
Examples
Interactive proofs (5)
Generate a private solution and a public problem with an interactive protocol:
Generate an interactive prover with the private solution that will take 5 rounds:
Generate a query to the prover's public witness:
Respond to the query with the prover's oracle:
Verify the proof:
zk-SNARKs (3)
Compile arithmetic problems into corresponding arithmetic circuits:
Compile the Arithmetic circuit into a Quadratic Arithmetic Program (QAP):
The generated QAP satisfies the characteristic property: V(x)W(x)-K(x)=T(x)=F(x)H(x) for some polynomial H:
Publisher
ArmandoCruz
Compatibility
Wolfram Language Version 13.
Version History
-
1.1.0
– 28 February 2024
-
1.0.1
– 18 February 2024
-
1.0.0
– 18 February 2024
-
0.0.4
– 30 April 2023
-
0.0.3
– 20 July 2022
-
0.0.2
– 20 July 2022
-
0.0.1
– 18 July 2022
MIT License
Paclet Source