zkfold-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Symbolic.Cardano.Contracts.BatchTransfer

Documentation

type TxOut a = Output 10 () a Source #

type TxIn a = Input 10 () a Source #

type Tx a = Transaction 6 0 11 10 () a Source #

class Hash a x where Source #

Methods

hash :: x -> a Source #

Instances

Instances details
SymbolicData a x => Hash (ArithmeticCircuit a) x Source # 
Instance details

Defined in ZkFold.Symbolic.Cardano.Contracts.BatchTransfer

Methods

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 #

batchTransfer :: (Symbolic a, Eq (Bool a) (TxOut a), Sig a) => Tx a -> Vector 5 (TxOut a, TxOut a, ByteString 256 a) -> Bool a Source #