ZkFold.Base.Protocol.IVC.FiatShamir

Documentation

type FiatShamir k i p c m o f = SpecialSoundProtocol 1 i p (Vector k (m, c f)) (Vector k (c f), o) f

transcript :: forall algo k c f. (HashAlgorithm algo f, RandomOracle algo f f, RandomOracle algo (c f) f) => f -> Vector k (c f) -> Vector (k - 1) f

fiatShamir :: forall algo k i p c m o f. (KnownNat k, HashAlgorithm algo f, RandomOracle algo f f, RandomOracle algo (i f) f, RandomOracle algo (c f) f) => CommitOpen k i p c m o f -> FiatShamir k i p c m o f