Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- generateProof :: forall f m. (MonadRandom m, AsInteger f, Field f, Show f, Eq f) => ArithCircuit f -> ArithWitness f -> m (ArithCircuitProof f)
Documentation
generateProof :: forall f m. (MonadRandom m, AsInteger f, Field f, Show f, Eq f) => ArithCircuit f -> ArithWitness f -> m (ArithCircuitProof f) Source #
Generate a zero-knowledge proof of computation for an arithmetic circuit with a valid witness