symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols

Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Base.Protocol.IVC.SpecialSound

Documentation

data SpecialSoundProtocol k i p m o f Source #

Constructors

SpecialSoundProtocol
Fields input :: i f -> p f -> i f public input prover :: i f -> p f -> f -> Natural -> m prover message verifier :: i f -> Vector k m -> Vector (k - 1) f -> o verifier output

specialSoundProtocol :: forall d a i p. (KnownNat (d + 1), Arithmetic a, Representable i, Representable p) => Predicate a i p -> SpecialSoundProtocol 1 i p [a] [a] a Source #

specialSoundProtocol' :: forall d a i p f. (KnownNat (d + 1), Representable i, Ring f, Scale a f) => Predicate a i p -> SpecialSoundProtocol 1 i p [f] [f] f Source #