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

ZkFold.Base.Protocol.ARK.Protostar.CommitOpen

Documentation

data CommitOpen f c a Source #

Constructors

CommitOpen (ProverMessage f a -> c) a 

Instances

Instances details
(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 #

type Input f (CommitOpen f c a) Source # 
Instance details

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

type Input f (CommitOpen f c a) = Input f a
type ProverMessage t (CommitOpen f c a) Source # 
Instance details

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

type ProverMessage t (CommitOpen f c a) = CommitOpenProverMessage t c a
type VerifierMessage t (CommitOpen f c a) Source # 
Instance details

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

type VerifierMessage t (CommitOpen f c a) = VerifierMessage t a
type Witness f (CommitOpen f c a) Source # 
Instance details

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

type Witness f (CommitOpen f c a) = (Witness f a, [ProverMessage f a])
type Degree (CommitOpen f c a) Source # 
Instance details

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

type Degree (CommitOpen f c a) = Degree a
type Dimension (CommitOpen f c a) Source # 
Instance details

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

type Dimension (CommitOpen f c a) = Dimension a

data CommitOpenProverMessage t c a Source #

Constructors

Commit c 
Open [ProverMessage t a] 

Instances

Instances details
(Binary c, Binary (ProverMessage t a)) => Binary (CommitOpenProverMessage t c a) Source # 
Instance details

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

Methods

put :: CommitOpenProverMessage t c a -> Put #

get :: Get (CommitOpenProverMessage t c a) #

putList :: [CommitOpenProverMessage t c a] -> Put #

commits :: SpecialSoundTranscript t (CommitOpen f c a) -> [c] Source #

opening :: forall f a c. (SpecialSoundProtocol f a, Eq c) => CommitOpen f c a -> Witness f a -> Input f a -> (SpecialSoundTranscript f (CommitOpen f c a) -> ProverMessage f (CommitOpen f c a) -> VerifierMessage f a) -> ([ProverMessage f a], SpecialSoundTranscript f (CommitOpen f c a)) Source #