groth16

Module Contents

Functions

setup(R: RationalGenerator, m: int) → Tuple[Iterable, Tuple]
prov(R: RationalGenerator, H, tau, sigma, a) → Tuple
vfy(R, tau, a, pi)

groth16.RationalGenerator

groth16.setup(R: RationalGenerator, m: int) → Tuple[Iterable, Tuple]

groth16.prov(R: RationalGenerator, H, tau, sigma, a) → Tuple

groth16.vfy(R, tau, a, pi)