ZkFold.Base.Protocol.IVC.Commit

Documentation

class Commit algo a f where

Commit to the object a with commitment key ck and results of type f

Methods

commit :: a -> f

Instances

RandomOracle algo a x => Commit (algo :: k) a x

Defined in ZkFold.Base.Protocol.IVC.Commit

Methods

commit :: a -> x

class AdditiveGroup c => HomomorphicCommit a c where

Homomorphic commitment scheme, i.e. (hcommit x) * (hcommit y) == hcommit (x + y)

Methods

hcommit :: a -> c

Instances

(PedersonSetup s g, Zip s, Foldable s, Scale f g, AdditiveGroup g) => HomomorphicCommit (s f) g

Defined in ZkFold.Base.Protocol.IVC.Commit

Methods

hcommit :: s f -> g

class PedersonSetup s c where

Methods

groupElements :: s c

Instances

(CyclicGroup (Weierstrass curve (Point field)), Random (ScalarFieldOf (Weierstrass curve (Point field)))) => PedersonSetup List (Weierstrass curve (Point field) :: Type)

Defined in ZkFold.Base.Protocol.IVC.Commit

Methods

groupElements :: [Weierstrass curve (Point field)]

(PedersonSetup s g, Functor s) => PedersonSetup (s :: Type -> Type) (Constant g a :: Type)

Defined in ZkFold.Base.Protocol.IVC.Commit

Methods

groupElements :: s (Constant g a)

(KnownNat n, CyclicGroup (Weierstrass curve (Point field)), Random (ScalarFieldOf (Weierstrass curve (Point field))), n <= PedersonSetupMaxSize) => PedersonSetup (Vector n :: Type -> Type) (Weierstrass curve (Point field) :: Type)

Defined in ZkFold.Base.Protocol.IVC.Commit

Methods

groupElements :: Vector n (Weierstrass curve (Point field))