# provers

Functions to generate proofs and arguments in various types of systems.

Each implementation accepts and compiles an ashlang program, or a compiled [`ar1cs`](../r1cs/README.md) representation and then generates an argument of knowledge in the selected scheme.
