ZkFold.Base.Protocol.Protostar.CommitOpen

Documentation

newtype CommitOpen a

Constructors

CommitOpen a

Instances

(SpecialSoundProtocol f i p m c d k a, Ring f, HomomorphicCommit m c, RandomOracle (i f) f, RandomOracle c f, KnownNat k) => SpecialSoundProtocol f i p (Vector k (m, c)) (c :: Type) (d :: k1) 1 (FiatShamir (CommitOpen a))

Defined in ZkFold.Base.Protocol.Protostar.FiatShamir

Associated Types

type VerifierOutput f i p (Vector k (m, c)) c d 1 (FiatShamir (CommitOpen a))

Methods

input :: FiatShamir (CommitOpen a) -> i f -> p f -> i f

prover :: FiatShamir (CommitOpen a) -> i f -> p f -> f -> Natural -> Vector k (m, c)

verifier :: FiatShamir (CommitOpen a) -> i f -> Vector 1 (Vector k (m, c)) -> Vector (1 - 1) f -> VerifierOutput f i p (Vector k (m, c)) c d 1 (FiatShamir (CommitOpen a))

(SpecialSoundProtocol f i p m c d k a, HomomorphicCommit m c) => SpecialSoundProtocol f i p (m, c) (c :: Type) (d :: k1) k (CommitOpen a)

Defined in ZkFold.Base.Protocol.Protostar.CommitOpen

Associated Types

type VerifierOutput f i p (m, c) c d k (CommitOpen a)

Methods

input :: CommitOpen a -> i f -> p f -> i f

prover :: CommitOpen a -> i f -> p f -> f -> Natural -> (m, c)

verifier :: CommitOpen a -> i f -> Vector k (m, c) -> Vector (k - 1) f -> VerifierOutput f i p (m, c) c d k (CommitOpen a)

(AlgebraicMap f i d a, AlgebraicMap (PolyVec f (d + 1)) i d a, Ring f, Zip i, KnownNat (d - 1), KnownNat (d + 1), Scale f c, HomomorphicCommit [f] c, RandomOracle (i f) f, RandomOracle c f, KnownNat k) => AccumulatorScheme f i [f] c d k (FiatShamir (CommitOpen a))

Defined in ZkFold.Base.Protocol.Protostar.AccumulatorScheme

Methods

prover :: FiatShamir (CommitOpen a) -> Accumulator f i [f] c k -> NARKInstanceProof f i [f] c k -> (Accumulator f i [f] c k, Vector (d - 1) c)

verifier :: i f -> Vector k c -> AccumulatorInstance f i c k -> AccumulatorInstance f i c k -> Vector (d - 1) c -> (f, i f, Vector (k - 1) f, Vector k c, c)

decider :: FiatShamir (CommitOpen a) -> Accumulator f i [f] c k -> (Vector k c, c)

RandomOracle a b => RandomOracle (CommitOpen a) b

Defined in ZkFold.Base.Protocol.Protostar.CommitOpen

Methods

oracle :: CommitOpen a -> b

type VerifierOutput f i p (Vector k (m, c)) (c :: Type) (d :: k1) 1 (FiatShamir (CommitOpen a))

Defined in ZkFold.Base.Protocol.Protostar.FiatShamir

type VerifierOutput f i p (Vector k (m, c)) (c :: Type) (d :: k1) 1 (FiatShamir (CommitOpen a)) = VerifierOutput f i p (m, c) c d k (CommitOpen a)

type VerifierOutput f i p (m, c) (c :: Type) (d :: k1) k (CommitOpen a)

Defined in ZkFold.Base.Protocol.Protostar.CommitOpen

type VerifierOutput f i p (m, c) (c :: Type) (d :: k1) k (CommitOpen a) = (Vector k c, VerifierOutput f i p m c d k a)