| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Protocol.Protostar.Commit
Synopsis
- class Commit a f where
- commit :: a -> f
- class AdditiveGroup c => HomomorphicCommit a c where
- hcommit :: a -> c
- class PedersonSetup n c where
- groupElements :: Vector n c
Documentation
class Commit a f where Source #
Commit to the object a with commitment key ck and results of type f
Instances
| RandomOracle a x => Commit a x Source # | |
Defined in ZkFold.Base.Protocol.Protostar.Commit | |
class AdditiveGroup c => HomomorphicCommit a c where Source #
Homomorphic commitment scheme, i.e. (hcommit x) * (hcommit y) == hcommit (x + y)
Instances
| (PedersonSetup 100 c, Scale f c, AdditiveGroup c) => HomomorphicCommit [f] c Source # | |
Defined in ZkFold.Base.Protocol.Protostar.Commit | |
| (PedersonSetup n c, Scale f c, AdditiveGroup c) => HomomorphicCommit (Vector n f) c Source # | |
Defined in ZkFold.Base.Protocol.Protostar.Commit | |
class PedersonSetup n c where Source #
Methods
groupElements :: Vector n c Source #
Instances
| KnownNat n => PedersonSetup n (Point BLS12_381_G1) Source # | |
Defined in ZkFold.Base.Protocol.Protostar.Commit Methods groupElements :: Vector n (Point BLS12_381_G1) Source # | |
| (KnownNat n, Symbolic c, NFData (c (Vector Size))) => PedersonSetup n (Point (Ed25519 c)) Source # | |
Defined in ZkFold.Base.Protocol.Protostar.Commit | |