| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Base.Protocol.ARK.Protostar.Accumulator
Documentation
data AccumulatorInstance f c Source #
Constructors
| AccumulatorInstance | |
Fields
| |
newtype AccumulatorWitness m Source #
Constructors
| AccumulatorWitness | |
Fields
| |
data Accumulator f c m Source #
Constructors
| Accumulator (AccumulatorInstance f c) (AccumulatorWitness m) |
data NARKInstance f c Source #
Constructors
| NARKInstance | |
Fields
| |
newtype NARKWitness m Source #
Constructors
| NARKWitness | |
Fields
| |
data NARKPair pi f c m Source #
Constructors
| NARKPair (NARKInstance f c) (NARKWitness m) |
toAccumulatorInstance :: (FiniteField f, AdditiveGroup c) => (f -> c -> f) -> NARKInstance f c -> AccumulatorInstance f c Source #
toAccumulatorWitness :: NARKWitness m -> AccumulatorWitness m Source #
toAccumulator :: (FiniteField f, AdditiveGroup c) => (f -> c -> f) -> NARKPair pi f c m -> Accumulator f c m Source #