ZkFold.Base.Protocol.Protostar.Accumulator

Documentation

data AccumulatorInstance f i c k

Constructors

AccumulatorInstance

Fields

• _pi :: i f
• _c :: Vector k c
• _r :: Vector (k - 1) f
• _e :: c
• _mu :: f

Instances

Generic (AccumulatorInstance f i c k)

Defined in ZkFold.Base.Protocol.Protostar.Accumulator

Associated Types

type Rep (AccumulatorInstance f i c k) :: Type -> Type

Methods

from :: AccumulatorInstance f i c k -> Rep (AccumulatorInstance f i c k) x

to :: Rep (AccumulatorInstance f i c k) x -> AccumulatorInstance f i c k

(Show c, Show f, Show (i f)) => Show (AccumulatorInstance f i c k)

Defined in ZkFold.Base.Protocol.Protostar.Accumulator

Methods

showsPrec :: Int -> AccumulatorInstance f i c k -> ShowS

show :: AccumulatorInstance f i c k -> String

showList :: [AccumulatorInstance f i c k] -> ShowS

(NFData c, NFData f, NFData (i f)) => NFData (AccumulatorInstance f i c k)

Defined in ZkFold.Base.Protocol.Protostar.Accumulator

Methods

rnf :: AccumulatorInstance f i c k -> ()

type Rep (AccumulatorInstance f i c k)

Defined in ZkFold.Base.Protocol.Protostar.Accumulator

type Rep (AccumulatorInstance f i c k) = D1 ('MetaData "AccumulatorInstance" "ZkFold.Base.Protocol.Protostar.Accumulator" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "AccumulatorInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_pi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (i f)) :*: S1 ('MetaSel ('Just "_c") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector k c))) :*: (S1 ('MetaSel ('Just "_r") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector (k - 1) f)) :*: (S1 ('MetaSel ('Just "_e") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c) :*: S1 ('MetaSel ('Just "_mu") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 f)))))

r :: forall f i c k. Lens' (AccumulatorInstance f i c k) (Vector ((-) k 1) f)

pi :: forall f i c k i. Lens (AccumulatorInstance f i c k) (AccumulatorInstance f i c k) (i f) (i f)

mu :: forall f i c k. Lens' (AccumulatorInstance f i c k) f

e :: forall f i c k. Lens' (AccumulatorInstance f i c k) c

c :: forall f i c k. Lens' (AccumulatorInstance f i c k) (Vector k c)

data Accumulator f i m c k

Constructors

Accumulator

Fields

• _x :: AccumulatorInstance f i c k
• _w :: Vector k m

Instances

Generic (Accumulator f i m c k)

Defined in ZkFold.Base.Protocol.Protostar.Accumulator

Associated Types

type Rep (Accumulator f i m c k) :: Type -> Type

Methods

from :: Accumulator f i m c k -> Rep (Accumulator f i m c k) x

to :: Rep (Accumulator f i m c k) x -> Accumulator f i m c k

(Show c, Show f, Show m, Show (i f)) => Show (Accumulator f i m c k)

Defined in ZkFold.Base.Protocol.Protostar.Accumulator

Methods

showsPrec :: Int -> Accumulator f i m c k -> ShowS

show :: Accumulator f i m c k -> String

showList :: [Accumulator f i m c k] -> ShowS

(NFData c, NFData f, NFData m, NFData (i f)) => NFData (Accumulator f i m c k)

Defined in ZkFold.Base.Protocol.Protostar.Accumulator

Methods

rnf :: Accumulator f i m c k -> ()

type Rep (Accumulator f i m c k)

Defined in ZkFold.Base.Protocol.Protostar.Accumulator

type Rep (Accumulator f i m c k) = D1 ('MetaData "Accumulator" "ZkFold.Base.Protocol.Protostar.Accumulator" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Accumulator" 'PrefixI 'True) (S1 ('MetaSel ('Just "_x") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AccumulatorInstance f i c k)) :*: S1 ('MetaSel ('Just "_w") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector k m))))

x :: forall f i m c k f i c. Lens (Accumulator f i m c k) (Accumulator f i m c k) (AccumulatorInstance f i c k) (AccumulatorInstance f i c k)

w :: forall f i m c k m. Lens (Accumulator f i m c k) (Accumulator f i m c k) (Vector k m) (Vector k m)

emptyAccumulator :: forall f i m c (d :: Natural) k a. (Representable i, m ~ [f], HomomorphicCommit m c, KnownNat (k - 1), KnownNat k, AlgebraicMap f i d a) => FiatShamir (CommitOpen a) -> Accumulator f i m c k

emptyAccumulatorInstance :: forall f i m c (d :: Natural) k a. (Representable i, m ~ [f], HomomorphicCommit m c, KnownNat (k - 1), KnownNat k, AlgebraicMap f i d a) => FiatShamir (CommitOpen a) -> AccumulatorInstance f i c k