A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming language into its QAP form, and perform Groth16's setup, proof and verification steps.
-
Updated
Sep 12, 2024 - Python
A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming language into its QAP form, and perform Groth16's setup, proof and verification steps.
Incremental Merkle Tree (IMT) - a specialized form of a Merkle tree designed to allow for efficient appending of new elements
Add a description, image, and links to the groth16 topic page so that developers can more easily learn about it.
To associate your repository with the groth16 topic, visit your repo's landing page and select "manage topics."