Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- verifyProof :: (AsInteger f, Field f, Eq f, Show f) => [Point] -> ArithCircuitProof f -> ArithCircuit f -> Bool
Documentation
verifyProof :: (AsInteger f, Field f, Eq f, Show f) => [Point] -> ArithCircuitProof f -> ArithCircuit f -> Bool Source #
Verify that a zero-knowledge proof holds for an arithmetic circuit given committed input values