(Symbolic ctx, Eq (Bool ctx) c, Eq (Bool ctx) i, Eq (Bool ctx) f, Eq (Bool ctx) [f], Eq (Bool ctx) [c], AdditiveGroup c, AdditiveSemigroup m, Ring f, Scale f c, Scale f m, MapInput f a ~ i, deg ~ (Degree (CommitOpen m c a) + 1), KnownNat deg, LinearCombination (MapMessage f a) (MapMessage (PolyVec f deg) a), LinearCombination (MapInput f a) (MapInput (PolyVec f deg) a), LinearCombinationWith f (MapInput f a), MapMessage f a ~ m, AlgebraicMap f (CommitOpen m c a), AlgebraicMap (PolyVec f deg) a, RandomOracle c f, RandomOracle i f, HomomorphicCommit f [m] c, HomomorphicCommit f [f] c) => AccumulatorScheme i f c m ctx (FiatShamir f (CommitOpen m c a)) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.AccumulatorScheme |
(SpecialSoundProtocol f a, Binary (Input f a), Binary (VerifierMessage f a), VerifierMessage f a ~ f, ProverMessage f a ~ m, Binary c, Binary (ProverMessage f a), BoolType (VerifierOutput f a), Eq (VerifierOutput f a) [c], VerifierOutput f a ~ Bool) => NonInteractiveProof (FiatShamir f (CommitOpen m c a)) (core :: k) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.FiatShamir |
(AlgebraicMap f a, m ~ MapMessage f a) => AlgebraicMap f (CommitOpen m c a) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |
(SpecialSoundProtocol f a, BoolType (VerifierOutput f a), Eq (VerifierOutput f a) [c], m ~ ProverMessage f a) => SpecialSoundProtocol f (CommitOpen m c a) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |
RandomOracle a b => RandomOracle (CommitOpen m c a) b Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |
type Input f (CommitOpen m c a) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |
type MapInput f (CommitOpen m c a) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |
type MapMessage f (CommitOpen m c a) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |
type ProverMessage f (CommitOpen m c a) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |
type VerifierMessage f (CommitOpen m c a) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |
type VerifierOutput f (CommitOpen m c a) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |
type Witness f (CommitOpen m c a) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |
type Input (FiatShamir f (CommitOpen m c a)) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.FiatShamir |
type Proof (FiatShamir f (CommitOpen m c a)) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.FiatShamir |
type SetupProve (FiatShamir f (CommitOpen m c a)) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.FiatShamir |
type SetupVerify (FiatShamir f (CommitOpen m c a)) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.FiatShamir |
type Transcript (FiatShamir f (CommitOpen m c a)) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.FiatShamir |
type Witness (FiatShamir f (CommitOpen m c a)) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.FiatShamir |
type Degree (CommitOpen m c a) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.CommitOpen |