A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming laguage into its QAP form, and perform Groth16's setup, proof and verification steps.
-
Updated
Apr 6, 2024 - Python
A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming laguage 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."