Copyright	Vergara Technologies LLC 2025
License	MIT
Maintainer	pitmutt@vergara.tech
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	Haskell2010

Frost.Types

Description

Types to represent the different artifacts needed for FROST distributed key generation and signatures.

Synopsis

newtype Identifier = Identifier {
- getId :: HexString
}
type SecretPackageR1 = HexString
type PackageR1 = HexString
data PayloadR1 = PayloadR1 {
- p1_id :: !Identifier
- p1_pkg :: !PackageR1
}
type SecretPackageR2 = HexString
type PackageR2 = HexString
data PayloadR2 = PayloadR2 {
- p2_id :: !Identifier
- p2_pkg :: !PackageR2
}
data DkgPkg1 = DkgPkg1 {
- secretPkg :: !SecretPackageR1
- pubPkg :: !PackageR1
}
data DkgPkg2 = DkgPkg2 {
- r2_secretPkg :: !SecretPackageR2
- r2_pubPkgs :: ![PayloadR2]
}
type KeyPackage = HexString
type PublicKeyPackage = HexString
data DkgKeyPackage = DkgKeyPackage {
- keyPkg :: !KeyPackage
- pubKeyPkg :: !PublicKeyPackage
}
type SigningNonces = HexString
type SigningCommitments = HexString
data SigningPkgR1 = SigningPkgR1 {
- r1_nonces :: !SigningNonces
- r1_commits :: !SigningCommitments
}
type RandomizedParams = HexString
type Randomizer = HexString
type SigningPackage = HexString
data SigningPkgR2 = SigningPkgR2 {
- sigRandomizer :: !Randomizer
- sigPackage :: !SigningPackage
}
data SignPayload = SignPayload {
- sp_id :: !Identifier
- sp_commits :: !SigningCommitments
}
type SignatureShare = HexString
data AggregatePayload = AggregatePayload {
- ag_id :: !Identifier
- ag_share :: !SignatureShare
}
type Signature = HexString
emptyHexString :: HexString

Documentation

newtype Identifier #

A type used to identify a participant in Distributed Key Generation

Constructors

Identifier
Fields getId :: HexString

Instances

Instances details

Generic Identifier #

Instance details

Defined in Frost.Types

Associated Types

type Rep Identifier
Instance details Defined in Frost.Types type Rep Identifier = D1 ('MetaData "Identifier" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Identifier" 'PrefixI 'True) (S1 ('MetaSel ('Just "getId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString)))

Methods

from :: Identifier -> Rep Identifier x #

to :: Rep Identifier x -> Identifier #

Show Identifier #

Instance details

Defined in Frost.Types

Methods

showsPrec :: Int -> Identifier -> ShowS #

show :: Identifier -> String #

showList :: [Identifier] -> ShowS #

BorshSize Identifier #

Instance details

Defined in Frost.Types

Associated Types

type StaticBorshSize Identifier
Instance details Defined in Frost.Types type StaticBorshSize Identifier = StaticBorshSize (AsStruct Identifier)

Methods

borshSize :: Proxy Identifier -> Size (StaticBorshSize Identifier) #

FromBorsh Identifier #

Instance details

Defined in Frost.Types

Methods

decodeBorsh :: Decoder s Identifier #

ToBorsh Identifier #

Instance details

Defined in Frost.Types

Methods

encodeBorsh :: Encoder Identifier #

Show Identifier #

Instance details

Defined in Frost.Types

Methods

toValue :: Identifier -> Value

Generic Identifier #

Instance details

Defined in Frost.Types

Associated Types

type Code Identifier
Instance details Defined in Frost.Types type Code Identifier = GCode Identifier

Methods

from :: Identifier -> Rep Identifier #

to :: Rep Identifier -> Identifier #

HasDatatypeInfo Identifier #

Instance details

Defined in Frost.Types

Associated Types

type DatatypeInfoOf Identifier
Instance details Defined in Frost.Types type DatatypeInfoOf Identifier = GDatatypeInfoOf Identifier

Methods

datatypeInfo :: proxy Identifier -> DatatypeInfo (Code Identifier) #

Eq Identifier #

Instance details

Defined in Frost.Types

Methods

(==) :: Identifier -> Identifier -> Bool #

(/=) :: Identifier -> Identifier -> Bool #

type Rep Identifier #

Instance details

Defined in Frost.Types

type Rep Identifier = D1 ('MetaData "Identifier" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Identifier" 'PrefixI 'True) (S1 ('MetaSel ('Just "getId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HexString)))

type StaticBorshSize Identifier #

Instance details

Defined in Frost.Types

type StaticBorshSize Identifier = StaticBorshSize (AsStruct Identifier)

type Code Identifier #

Instance details

Defined in Frost.Types

type Code Identifier = GCode Identifier

type DatatypeInfoOf Identifier #

Instance details

Defined in Frost.Types

type DatatypeInfoOf Identifier = GDatatypeInfoOf Identifier

type SecretPackageR1 = HexString #

The secret generated after Round 1 of a DKG ceremony. Must not be shared.

type PackageR1 = HexString #

The public package generated after Round 1 of a DKG ceremony. This is shared with all participants in the ceremony.

data PayloadR1 #

A wrapper type that bundles the public PackageR1 with the corresponding Identifier for distribution.

Constructors

PayloadR1
Fields p1_id :: !Identifier p1_pkg :: !PackageR1

Instances

Instances details

Generic PayloadR1 #

Instance details

Defined in Frost.Types

Associated Types

type Rep PayloadR1
Instance details Defined in Frost.Types type Rep PayloadR1 = D1 ('MetaData "PayloadR1" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PayloadR1" 'PrefixI 'True) (S1 ('MetaSel ('Just "p1_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :*: S1 ('MetaSel ('Just "p1_pkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageR1)))

Methods

from :: PayloadR1 -> Rep PayloadR1 x #

to :: Rep PayloadR1 x -> PayloadR1 #

Show PayloadR1 #

Instance details

Defined in Frost.Types

Methods

showsPrec :: Int -> PayloadR1 -> ShowS #

show :: PayloadR1 -> String #

showList :: [PayloadR1] -> ShowS #

BorshSize PayloadR1 #

Instance details

Defined in Frost.Types

Associated Types

type StaticBorshSize PayloadR1
Instance details Defined in Frost.Types type StaticBorshSize PayloadR1 = StaticBorshSize (AsStruct PayloadR1)

Methods

borshSize :: Proxy PayloadR1 -> Size (StaticBorshSize PayloadR1) #

FromBorsh PayloadR1 #

Instance details

Defined in Frost.Types

Methods

decodeBorsh :: Decoder s PayloadR1 #

ToBorsh PayloadR1 #

Instance details

Defined in Frost.Types

Methods

encodeBorsh :: Encoder PayloadR1 #

Show PayloadR1 #

Instance details

Defined in Frost.Types

Methods

toValue :: PayloadR1 -> Value

Generic PayloadR1 #

Instance details

Defined in Frost.Types

Associated Types

type Code PayloadR1
Instance details Defined in Frost.Types type Code PayloadR1 = GCode PayloadR1

Methods

from :: PayloadR1 -> Rep PayloadR1 #

to :: Rep PayloadR1 -> PayloadR1 #

HasDatatypeInfo PayloadR1 #

Instance details

Defined in Frost.Types

Associated Types

type DatatypeInfoOf PayloadR1
Instance details Defined in Frost.Types type DatatypeInfoOf PayloadR1 = GDatatypeInfoOf PayloadR1

Methods

datatypeInfo :: proxy PayloadR1 -> DatatypeInfo (Code PayloadR1) #

Eq PayloadR1 #

Instance details

Defined in Frost.Types

Methods

(==) :: PayloadR1 -> PayloadR1 -> Bool #

(/=) :: PayloadR1 -> PayloadR1 -> Bool #

type Rep PayloadR1 #

Instance details

Defined in Frost.Types

type Rep PayloadR1 = D1 ('MetaData "PayloadR1" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PayloadR1" 'PrefixI 'True) (S1 ('MetaSel ('Just "p1_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :*: S1 ('MetaSel ('Just "p1_pkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageR1)))

type StaticBorshSize PayloadR1 #

Instance details

Defined in Frost.Types

type StaticBorshSize PayloadR1 = StaticBorshSize (AsStruct PayloadR1)

type Code PayloadR1 #

Instance details

Defined in Frost.Types

type Code PayloadR1 = GCode PayloadR1

type DatatypeInfoOf PayloadR1 #

Instance details

Defined in Frost.Types

type DatatypeInfoOf PayloadR1 = GDatatypeInfoOf PayloadR1

type SecretPackageR2 = HexString #

The secret generated after Round 2 of a DKG ceremony. Must not be shared.

type PackageR2 = HexString #

The shareable package generated after Round 2 of a DKG ceremony. Should only be shared with the participant corresponding to its Identifier.

data PayloadR2 #

A wrapper type that bundles the shareable Round 2 package with its corresponding Identifier

Constructors

PayloadR2
Fields p2_id :: !Identifier p2_pkg :: !PackageR2

Instances

Instances details

Generic PayloadR2 #

Instance details

Defined in Frost.Types

Associated Types

type Rep PayloadR2
Instance details Defined in Frost.Types type Rep PayloadR2 = D1 ('MetaData "PayloadR2" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PayloadR2" 'PrefixI 'True) (S1 ('MetaSel ('Just "p2_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :*: S1 ('MetaSel ('Just "p2_pkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageR2)))

Methods

from :: PayloadR2 -> Rep PayloadR2 x #

to :: Rep PayloadR2 x -> PayloadR2 #

Show PayloadR2 #

Instance details

Defined in Frost.Types

Methods

showsPrec :: Int -> PayloadR2 -> ShowS #

show :: PayloadR2 -> String #

showList :: [PayloadR2] -> ShowS #

BorshSize PayloadR2 #

Instance details

Defined in Frost.Types

Associated Types

type StaticBorshSize PayloadR2
Instance details Defined in Frost.Types type StaticBorshSize PayloadR2 = StaticBorshSize (AsStruct PayloadR2)

Methods

borshSize :: Proxy PayloadR2 -> Size (StaticBorshSize PayloadR2) #

FromBorsh PayloadR2 #

Instance details

Defined in Frost.Types

Methods

decodeBorsh :: Decoder s PayloadR2 #

ToBorsh PayloadR2 #

Instance details

Defined in Frost.Types

Methods

encodeBorsh :: Encoder PayloadR2 #

Show PayloadR2 #

Instance details

Defined in Frost.Types

Methods

toValue :: PayloadR2 -> Value

Generic PayloadR2 #

Instance details

Defined in Frost.Types

Associated Types

type Code PayloadR2
Instance details Defined in Frost.Types type Code PayloadR2 = GCode PayloadR2

Methods

from :: PayloadR2 -> Rep PayloadR2 #

to :: Rep PayloadR2 -> PayloadR2 #

HasDatatypeInfo PayloadR2 #

Instance details

Defined in Frost.Types

Associated Types

type DatatypeInfoOf PayloadR2
Instance details Defined in Frost.Types type DatatypeInfoOf PayloadR2 = GDatatypeInfoOf PayloadR2

Methods

datatypeInfo :: proxy PayloadR2 -> DatatypeInfo (Code PayloadR2) #

Eq PayloadR2 #

Instance details

Defined in Frost.Types

Methods

(==) :: PayloadR2 -> PayloadR2 -> Bool #

(/=) :: PayloadR2 -> PayloadR2 -> Bool #

type Rep PayloadR2 #

Instance details

Defined in Frost.Types

type Rep PayloadR2 = D1 ('MetaData "PayloadR2" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PayloadR2" 'PrefixI 'True) (S1 ('MetaSel ('Just "p2_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :*: S1 ('MetaSel ('Just "p2_pkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageR2)))

type StaticBorshSize PayloadR2 #

Instance details

Defined in Frost.Types

type StaticBorshSize PayloadR2 = StaticBorshSize (AsStruct PayloadR2)

type Code PayloadR2 #

Instance details

Defined in Frost.Types

type Code PayloadR2 = GCode PayloadR2

type DatatypeInfoOf PayloadR2 #

Instance details

Defined in Frost.Types

type DatatypeInfoOf PayloadR2 = GDatatypeInfoOf PayloadR2

data DkgPkg1 #

A helper type that bundles the outputs of Round 1 of a DKG ceremony to facilitate marshalling to the Rust FFI

Constructors

DkgPkg1
Fields secretPkg :: !SecretPackageR1 pubPkg :: !PackageR1

Instances

Instances details

Generic DkgPkg1 #

Instance details

Defined in Frost.Types

Associated Types

type Rep DkgPkg1
Instance details Defined in Frost.Types type Rep DkgPkg1 = D1 ('MetaData "DkgPkg1" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DkgPkg1" 'PrefixI 'True) (S1 ('MetaSel ('Just "secretPkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecretPackageR1) :*: S1 ('MetaSel ('Just "pubPkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageR1)))

Methods

from :: DkgPkg1 -> Rep DkgPkg1 x #

to :: Rep DkgPkg1 x -> DkgPkg1 #

Show DkgPkg1 #

Instance details

Defined in Frost.Types

Methods

showsPrec :: Int -> DkgPkg1 -> ShowS #

show :: DkgPkg1 -> String #

showList :: [DkgPkg1] -> ShowS #

BorshSize DkgPkg1 #

Instance details

Defined in Frost.Types

Associated Types

type StaticBorshSize DkgPkg1
Instance details Defined in Frost.Types type StaticBorshSize DkgPkg1 = StaticBorshSize (AsStruct DkgPkg1)

Methods

borshSize :: Proxy DkgPkg1 -> Size (StaticBorshSize DkgPkg1) #

FromBorsh DkgPkg1 #

Instance details

Defined in Frost.Types

Methods

decodeBorsh :: Decoder s DkgPkg1 #

ToBorsh DkgPkg1 #

Instance details

Defined in Frost.Types

Methods

encodeBorsh :: Encoder DkgPkg1 #

Show DkgPkg1 #

Instance details

Defined in Frost.Types

Methods

toValue :: DkgPkg1 -> Value

Generic DkgPkg1 #

Instance details

Defined in Frost.Types

Associated Types

type Code DkgPkg1
Instance details Defined in Frost.Types type Code DkgPkg1 = GCode DkgPkg1

Methods

from :: DkgPkg1 -> Rep DkgPkg1 #

to :: Rep DkgPkg1 -> DkgPkg1 #

HasDatatypeInfo DkgPkg1 #

Instance details

Defined in Frost.Types

Associated Types

type DatatypeInfoOf DkgPkg1
Instance details Defined in Frost.Types type DatatypeInfoOf DkgPkg1 = GDatatypeInfoOf DkgPkg1

Methods

datatypeInfo :: proxy DkgPkg1 -> DatatypeInfo (Code DkgPkg1) #

Eq DkgPkg1 #

Instance details

Defined in Frost.Types

Methods

(==) :: DkgPkg1 -> DkgPkg1 -> Bool #

(/=) :: DkgPkg1 -> DkgPkg1 -> Bool #

type Rep DkgPkg1 #

Instance details

Defined in Frost.Types

type Rep DkgPkg1 = D1 ('MetaData "DkgPkg1" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DkgPkg1" 'PrefixI 'True) (S1 ('MetaSel ('Just "secretPkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecretPackageR1) :*: S1 ('MetaSel ('Just "pubPkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageR1)))

type StaticBorshSize DkgPkg1 #

Instance details

Defined in Frost.Types

type StaticBorshSize DkgPkg1 = StaticBorshSize (AsStruct DkgPkg1)

type Code DkgPkg1 #

Instance details

Defined in Frost.Types

type Code DkgPkg1 = GCode DkgPkg1

type DatatypeInfoOf DkgPkg1 #

Instance details

Defined in Frost.Types

type DatatypeInfoOf DkgPkg1 = GDatatypeInfoOf DkgPkg1

data DkgPkg2 #

A helper type that bundles the outputs of Round 2 of a DKG ceremony to facilitate marshalling to the Rust FFI

Constructors

DkgPkg2
Fields r2_secretPkg :: !SecretPackageR2 r2_pubPkgs :: ![PayloadR2]

Instances

Instances details

Generic DkgPkg2 #

Instance details

Defined in Frost.Types

Associated Types

type Rep DkgPkg2

Instance details

Defined in Frost.Types

type Rep DkgPkg2 = D1 ('MetaData "DkgPkg2" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DkgPkg2" 'PrefixI 'True) (S1 ('MetaSel ('Just "r2_secretPkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecretPackageR2) :*: S1 ('MetaSel ('Just "r2_pubPkgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PayloadR2])))

Methods

from :: DkgPkg2 -> Rep DkgPkg2 x #

to :: Rep DkgPkg2 x -> DkgPkg2 #

Show DkgPkg2 #

Instance details

Defined in Frost.Types

Methods

showsPrec :: Int -> DkgPkg2 -> ShowS #

show :: DkgPkg2 -> String #

showList :: [DkgPkg2] -> ShowS #

BorshSize DkgPkg2 #

Instance details

Defined in Frost.Types

Associated Types

type StaticBorshSize DkgPkg2
Instance details Defined in Frost.Types type StaticBorshSize DkgPkg2 = StaticBorshSize (AsStruct DkgPkg2)

Methods

borshSize :: Proxy DkgPkg2 -> Size (StaticBorshSize DkgPkg2) #

FromBorsh DkgPkg2 #

Instance details

Defined in Frost.Types

Methods

decodeBorsh :: Decoder s DkgPkg2 #

ToBorsh DkgPkg2 #

Instance details

Defined in Frost.Types

Methods

encodeBorsh :: Encoder DkgPkg2 #

Show DkgPkg2 #

Instance details

Defined in Frost.Types

Methods

toValue :: DkgPkg2 -> Value

Generic DkgPkg2 #

Instance details

Defined in Frost.Types

Associated Types

type Code DkgPkg2
Instance details Defined in Frost.Types type Code DkgPkg2 = GCode DkgPkg2

Methods

from :: DkgPkg2 -> Rep DkgPkg2 #

to :: Rep DkgPkg2 -> DkgPkg2 #

HasDatatypeInfo DkgPkg2 #

Instance details

Defined in Frost.Types

Associated Types

type DatatypeInfoOf DkgPkg2
Instance details Defined in Frost.Types type DatatypeInfoOf DkgPkg2 = GDatatypeInfoOf DkgPkg2

Methods

datatypeInfo :: proxy DkgPkg2 -> DatatypeInfo (Code DkgPkg2) #

Eq DkgPkg2 #

Instance details

Defined in Frost.Types

Methods

(==) :: DkgPkg2 -> DkgPkg2 -> Bool #

(/=) :: DkgPkg2 -> DkgPkg2 -> Bool #

type Rep DkgPkg2 #

Instance details

Defined in Frost.Types

type Rep DkgPkg2 = D1 ('MetaData "DkgPkg2" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DkgPkg2" 'PrefixI 'True) (S1 ('MetaSel ('Just "r2_secretPkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecretPackageR2) :*: S1 ('MetaSel ('Just "r2_pubPkgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PayloadR2])))

type StaticBorshSize DkgPkg2 #

Instance details

Defined in Frost.Types

type StaticBorshSize DkgPkg2 = StaticBorshSize (AsStruct DkgPkg2)

type Code DkgPkg2 #

Instance details

Defined in Frost.Types

type Code DkgPkg2 = GCode DkgPkg2

type DatatypeInfoOf DkgPkg2 #

Instance details

Defined in Frost.Types

type DatatypeInfoOf DkgPkg2 = GDatatypeInfoOf DkgPkg2

type KeyPackage = HexString #

The secret key package generated after completion of DKG

type PublicKeyPackage = HexString #

The public key packae generated after completion of DKG (common for all participants)

data DkgKeyPackage #

A helper type that bundles the outputs of Round 3 of a DKG ceremony to facilitate marshalling to the Rust FFI

Constructors

DkgKeyPackage
Fields keyPkg :: !KeyPackage pubKeyPkg :: !PublicKeyPackage

Instances

Instances details

Generic DkgKeyPackage #

Instance details

Defined in Frost.Types

Associated Types

type Rep DkgKeyPackage

Instance details

Defined in Frost.Types

type Rep DkgKeyPackage = D1 ('MetaData "DkgKeyPackage" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DkgKeyPackage" 'PrefixI 'True) (S1 ('MetaSel ('Just "keyPkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KeyPackage) :*: S1 ('MetaSel ('Just "pubKeyPkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PublicKeyPackage)))

Methods

from :: DkgKeyPackage -> Rep DkgKeyPackage x #

to :: Rep DkgKeyPackage x -> DkgKeyPackage #

Show DkgKeyPackage #

Instance details

Defined in Frost.Types

Methods

showsPrec :: Int -> DkgKeyPackage -> ShowS #

show :: DkgKeyPackage -> String #

showList :: [DkgKeyPackage] -> ShowS #

BorshSize DkgKeyPackage #

Instance details

Defined in Frost.Types

Associated Types

type StaticBorshSize DkgKeyPackage
Instance details Defined in Frost.Types type StaticBorshSize DkgKeyPackage = StaticBorshSize (AsStruct DkgKeyPackage)

Methods

borshSize :: Proxy DkgKeyPackage -> Size (StaticBorshSize DkgKeyPackage) #

FromBorsh DkgKeyPackage #

Instance details

Defined in Frost.Types

Methods

decodeBorsh :: Decoder s DkgKeyPackage #

ToBorsh DkgKeyPackage #

Instance details

Defined in Frost.Types

Methods

encodeBorsh :: Encoder DkgKeyPackage #

Show DkgKeyPackage #

Instance details

Defined in Frost.Types

Methods

toValue :: DkgKeyPackage -> Value

Generic DkgKeyPackage #

Instance details

Defined in Frost.Types

Associated Types

type Code DkgKeyPackage
Instance details Defined in Frost.Types type Code DkgKeyPackage = GCode DkgKeyPackage

Methods

from :: DkgKeyPackage -> Rep DkgKeyPackage #

to :: Rep DkgKeyPackage -> DkgKeyPackage #

HasDatatypeInfo DkgKeyPackage #

Instance details

Defined in Frost.Types

Associated Types

type DatatypeInfoOf DkgKeyPackage
Instance details Defined in Frost.Types type DatatypeInfoOf DkgKeyPackage = GDatatypeInfoOf DkgKeyPackage

Methods

datatypeInfo :: proxy DkgKeyPackage -> DatatypeInfo (Code DkgKeyPackage) #

Eq DkgKeyPackage #

Instance details

Defined in Frost.Types

Methods

(==) :: DkgKeyPackage -> DkgKeyPackage -> Bool #

(/=) :: DkgKeyPackage -> DkgKeyPackage -> Bool #

type Rep DkgKeyPackage #

Instance details

Defined in Frost.Types

type Rep DkgKeyPackage = D1 ('MetaData "DkgKeyPackage" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DkgKeyPackage" 'PrefixI 'True) (S1 ('MetaSel ('Just "keyPkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KeyPackage) :*: S1 ('MetaSel ('Just "pubKeyPkg") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PublicKeyPackage)))

type StaticBorshSize DkgKeyPackage #

Instance details

Defined in Frost.Types

type StaticBorshSize DkgKeyPackage = StaticBorshSize (AsStruct DkgKeyPackage)

type Code DkgKeyPackage #

Instance details

Defined in Frost.Types

type Code DkgKeyPackage = GCode DkgKeyPackage

type DatatypeInfoOf DkgKeyPackage #

Instance details

Defined in Frost.Types

type DatatypeInfoOf DkgKeyPackage = GDatatypeInfoOf DkgKeyPackage

type SigningNonces = HexString #

The Signing Nonces produced after round 1 of a FROST Signature ceremony

type SigningCommitments = HexString #

The Signing Commitments produced after round 1 of a FROST Signature ceremony

data SigningPkgR1 #

A helper type that bundles the outputs of Round 1 of a FROST Signing ceremony

Constructors

SigningPkgR1
Fields r1_nonces :: !SigningNonces r1_commits :: !SigningCommitments

Instances

Instances details

Generic SigningPkgR1 #

Instance details

Defined in Frost.Types

Associated Types

type Rep SigningPkgR1

Instance details

Defined in Frost.Types

type Rep SigningPkgR1 = D1 ('MetaData "SigningPkgR1" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SigningPkgR1" 'PrefixI 'True) (S1 ('MetaSel ('Just "r1_nonces") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SigningNonces) :*: S1 ('MetaSel ('Just "r1_commits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SigningCommitments)))

Methods

from :: SigningPkgR1 -> Rep SigningPkgR1 x #

to :: Rep SigningPkgR1 x -> SigningPkgR1 #

Show SigningPkgR1 #

Instance details

Defined in Frost.Types

Methods

showsPrec :: Int -> SigningPkgR1 -> ShowS #

show :: SigningPkgR1 -> String #

showList :: [SigningPkgR1] -> ShowS #

BorshSize SigningPkgR1 #

Instance details

Defined in Frost.Types

Associated Types

type StaticBorshSize SigningPkgR1
Instance details Defined in Frost.Types type StaticBorshSize SigningPkgR1 = StaticBorshSize (AsStruct SigningPkgR1)

Methods

borshSize :: Proxy SigningPkgR1 -> Size (StaticBorshSize SigningPkgR1) #

FromBorsh SigningPkgR1 #

Instance details

Defined in Frost.Types

Methods

decodeBorsh :: Decoder s SigningPkgR1 #

ToBorsh SigningPkgR1 #

Instance details

Defined in Frost.Types

Methods

encodeBorsh :: Encoder SigningPkgR1 #

Show SigningPkgR1 #

Instance details

Defined in Frost.Types

Methods

toValue :: SigningPkgR1 -> Value

Generic SigningPkgR1 #

Instance details

Defined in Frost.Types

Associated Types

type Code SigningPkgR1
Instance details Defined in Frost.Types type Code SigningPkgR1 = GCode SigningPkgR1

Methods

from :: SigningPkgR1 -> Rep SigningPkgR1 #

to :: Rep SigningPkgR1 -> SigningPkgR1 #

HasDatatypeInfo SigningPkgR1 #

Instance details

Defined in Frost.Types

Associated Types

type DatatypeInfoOf SigningPkgR1
Instance details Defined in Frost.Types type DatatypeInfoOf SigningPkgR1 = GDatatypeInfoOf SigningPkgR1

Methods

datatypeInfo :: proxy SigningPkgR1 -> DatatypeInfo (Code SigningPkgR1) #

Eq SigningPkgR1 #

Instance details

Defined in Frost.Types

Methods

(==) :: SigningPkgR1 -> SigningPkgR1 -> Bool #

(/=) :: SigningPkgR1 -> SigningPkgR1 -> Bool #

type Rep SigningPkgR1 #

Instance details

Defined in Frost.Types

type Rep SigningPkgR1 = D1 ('MetaData "SigningPkgR1" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SigningPkgR1" 'PrefixI 'True) (S1 ('MetaSel ('Just "r1_nonces") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SigningNonces) :*: S1 ('MetaSel ('Just "r1_commits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SigningCommitments)))

type StaticBorshSize SigningPkgR1 #

Instance details

Defined in Frost.Types

type StaticBorshSize SigningPkgR1 = StaticBorshSize (AsStruct SigningPkgR1)

type Code SigningPkgR1 #

Instance details

Defined in Frost.Types

type Code SigningPkgR1 = GCode SigningPkgR1

type DatatypeInfoOf SigningPkgR1 #

Instance details

Defined in Frost.Types

type DatatypeInfoOf SigningPkgR1 = GDatatypeInfoOf SigningPkgR1

type RandomizedParams = HexString #

The randomized parameters for randomized FROST signatures

type Randomizer = HexString #

The randomizer value for randomized FROST signatures

type SigningPackage = HexString #

The package prepared by the coordinator using the message to be signed and the participants' commitments

data SigningPkgR2 #

The Signing Package produced after the coordinator starts round 2 of a Frost Signature ceremony

Constructors

SigningPkgR2
Fields sigRandomizer :: !Randomizer sigPackage :: !SigningPackage

Instances

Instances details

Generic SigningPkgR2 #

Instance details

Defined in Frost.Types

Associated Types

type Rep SigningPkgR2

Instance details

Defined in Frost.Types

type Rep SigningPkgR2 = D1 ('MetaData "SigningPkgR2" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SigningPkgR2" 'PrefixI 'True) (S1 ('MetaSel ('Just "sigRandomizer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Randomizer) :*: S1 ('MetaSel ('Just "sigPackage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SigningPackage)))

Methods

from :: SigningPkgR2 -> Rep SigningPkgR2 x #

to :: Rep SigningPkgR2 x -> SigningPkgR2 #

Show SigningPkgR2 #

Instance details

Defined in Frost.Types

Methods

showsPrec :: Int -> SigningPkgR2 -> ShowS #

show :: SigningPkgR2 -> String #

showList :: [SigningPkgR2] -> ShowS #

BorshSize SigningPkgR2 #

Instance details

Defined in Frost.Types

Associated Types

type StaticBorshSize SigningPkgR2
Instance details Defined in Frost.Types type StaticBorshSize SigningPkgR2 = StaticBorshSize (AsStruct SigningPkgR2)

Methods

borshSize :: Proxy SigningPkgR2 -> Size (StaticBorshSize SigningPkgR2) #

FromBorsh SigningPkgR2 #

Instance details

Defined in Frost.Types

Methods

decodeBorsh :: Decoder s SigningPkgR2 #

ToBorsh SigningPkgR2 #

Instance details

Defined in Frost.Types

Methods

encodeBorsh :: Encoder SigningPkgR2 #

Show SigningPkgR2 #

Instance details

Defined in Frost.Types

Methods

toValue :: SigningPkgR2 -> Value

Generic SigningPkgR2 #

Instance details

Defined in Frost.Types

Associated Types

type Code SigningPkgR2
Instance details Defined in Frost.Types type Code SigningPkgR2 = GCode SigningPkgR2

Methods

from :: SigningPkgR2 -> Rep SigningPkgR2 #

to :: Rep SigningPkgR2 -> SigningPkgR2 #

HasDatatypeInfo SigningPkgR2 #

Instance details

Defined in Frost.Types

Associated Types

type DatatypeInfoOf SigningPkgR2
Instance details Defined in Frost.Types type DatatypeInfoOf SigningPkgR2 = GDatatypeInfoOf SigningPkgR2

Methods

datatypeInfo :: proxy SigningPkgR2 -> DatatypeInfo (Code SigningPkgR2) #

Eq SigningPkgR2 #

Instance details

Defined in Frost.Types

Methods

(==) :: SigningPkgR2 -> SigningPkgR2 -> Bool #

(/=) :: SigningPkgR2 -> SigningPkgR2 -> Bool #

type Rep SigningPkgR2 #

Instance details

Defined in Frost.Types

type Rep SigningPkgR2 = D1 ('MetaData "SigningPkgR2" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SigningPkgR2" 'PrefixI 'True) (S1 ('MetaSel ('Just "sigRandomizer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Randomizer) :*: S1 ('MetaSel ('Just "sigPackage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SigningPackage)))

type StaticBorshSize SigningPkgR2 #

Instance details

Defined in Frost.Types

type StaticBorshSize SigningPkgR2 = StaticBorshSize (AsStruct SigningPkgR2)

type Code SigningPkgR2 #

Instance details

Defined in Frost.Types

type Code SigningPkgR2 = GCode SigningPkgR2

type DatatypeInfoOf SigningPkgR2 #

Instance details

Defined in Frost.Types

type DatatypeInfoOf SigningPkgR2 = GDatatypeInfoOf SigningPkgR2

data SignPayload #

A helper type that bundles the identifier and the signing commitments of a participant

Constructors

SignPayload
Fields sp_id :: !Identifier sp_commits :: !SigningCommitments

Instances

Instances details

Generic SignPayload #

Instance details

Defined in Frost.Types

Associated Types

type Rep SignPayload

Instance details

Defined in Frost.Types

type Rep SignPayload = D1 ('MetaData "SignPayload" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SignPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "sp_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :*: S1 ('MetaSel ('Just "sp_commits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SigningCommitments)))

Methods

from :: SignPayload -> Rep SignPayload x #

to :: Rep SignPayload x -> SignPayload #

Show SignPayload #

Instance details

Defined in Frost.Types

Methods

showsPrec :: Int -> SignPayload -> ShowS #

show :: SignPayload -> String #

showList :: [SignPayload] -> ShowS #

BorshSize SignPayload #

Instance details

Defined in Frost.Types

Associated Types

type StaticBorshSize SignPayload
Instance details Defined in Frost.Types type StaticBorshSize SignPayload = StaticBorshSize (AsStruct SignPayload)

Methods

borshSize :: Proxy SignPayload -> Size (StaticBorshSize SignPayload) #

FromBorsh SignPayload #

Instance details

Defined in Frost.Types

Methods

decodeBorsh :: Decoder s SignPayload #

ToBorsh SignPayload #

Instance details

Defined in Frost.Types

Methods

encodeBorsh :: Encoder SignPayload #

Show SignPayload #

Instance details

Defined in Frost.Types

Methods

toValue :: SignPayload -> Value

Generic SignPayload #

Instance details

Defined in Frost.Types

Associated Types

type Code SignPayload
Instance details Defined in Frost.Types type Code SignPayload = GCode SignPayload

Methods

from :: SignPayload -> Rep SignPayload #

to :: Rep SignPayload -> SignPayload #

HasDatatypeInfo SignPayload #

Instance details

Defined in Frost.Types

Associated Types

type DatatypeInfoOf SignPayload
Instance details Defined in Frost.Types type DatatypeInfoOf SignPayload = GDatatypeInfoOf SignPayload

Methods

datatypeInfo :: proxy SignPayload -> DatatypeInfo (Code SignPayload) #

Eq SignPayload #

Instance details

Defined in Frost.Types

Methods

(==) :: SignPayload -> SignPayload -> Bool #

(/=) :: SignPayload -> SignPayload -> Bool #

type Rep SignPayload #

Instance details

Defined in Frost.Types

type Rep SignPayload = D1 ('MetaData "SignPayload" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SignPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "sp_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :*: S1 ('MetaSel ('Just "sp_commits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SigningCommitments)))

type StaticBorshSize SignPayload #

Instance details

Defined in Frost.Types

type StaticBorshSize SignPayload = StaticBorshSize (AsStruct SignPayload)

type Code SignPayload #

Instance details

Defined in Frost.Types

type Code SignPayload = GCode SignPayload

type DatatypeInfoOf SignPayload #

Instance details

Defined in Frost.Types

type DatatypeInfoOf SignPayload = GDatatypeInfoOf SignPayload

type SignatureShare = HexString #

The signature share produced by each participant during round 2

data AggregatePayload #

A helper type that bundles the identifier and the signature share of a participant

Constructors

AggregatePayload
Fields ag_id :: !Identifier ag_share :: !SignatureShare

Instances

Instances details

Generic AggregatePayload #

Instance details

Defined in Frost.Types

Associated Types

type Rep AggregatePayload

Instance details

Defined in Frost.Types

type Rep AggregatePayload = D1 ('MetaData "AggregatePayload" "Frost.Types" "frost-haskell-0.1.0.0-inplace" 'False) (C1 ('MetaCons "AggregatePayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "ag_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Identifier) :*: S1 ('MetaSel ('Just "ag_share") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SignatureShare)))

Methods

from :: AggregatePayload -> Rep AggregatePayload x #

to :: Rep AggregatePayload x -> AggregatePayload #

Show AggregatePayload #

Instance details

Defined in Frost.Types

Methods

showsPrec :: Int -> AggregatePayload -> ShowS #

show :: AggregatePayload -> String #

showList :: [AggregatePayload] -> ShowS #

BorshSize AggregatePayload #

Instance details

Defined in Frost.Types

Associated Types

type StaticBorshSize AggregatePayload
Instance details Defined in Frost.Types type StaticBorshSize AggregatePayload = StaticBorshSize (AsStruct AggregatePayload)