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 c, Zip s, Foldable s, Scale f c, AdditiveGroup c) => HomomorphicCommit (s f) c

Defined in ZkFold.Base.Protocol.IVC.Commit

Methods

hcommit :: s f -> c

class PedersonSetup s c where

Methods

groupElements :: s c

Instances

(EllipticCurve curve, Random (ScalarField curve)) => PedersonSetup List (Point curve :: Type)

Defined in ZkFold.Base.Protocol.IVC.Commit

Methods

groupElements :: [Point curve]

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

Defined in ZkFold.Base.Protocol.IVC.Commit

Methods

groupElements :: s (Constant (Point curve) a)

(KnownNat n, EllipticCurve curve, Random (ScalarField curve), n <= PedersonSetupMaxSize) => PedersonSetup (Vector n :: Type -> Type) (Point curve :: Type)

Defined in ZkFold.Base.Protocol.IVC.Commit

Methods

groupElements :: Vector n (Point curve)