ZkFold.Base.Protocol.IVC.Oracle

Documentation

class HashAlgorithm algo a where

Methods

hash :: [a] -> a

Instances

Ring a => HashAlgorithm MiMCHash a

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

hash :: [a] -> a

data MiMCHash

Instances

Ring a => HashAlgorithm MiMCHash a

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

hash :: [a] -> a

class RandomOracle algo x a where

Minimal complete definition

Nothing

Methods

oracle :: x -> a

default oracle :: (Generic x, RandomOracle' algo (Rep x) a) => x -> a

Instances

(FromConstant Integer a, HashAlgorithm algo a) => RandomOracle (algo :: k) Integer a

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle :: Integer -> a

HashAlgorithm algo a => RandomOracle (algo :: k) a a

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle :: a -> a

(Generic x, RandomOracle' algo (Rep x) a) => RandomOracle (algo :: k) x a

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle :: x -> a

(HashAlgorithm algo b, RandomOracle algo a b) => RandomOracle (algo :: k) (Vector a) b

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle :: Vector a -> b

HashAlgorithm algo a => RandomOracle (algo :: k) [a] a

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle :: [a] -> a

(HashAlgorithm algo b, RandomOracle algo a b) => RandomOracle (algo :: k) [a] b

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle :: [a] -> b

(HashAlgorithm algo f, RandomOracle algo f f, RandomOracle algo (i f) f) => RandomOracle (algo :: k) (RecursiveI i f) f

Defined in ZkFold.Base.Protocol.IVC.RecursiveFunction

Methods

oracle :: RecursiveI i f -> f

HashAlgorithm algo a => RandomOracle (algo :: k) (a, a) a

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle :: (a, a) -> a

(HashAlgorithm algo f, RandomOracle algo f f, RandomOracle algo (i f) f, RandomOracle algo (c f) f) => RandomOracle (algo :: k1) (AccumulatorInstance k2 i c f) f

Defined in ZkFold.Base.Protocol.IVC.Accumulator

Methods

oracle :: AccumulatorInstance k2 i c f -> f

class RandomOracle' algo f a where

Methods

oracle' :: f x -> a

Instances

RandomOracle algo c a => RandomOracle' (algo :: k1) (Rec0 c :: k2 -> Type) a

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle' :: forall (x :: k10). Rec0 c x -> a

(RandomOracle' algo f a, RandomOracle' algo g a, HashAlgorithm algo a) => RandomOracle' (algo :: k1) (f :*: g :: k2 -> Type) a

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle' :: forall (x :: k10). (f :*: g) x -> a

(RandomOracle' algo f b, RandomOracle' algo g b, HashAlgorithm algo b, Ring b) => RandomOracle' (algo :: k1) (f :+: g :: k2 -> Type) b

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle' :: forall (x :: k10). (f :+: g) x -> b

Ring a => RandomOracle' (algo :: k1) (M1 C ('MetaCons conName fixity selectors) (U1 :: k2 -> Type) :: k2 -> Type) a

Handling constructors with no fields.

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle' :: forall (x :: k10). M1 C ('MetaCons conName fixity selectors) U1 x -> a

RandomOracle' algo f a => RandomOracle' (algo :: k1) (M1 c m f :: k2 -> Type) a

Defined in ZkFold.Base.Protocol.IVC.Oracle

Methods

oracle' :: forall (x :: k10). M1 c m f x -> a