Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type Tx a = Transaction 6 0 11 10 () a Source #
Instances
SymbolicData a x => Hash (ArithmeticCircuit a) x Source # | |
Defined in ZkFold.Symbolic.Cardano.Contracts.BatchTransfer hash :: x -> ArithmeticCircuit a Source # |
type Sig a = (StrictConv a (UInt 256 a), MultiplicativeSemigroup (UInt 256 a), Eq (Bool a) (UInt 256 a), Iso (UInt 256 a) (ByteString 256 a), Extend (ByteString 224 a) (ByteString 256 a), Hash a (TxOut a)) Source #
verifySignature :: forall a. (Symbolic a, Sig a) => ByteString 224 a -> (TxOut a, TxOut a) -> ByteString 256 a -> Bool a Source #