structure Cryptlib.Protocols.Sphinx.Types.PathHop : Type

A path hop: node ID, raw public key bytes, and routing commands other than nextNodeHop.

• id : Vector UInt8 32
• publicKey : ByteArray
• commands : List Commands.RoutingCommand

@[instance_reducible]

instance Cryptlib.Protocols.Sphinx.Types.instInhabitedPathHop : Inhabited PathHop

Equations

• Cryptlib.Protocols.Sphinx.Types.instInhabitedPathHop = { default := Cryptlib.Protocols.Sphinx.Types.instInhabitedPathHop.default }

structure Cryptlib.Protocols.Sphinx.Types.SPRPKey : Type

Per-hop SPRP key and IV for payload encryption.

• key : Vector UInt8 48
• iv : Vector UInt8 16

@[instance_reducible]

instance Cryptlib.Protocols.Sphinx.Types.instInhabitedSPRPKey : Inhabited SPRPKey

Equations

• Cryptlib.Protocols.Sphinx.Types.instInhabitedSPRPKey = { default := Cryptlib.Protocols.Sphinx.Types.instInhabitedSPRPKey.default }