ZkFold.Symbolic.Data.Hash

Documentation

class Hashable h a where

A generic hashing interface for Symbolic DSL. h is the result of the hashing algorithm; a is the datatype being hashed.

The relationship between datatypes and hashes is many-to-many so there's no functional dependency in either direction.

Methods

hasher :: a -> h

Hashing algorithm itself.

data Hash h a

An invertible hash h of a symbolic datatype a.

Constructors

Hash

Fields

• hHash :: h
• hValue :: Payloaded (Layout a :*: Payload a) (Context h)

Instances

Generic (Hash h a)

Defined in ZkFold.Symbolic.Data.Hash

Associated Types

type Rep (Hash h a) :: Type -> Type

Methods

from :: Hash h a -> Rep (Hash h a) x

to :: Rep (Hash h a) x -> Hash h a

(SymbolicOutput h, SymbolicOutput a) => SymbolicData (Hash h a)

Defined in ZkFold.Symbolic.Data.Hash

Associated Types

type Context (Hash h a) :: (Type -> Type) -> Type

type Support (Hash h a)

type Layout (Hash h a) :: Type -> Type

type Payload (Hash h a) :: Type -> Type

Methods

arithmetize :: Hash h a -> Support (Hash h a) -> Context (Hash h a) (Layout (Hash h a))

payload :: Hash h a -> Support (Hash h a) -> Payload (Hash h a) (WitnessField (Context (Hash h a)))

restore :: Context (Hash h a) ~ c => (Support (Hash h a) -> (c (Layout (Hash h a)), Payload (Hash h a) (WitnessField c))) -> Hash h a

(SymbolicInput h, SymbolicInput a) => SymbolicInput (Hash h a)

Defined in ZkFold.Symbolic.Data.Hash

Methods

isValid :: Hash h a -> Bool (Context (Hash h a))

type Rep (Hash h a)

Defined in ZkFold.Symbolic.Data.Hash

type Rep (Hash h a) = D1 ('MetaData "Hash" "ZkFold.Symbolic.Data.Hash" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Hash" 'PrefixI 'True) (S1 ('MetaSel ('Just "hHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 h) :*: S1 ('MetaSel ('Just "hValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Payloaded (Layout a :*: Payload a) (Context h)))))

type Context (Hash h a)

Defined in ZkFold.Symbolic.Data.Hash

type Context (Hash h a) = GContext (Rep (Hash h a))

type Layout (Hash h a)

Defined in ZkFold.Symbolic.Data.Hash

type Layout (Hash h a) = GLayout (Rep (Hash h a))

type Payload (Hash h a)

Defined in ZkFold.Symbolic.Data.Hash

type Payload (Hash h a) = GPayload (Rep (Hash h a))

type Support (Hash h a)

Defined in ZkFold.Symbolic.Data.Hash

type Support (Hash h a) = GSupport (Rep (Hash h a))

hash :: (Hashable h a, SymbolicOutput a, Context h ~ Context a) => a -> Hash h a

Restorably hash the data.

preimage :: forall h a c. (Hashable h a, SymbolicOutput a, Context h ~ c, Context a ~ c, Eq (Bool c) h) => Hash h a -> a

Restore the data which were hashed.