| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Bulletproofs.ArithmeticCircuit.Prover
Synopsis
- generateProof :: forall m. MonadRandom m => ArithCircuit Fr -> ArithWitness Fr PA -> m (ArithCircuitProof Fr PA)
Documentation
generateProof :: forall m. MonadRandom m => ArithCircuit Fr -> ArithWitness Fr PA -> m (ArithCircuitProof Fr PA) Source #
Generate a zero-knowledge proof of computation for an arithmetic circuit with a valid witness