Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.IVC.AccumulatorScheme

Synopsis

data AccumulatorScheme d k i c f = AccumulatorScheme {
- prover :: Accumulator k i c f -> NARKInstanceProof k i c f -> (Accumulator k i c f, Vector (d - 1) (c f))
- verifier :: i f -> Vector k (c f) -> AccumulatorInstance k i c f -> Vector (d - 1) (c f) -> AccumulatorInstance k i c f
- decider :: Accumulator k i c f -> (Vector k (c f), c f)
}
accumulatorScheme :: forall algo d k a i p c f. (KnownNat (d - 1), KnownNat (d + 1), Representable i, Zip i, HashAlgorithm algo f, RandomOracle algo f f, RandomOracle algo (i f) f, RandomOracle algo (c f) f, HomomorphicCommit [f] (c f), Field f, Scale a f, Scale a (PolyVec f (d + 1)), Scale f (c f)) => Predicate a i p -> AccumulatorScheme d k i c f

Documentation

Accumulator scheme for V_NARK as described in Chapter 3.4 of the Protostar paper

Constructors

AccumulatorScheme
Fields prover :: Accumulator k i c f -> NARKInstanceProof k i c f -> (Accumulator k i c f, Vector (d - 1) (c f)) verifier :: i f -> Vector k (c f) -> AccumulatorInstance k i c f -> Vector (d - 1) (c f) -> AccumulatorInstance k i c f decider :: Accumulator k i c f -> (Vector k (c f), c f)

accumulatorScheme :: forall algo d k a i p c f. (KnownNat (d - 1), KnownNat (d + 1), Representable i, Zip i, HashAlgorithm algo f, RandomOracle algo f f, RandomOracle algo (i f) f, RandomOracle algo (c f) f, HomomorphicCommit [f] (c f), Field f, Scale a f, Scale a (PolyVec f (d + 1)), Scale f (c f)) => Predicate a i p -> AccumulatorScheme d k i c f Source #