EcdhEdkWrapping

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Jan 15, 2025 License: Apache-2.0 Imports: 94 Imported by: 17

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_EcdhGenerateAndWrapKeyMaterial_ = CompanionStruct_EcdhGenerateAndWrapKeyMaterial_{}
View Source 
var Companion_EcdhUnwrapInfo_ = CompanionStruct_EcdhUnwrapInfo_{}
View Source 
var Companion_EcdhUnwrap_ = CompanionStruct_EcdhUnwrap_{}
View Source 
var Companion_EcdhWrapInfo_ = CompanionStruct_EcdhWrapInfo_{}
View Source 
var Companion_EcdhWrapKeyMaterial_ = CompanionStruct_EcdhWrapKeyMaterial_{}

Functions

func Type_EcdhGenerateAndWrapKeyMaterial_ 

func Type_EcdhGenerateAndWrapKeyMaterial_() _dafny.TypeDescriptor

func Type_EcdhUnwrapInfo_ 

func Type_EcdhUnwrapInfo_() _dafny.TypeDescriptor

func Type_EcdhUnwrap_ 

func Type_EcdhUnwrap_() _dafny.TypeDescriptor

func Type_EcdhWrapInfo_ 

func Type_EcdhWrapInfo_() _dafny.TypeDescriptor

func Type_EcdhWrapKeyMaterial_ 

func Type_EcdhWrapKeyMaterial_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) CurveSpecTypeToString 

func (_static *CompanionStruct_Default___) CurveSpecTypeToString(c m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec) _dafny.Sequence

func (*CompanionStruct_Default___) DeriveSharedKeyingMaterial 

func (_static *CompanionStruct_Default___) DeriveSharedKeyingMaterial(sharedSecret _dafny.Sequence, fixedInfo _dafny.Sequence, salt _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) E 

func (_static *CompanionStruct_Default___) E(s _dafny.Sequence) m_AwsCryptographyMaterialProvidersTypes.Error

func (*CompanionStruct_Default___) SerializeFixedInfo 

func (_static *CompanionStruct_Default___) SerializeFixedInfo(ecdhKeyDerivationUtf8 _dafny.Sequence, curveSpecUtf8 _dafny.Sequence, senderPublicKey _dafny.Sequence, recipientPublicKey _dafny.Sequence, canonicalizedEC _dafny.Sequence, keyringVersion _dafny.Sequence) _dafny.Sequence

type CompanionStruct_EcdhGenerateAndWrapKeyMaterial_ 

type CompanionStruct_EcdhGenerateAndWrapKeyMaterial_ struct {
}

type CompanionStruct_EcdhUnwrapInfo_ 

type CompanionStruct_EcdhUnwrapInfo_ struct {
}

func (CompanionStruct_EcdhUnwrapInfo_) AllSingletonConstructors 

func (_ CompanionStruct_EcdhUnwrapInfo_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_EcdhUnwrapInfo_) Create_EcdhUnwrapInfo_ 

func (CompanionStruct_EcdhUnwrapInfo_) Create_EcdhUnwrapInfo_() EcdhUnwrapInfo

func (CompanionStruct_EcdhUnwrapInfo_) Default 

func (CompanionStruct_EcdhUnwrapInfo_) Default() EcdhUnwrapInfo

type CompanionStruct_EcdhUnwrap_ 

type CompanionStruct_EcdhUnwrap_ struct {
}

type CompanionStruct_EcdhWrapInfo_ 

type CompanionStruct_EcdhWrapInfo_ struct {
}

func (CompanionStruct_EcdhWrapInfo_) AllSingletonConstructors 

func (_ CompanionStruct_EcdhWrapInfo_) AllSingletonConstructors() _dafny.Iterator

func (CompanionStruct_EcdhWrapInfo_) Create_EcdhWrapInfo_ 

func (CompanionStruct_EcdhWrapInfo_) Create_EcdhWrapInfo_() EcdhWrapInfo

func (CompanionStruct_EcdhWrapInfo_) Default 

func (CompanionStruct_EcdhWrapInfo_) Default() EcdhWrapInfo

type CompanionStruct_EcdhWrapKeyMaterial_ 

type CompanionStruct_EcdhWrapKeyMaterial_ struct {
}

type Data_EcdhUnwrapInfo_ 

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

type Data_EcdhWrapInfo_ 

type Data_EcdhWrapInfo_ 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 EcdhGenerateAndWrapKeyMaterial 

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

Definition of class EcdhGenerateAndWrapKeyMaterial

func New_EcdhGenerateAndWrapKeyMaterial_ 

func New_EcdhGenerateAndWrapKeyMaterial_() *EcdhGenerateAndWrapKeyMaterial

func (*EcdhGenerateAndWrapKeyMaterial) Crypto 

func (_this *EcdhGenerateAndWrapKeyMaterial) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*EcdhGenerateAndWrapKeyMaterial) Ctor__ 

func (_this *EcdhGenerateAndWrapKeyMaterial) Ctor__(sharedSecret _dafny.Sequence, fixedInfo _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*EcdhGenerateAndWrapKeyMaterial) Equals 

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

func (*EcdhGenerateAndWrapKeyMaterial) EqualsGeneric 

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

func (*EcdhGenerateAndWrapKeyMaterial) FixedInfo 

func (_this *EcdhGenerateAndWrapKeyMaterial) FixedInfo() _dafny.Sequence

func (*EcdhGenerateAndWrapKeyMaterial) Invoke 

func (_this *EcdhGenerateAndWrapKeyMaterial) Invoke(input interface{}) interface{}

func (*EcdhGenerateAndWrapKeyMaterial) ParentTraits_ 

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

func (*EcdhGenerateAndWrapKeyMaterial) SharedSecret 

func (_this *EcdhGenerateAndWrapKeyMaterial) SharedSecret() _dafny.Sequence

func (*EcdhGenerateAndWrapKeyMaterial) String 

func (*EcdhGenerateAndWrapKeyMaterial) String() string

type EcdhUnwrap 

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

Definition of class EcdhUnwrap

func New_EcdhUnwrap_ 

func New_EcdhUnwrap_() *EcdhUnwrap

func (*EcdhUnwrap) CommitmentKeyCheck 

func (_this *EcdhUnwrap) CommitmentKeyCheck(calculatedCommitmentKey _dafny.Sequence, serializedCommitmentKey _dafny.Sequence) bool

func (*EcdhUnwrap) Crypto 

func (_this *EcdhUnwrap) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*EcdhUnwrap) Ctor__ 

func (_this *EcdhUnwrap) Ctor__(senderPublicKey _dafny.Sequence, recipientPublicKey _dafny.Sequence, sharedSecret _dafny.Sequence, keyringVersion _dafny.Sequence, curveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec, crypto *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*EcdhUnwrap) CurveSpec 

func (_this *EcdhUnwrap) CurveSpec() m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec

func (*EcdhUnwrap) Equals 

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

func (*EcdhUnwrap) EqualsGeneric 

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

func (*EcdhUnwrap) Invoke 

func (_this *EcdhUnwrap) Invoke(input interface{}) interface{}

func (*EcdhUnwrap) KeyringVersion 

func (_this *EcdhUnwrap) KeyringVersion() _dafny.Sequence

func (*EcdhUnwrap) ParentTraits_ 

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

func (*EcdhUnwrap) RecipientPublicKey 

func (_this *EcdhUnwrap) RecipientPublicKey() _dafny.Sequence

func (*EcdhUnwrap) SenderPublicKey 

func (_this *EcdhUnwrap) SenderPublicKey() _dafny.Sequence

func (*EcdhUnwrap) SharedSecret 

func (_this *EcdhUnwrap) SharedSecret() _dafny.Sequence

func (*EcdhUnwrap) String 

func (*EcdhUnwrap) String() string

type EcdhUnwrapInfo 

type EcdhUnwrapInfo struct {
	Data_EcdhUnwrapInfo_
}

Definition of datatype EcdhUnwrapInfo

func (EcdhUnwrapInfo) Equals 

func (_this EcdhUnwrapInfo) Equals(other EcdhUnwrapInfo) bool

func (EcdhUnwrapInfo) EqualsGeneric 

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

func (EcdhUnwrapInfo) Get_ 

func (_this EcdhUnwrapInfo) Get_() Data_EcdhUnwrapInfo_

func (EcdhUnwrapInfo) Is_EcdhUnwrapInfo 

func (_this EcdhUnwrapInfo) Is_EcdhUnwrapInfo() bool

func (EcdhUnwrapInfo) ParentTraits_ 

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

func (EcdhUnwrapInfo) String 

func (_this EcdhUnwrapInfo) String() string

type EcdhUnwrapInfo_EcdhUnwrapInfo 

type EcdhUnwrapInfo_EcdhUnwrapInfo struct {
}

type EcdhWrapInfo 

type EcdhWrapInfo struct {
	Data_EcdhWrapInfo_
}

Definition of datatype EcdhWrapInfo

func (EcdhWrapInfo) Equals 

func (_this EcdhWrapInfo) Equals(other EcdhWrapInfo) bool

func (EcdhWrapInfo) EqualsGeneric 

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

func (EcdhWrapInfo) Get_ 

func (_this EcdhWrapInfo) Get_() Data_EcdhWrapInfo_

func (EcdhWrapInfo) Is_EcdhWrapInfo 

func (_this EcdhWrapInfo) Is_EcdhWrapInfo() bool

func (EcdhWrapInfo) ParentTraits_ 

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

func (EcdhWrapInfo) String 

func (_this EcdhWrapInfo) String() string

type EcdhWrapInfo_EcdhWrapInfo 

type EcdhWrapInfo_EcdhWrapInfo struct {
}

type EcdhWrapKeyMaterial 

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

Definition of class EcdhWrapKeyMaterial

func New_EcdhWrapKeyMaterial_ 

func New_EcdhWrapKeyMaterial_() *EcdhWrapKeyMaterial

func (*EcdhWrapKeyMaterial) Crypto 

func (_this *EcdhWrapKeyMaterial) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*EcdhWrapKeyMaterial) Ctor__ 

func (_this *EcdhWrapKeyMaterial) Ctor__(sharedSecret _dafny.Sequence, fixedInfo _dafny.Sequence, crypto *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*EcdhWrapKeyMaterial) Equals 

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

func (*EcdhWrapKeyMaterial) EqualsGeneric 

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

func (*EcdhWrapKeyMaterial) FixedInfo 

func (_this *EcdhWrapKeyMaterial) FixedInfo() _dafny.Sequence

func (*EcdhWrapKeyMaterial) Invoke 

func (_this *EcdhWrapKeyMaterial) Invoke(input interface{}) interface{}

func (*EcdhWrapKeyMaterial) ParentTraits_ 

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

func (*EcdhWrapKeyMaterial) SharedSecret 

func (_this *EcdhWrapKeyMaterial) SharedSecret() _dafny.Sequence

func (*EcdhWrapKeyMaterial) String 

func (*EcdhWrapKeyMaterial) String() string

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.