zkfold-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Base.Protocol.ARK.Protostar.SpecialSound

Documentation

type SpecialSoundTranscript t a = [(ProverMessage t a, VerifierMessage t a)] Source #

class Arithmetic f => SpecialSoundProtocol f a where Source #

Associated Types

type Witness f a Source #

type Input f a Source #

type ProverMessage t a Source #

type VerifierMessage t a Source #

type Dimension a :: Natural Source #

l in the paper

type Degree a :: Natural Source #

d in the paper

Methods

rounds :: a -> Natural Source #

k in the paper

prover :: a -> Witness f a -> Input f a -> SpecialSoundTranscript f a -> ProverMessage f a Source #

verifier' :: a -> Input f a -> SpecialSoundTranscript Natural a -> Vector (Dimension a) (Polynomial' f) Source #

verifier :: a -> Input f a -> SpecialSoundTranscript f a -> Bool Source #

Instances

Instances details
Arithmetic f => SpecialSoundProtocol f (ProtostarPermutation n) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Protostar.Permutation

Associated Types

type Witness f (ProtostarPermutation n) Source #

type Input f (ProtostarPermutation n) Source #

type ProverMessage t (ProtostarPermutation n) Source #

type VerifierMessage t (ProtostarPermutation n) Source #

type Dimension (ProtostarPermutation n) :: Natural Source #

type Degree (ProtostarPermutation n) :: Natural Source #

Methods

rounds :: ProtostarPermutation n -> Natural Source #

prover :: ProtostarPermutation n -> Witness f (ProtostarPermutation n) -> Input f (ProtostarPermutation n) -> SpecialSoundTranscript f (ProtostarPermutation n) -> ProverMessage f (ProtostarPermutation n) Source #

verifier' :: ProtostarPermutation n -> Input f (ProtostarPermutation n) -> SpecialSoundTranscript Natural (ProtostarPermutation n) -> Vector (Dimension (ProtostarPermutation n)) (Polynomial' f) Source #

verifier :: ProtostarPermutation n -> Input f (ProtostarPermutation n) -> SpecialSoundTranscript f (ProtostarPermutation n) -> Bool Source #

(Arithmetic f, KnownNat sizeT) => SpecialSoundProtocol f (ProtostarLookup l sizeT) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Protostar.Lookup

Associated Types

type Witness f (ProtostarLookup l sizeT) Source #

type Input f (ProtostarLookup l sizeT) Source #

type ProverMessage t (ProtostarLookup l sizeT) Source #

type VerifierMessage t (ProtostarLookup l sizeT) Source #

type Dimension (ProtostarLookup l sizeT) :: Natural Source #

type Degree (ProtostarLookup l sizeT) :: Natural Source #

Methods

rounds :: ProtostarLookup l sizeT -> Natural Source #

prover :: ProtostarLookup l sizeT -> Witness f (ProtostarLookup l sizeT) -> Input f (ProtostarLookup l sizeT) -> SpecialSoundTranscript f (ProtostarLookup l sizeT) -> ProverMessage f (ProtostarLookup l sizeT) Source #

verifier' :: ProtostarLookup l sizeT -> Input f (ProtostarLookup l sizeT) -> SpecialSoundTranscript Natural (ProtostarLookup l sizeT) -> Vector (Dimension (ProtostarLookup l sizeT)) (Polynomial' f) Source #

verifier :: ProtostarLookup l sizeT -> Input f (ProtostarLookup l sizeT) -> SpecialSoundTranscript f (ProtostarLookup l sizeT) -> Bool Source #

(SpecialSoundProtocol f a, Eq c) => SpecialSoundProtocol f (CommitOpen f c a) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Protostar.CommitOpen

Associated Types

type Witness f (CommitOpen f c a) Source #

type Input f (CommitOpen f c a) Source #

type ProverMessage t (CommitOpen f c a) Source #

type VerifierMessage t (CommitOpen f c a) Source #

type Dimension (CommitOpen f c a) :: Natural Source #

type Degree (CommitOpen f c a) :: Natural Source #

Methods

rounds :: CommitOpen f c a -> Natural Source #

prover :: CommitOpen f c a -> Witness f (CommitOpen f c a) -> Input f (CommitOpen f c a) -> SpecialSoundTranscript f (CommitOpen f c a) -> ProverMessage f (CommitOpen f c a) Source #

verifier' :: CommitOpen f c a -> Input f (CommitOpen f c a) -> SpecialSoundTranscript Natural (CommitOpen f c a) -> Vector (Dimension (CommitOpen f c a)) (Polynomial' f) Source #

verifier :: CommitOpen f c a -> Input f (CommitOpen f c a) -> SpecialSoundTranscript f (CommitOpen f c a) -> Bool Source #

(Arithmetic f, KnownNat m, KnownNat n, KnownNat c) => SpecialSoundProtocol f (ProtostarGate m n c d) Source # 
Instance details

Defined in ZkFold.Base.Protocol.ARK.Protostar.Gate

Associated Types

type Witness f (ProtostarGate m n c d) Source #

type Input f (ProtostarGate m n c d) Source #

type ProverMessage t (ProtostarGate m n c d) Source #

type VerifierMessage t (ProtostarGate m n c d) Source #

type Dimension (ProtostarGate m n c d) :: Natural Source #

type Degree (ProtostarGate m n c d) :: Natural Source #

Methods

rounds :: ProtostarGate m n c d -> Natural Source #

prover :: ProtostarGate m n c d -> Witness f (ProtostarGate m n c d) -> Input f (ProtostarGate m n c d) -> SpecialSoundTranscript f (ProtostarGate m n c d) -> ProverMessage f (ProtostarGate m n c d) Source #

verifier' :: ProtostarGate m n c d -> Input f (ProtostarGate m n c d) -> SpecialSoundTranscript Natural (ProtostarGate m n c d) -> Vector (Dimension (ProtostarGate m n c d)) (Polynomial' f) Source #

verifier :: ProtostarGate m n c d -> Input f (ProtostarGate m n c d) -> SpecialSoundTranscript f (ProtostarGate m n c d) -> Bool Source #