KeyDerivation

Documentation

Index

• Variables
• func Type_ExpandedKeyMaterial_() _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) COMMIT__LABEL() _dafny.Sequence
  • func (_static *CompanionStruct_Default___) DeriveKey(messageId _dafny.Sequence, plaintextDataKey _dafny.Sequence, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) DeriveKeys(messageId _dafny.Sequence, plaintextKey _dafny.Sequence, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) ExpandKeyMaterial(messageId _dafny.Sequence, plaintextKey _dafny.Sequence, ...) m_Wrappers.Result
  • func (_static *CompanionStruct_Default___) KEY__LABEL() _dafny.Sequence
• type CompanionStruct_ExpandedKeyMaterial_
  • func (CompanionStruct_ExpandedKeyMaterial_) Create_ExpandedKeyMaterial_(DataKey _dafny.Sequence, CommitmentKey m_Wrappers.Option) ExpandedKeyMaterial
  • func (CompanionStruct_ExpandedKeyMaterial_) Default() ExpandedKeyMaterial
• type Data_ExpandedKeyMaterial_
• type Default__
  • func New_Default___() *Default__
  • func (_this *Default__) Equals(other *Default__) bool
  • func (_this *Default__) EqualsGeneric(x interface{}) bool
  • func (_this *Default__) ParentTraits_() []*_dafny.TraitID
  • func (*Default__) String() string
• type Dummy__
• type ExpandedKeyMaterial
  • func (_this ExpandedKeyMaterial) Dtor_commitmentKey() m_Wrappers.Option
  • func (_this ExpandedKeyMaterial) Dtor_dataKey() _dafny.Sequence
  • func (_this ExpandedKeyMaterial) Equals(other ExpandedKeyMaterial) bool
  • func (_this ExpandedKeyMaterial) EqualsGeneric(other interface{}) bool
  • func (_this ExpandedKeyMaterial) Get_() Data_ExpandedKeyMaterial_
  • func (_this ExpandedKeyMaterial) Is_ExpandedKeyMaterial() bool
  • func (_this ExpandedKeyMaterial) ParentTraits_() []*_dafny.TraitID
  • func (_this ExpandedKeyMaterial) String() string
• type ExpandedKeyMaterial_ExpandedKeyMaterial

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_ExpandedKeyMaterial_ = CompanionStruct_ExpandedKeyMaterial_{}

Functions

func Type_ExpandedKeyMaterial_

func Type_ExpandedKeyMaterial_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) COMMIT__LABEL

func (_static *CompanionStruct_Default___) COMMIT__LABEL() _dafny.Sequence

func (*CompanionStruct_Default___) DeriveKey

func (_static *CompanionStruct_Default___) DeriveKey(messageId _dafny.Sequence, plaintextDataKey _dafny.Sequence, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, crypto *m_AtomicPrimitives.AtomicPrimitivesClient, onNetV4Retry bool) m_Wrappers.Result

func (*CompanionStruct_Default___) DeriveKeys

func (_static *CompanionStruct_Default___) DeriveKeys(messageId _dafny.Sequence, plaintextKey _dafny.Sequence, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, crypto *m_AtomicPrimitives.AtomicPrimitivesClient, netV4__0__0__RetryPolicy m_AwsCryptographyEncryptionSdkTypes.NetV4__0__0__RetryPolicy, onNetV4Retry bool) m_Wrappers.Result

func (*CompanionStruct_Default___) ExpandKeyMaterial

func (_static *CompanionStruct_Default___) ExpandKeyMaterial(messageId _dafny.Sequence, plaintextKey _dafny.Sequence, suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) KEY__LABEL

func (_static *CompanionStruct_Default___) KEY__LABEL() _dafny.Sequence

type CompanionStruct_ExpandedKeyMaterial_

type CompanionStruct_ExpandedKeyMaterial_ struct {
}

func (CompanionStruct_ExpandedKeyMaterial_) Create_ExpandedKeyMaterial_

func (CompanionStruct_ExpandedKeyMaterial_) Create_ExpandedKeyMaterial_(DataKey _dafny.Sequence, CommitmentKey m_Wrappers.Option) ExpandedKeyMaterial

func (CompanionStruct_ExpandedKeyMaterial_) Default

func (CompanionStruct_ExpandedKeyMaterial_) Default() ExpandedKeyMaterial

type Data_ExpandedKeyMaterial_

type Data_ExpandedKeyMaterial_ interface {
	// contains filtered or unexported methods
}

type Default__

type Default__ struct {
	// contains filtered or unexported fields
}

Definition of class Default__

func New_Default___

func New_Default___() *Default__

func (*Default__) Equals

func (_this *Default__) Equals(other *Default__) bool

func (*Default__) EqualsGeneric

func (_this *Default__) EqualsGeneric(x interface{}) bool

func (*Default__) ParentTraits_

func (_this *Default__) ParentTraits_() []*_dafny.TraitID

func (*Default__) String

func (*Default__) String() string

type Dummy__

type Dummy__ struct{}

type ExpandedKeyMaterial

type ExpandedKeyMaterial struct {
	Data_ExpandedKeyMaterial_
}

Definition of datatype ExpandedKeyMaterial

func (ExpandedKeyMaterial) Dtor_commitmentKey

func (_this ExpandedKeyMaterial) Dtor_commitmentKey() m_Wrappers.Option

func (ExpandedKeyMaterial) Dtor_dataKey

func (_this ExpandedKeyMaterial) Dtor_dataKey() _dafny.Sequence

func (ExpandedKeyMaterial) Equals

func (_this ExpandedKeyMaterial) Equals(other ExpandedKeyMaterial) bool

func (ExpandedKeyMaterial) EqualsGeneric

func (_this ExpandedKeyMaterial) EqualsGeneric(other interface{}) bool

func (ExpandedKeyMaterial) Get_

func (_this ExpandedKeyMaterial) Get_() Data_ExpandedKeyMaterial_

func (ExpandedKeyMaterial) Is_ExpandedKeyMaterial

func (_this ExpandedKeyMaterial) Is_ExpandedKeyMaterial() bool

func (ExpandedKeyMaterial) ParentTraits_

func (_this ExpandedKeyMaterial) ParentTraits_() []*_dafny.TraitID

func (ExpandedKeyMaterial) String

func (_this ExpandedKeyMaterial) String() string

type ExpandedKeyMaterial_ExpandedKeyMaterial

type ExpandedKeyMaterial_ExpandedKeyMaterial struct {
	DataKey       _dafny.Sequence
	CommitmentKey m_Wrappers.Option
}