:mod:`groth16`
==============

.. py:module:: groth16


Module Contents
---------------


Functions
~~~~~~~~~

.. autoapisummary::

   groth16.setup
   groth16.prov
   groth16.vfy


.. data:: RationalGenerator
   

   

.. function:: setup(R: RationalGenerator, m: int) -> Tuple[Iterable, Tuple]


.. function:: prov(R: RationalGenerator, H, tau, sigma, a) -> Tuple


.. function:: vfy(R, tau, a, pi)