RawECDHKeyring

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: 95 Imported by: 17

Documentation

Index

Constants

This section is empty.

Variables

View Source 
var Companion_DecryptSingleEncryptedDataKey_ = CompanionStruct_DecryptSingleEncryptedDataKey_{}
View Source 
var Companion_Default___ = CompanionStruct_Default___{}
View Source 
var Companion_OnDecryptEcdhDataKeyFilter_ = CompanionStruct_OnDecryptEcdhDataKeyFilter_{}
View Source 
var Companion_RawEcdhKeyring_ = CompanionStruct_RawEcdhKeyring_{}

Functions

func Type_DecryptSingleEncryptedDataKey_ 

func Type_DecryptSingleEncryptedDataKey_() _dafny.TypeDescriptor

func Type_OnDecryptEcdhDataKeyFilter_ 

func Type_OnDecryptEcdhDataKeyFilter_() _dafny.TypeDescriptor

func Type_RawEcdhKeyring_ 

func Type_RawEcdhKeyring_() _dafny.TypeDescriptor

Types

type CompanionStruct_DecryptSingleEncryptedDataKey_ 

type CompanionStruct_DecryptSingleEncryptedDataKey_ struct {
}

type CompanionStruct_Default___ 

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) CompressPublicKey 

func (_static *CompanionStruct_Default___) CompressPublicKey(publicKey m_AwsCryptographyPrimitivesTypes.ECCPublicKey, curveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) CurveSpecTypeToString 

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

func (*CompanionStruct_Default___) DecompressPublicKey 

func (_static *CompanionStruct_Default___) DecompressPublicKey(publicKey _dafny.Sequence, curveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec, 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___) GenerateEphemeralEccKeyPair 

func (_static *CompanionStruct_Default___) GenerateEphemeralEccKeyPair(curveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) LocalDeriveSharedSecret 

func (_static *CompanionStruct_Default___) LocalDeriveSharedSecret(senderPrivateKey m_AwsCryptographyPrimitivesTypes.ECCPrivateKey, recipientPublicKey m_AwsCryptographyPrimitivesTypes.ECCPublicKey, curveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result

func (*CompanionStruct_Default___) RAW__ECDH__KEYRING__VERSION 

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

func (*CompanionStruct_Default___) SerializeProviderInfo 

func (_static *CompanionStruct_Default___) SerializeProviderInfo(senderPublicKey _dafny.Sequence, recipientPublicKey _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) ValidCompressedPublicKeyLength 

func (_static *CompanionStruct_Default___) ValidCompressedPublicKeyLength(p _dafny.Sequence) bool

func (*CompanionStruct_Default___) ValidProviderInfoLength 

func (_static *CompanionStruct_Default___) ValidProviderInfoLength(p _dafny.Sequence) bool

func (*CompanionStruct_Default___) ValidPublicKeyLength 

func (_static *CompanionStruct_Default___) ValidPublicKeyLength(p _dafny.Sequence) bool

func (*CompanionStruct_Default___) ValidatePublicKey 

func (_static *CompanionStruct_Default___) ValidatePublicKey(crypto *m_AtomicPrimitives.AtomicPrimitivesClient, curveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec, publicKey _dafny.Sequence) m_Wrappers.Result

type CompanionStruct_OnDecryptEcdhDataKeyFilter_ 

type CompanionStruct_OnDecryptEcdhDataKeyFilter_ struct {
}

type CompanionStruct_RawEcdhKeyring_ 

type CompanionStruct_RawEcdhKeyring_ struct {
}

type DecryptSingleEncryptedDataKey 

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

Definition of class DecryptSingleEncryptedDataKey

func New_DecryptSingleEncryptedDataKey_ 

func New_DecryptSingleEncryptedDataKey_() *DecryptSingleEncryptedDataKey

func (*DecryptSingleEncryptedDataKey) CryptoPrimitives 

func (_this *DecryptSingleEncryptedDataKey) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*DecryptSingleEncryptedDataKey) Ctor__ 

func (_this *DecryptSingleEncryptedDataKey) Ctor__(materials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient, senderPublicKey _dafny.Sequence, recipientPublicKey _dafny.Sequence, keyAgreementScheme m_AwsCryptographyMaterialProvidersTypes.RawEcdhStaticConfigurations, curveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec)

func (*DecryptSingleEncryptedDataKey) CurveSpec 

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

func (*DecryptSingleEncryptedDataKey) Equals 

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

func (*DecryptSingleEncryptedDataKey) EqualsGeneric 

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

func (*DecryptSingleEncryptedDataKey) Invoke 

func (_this *DecryptSingleEncryptedDataKey) Invoke(edk interface{}) interface{}

func (*DecryptSingleEncryptedDataKey) KeyAgreementScheme 

func (_this *DecryptSingleEncryptedDataKey) KeyAgreementScheme() m_AwsCryptographyMaterialProvidersTypes.RawEcdhStaticConfigurations

func (*DecryptSingleEncryptedDataKey) Materials 

func (_this *DecryptSingleEncryptedDataKey) Materials() m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials

func (*DecryptSingleEncryptedDataKey) ParentTraits_ 

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

func (*DecryptSingleEncryptedDataKey) RecipientPublicKey 

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

func (*DecryptSingleEncryptedDataKey) SenderPublicKey 

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

func (*DecryptSingleEncryptedDataKey) String 

func (*DecryptSingleEncryptedDataKey) String() string

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 OnDecryptEcdhDataKeyFilter 

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

Definition of class OnDecryptEcdhDataKeyFilter

func New_OnDecryptEcdhDataKeyFilter_ 

func New_OnDecryptEcdhDataKeyFilter_() *OnDecryptEcdhDataKeyFilter

func (*OnDecryptEcdhDataKeyFilter) CompressedRecipientPublicKey 

func (_this *OnDecryptEcdhDataKeyFilter) CompressedRecipientPublicKey() _dafny.Sequence

func (*OnDecryptEcdhDataKeyFilter) CompressedSenderPublicKey 

func (_this *OnDecryptEcdhDataKeyFilter) CompressedSenderPublicKey() _dafny.Sequence

func (*OnDecryptEcdhDataKeyFilter) Ctor__ 

func (_this *OnDecryptEcdhDataKeyFilter) Ctor__(keyAgreementScheme m_AwsCryptographyMaterialProvidersTypes.RawEcdhStaticConfigurations, compressedRecipientPublicKey _dafny.Sequence, compressedSenderPublicKey m_Wrappers.Option)

func (*OnDecryptEcdhDataKeyFilter) Equals 

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

func (*OnDecryptEcdhDataKeyFilter) EqualsGeneric 

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

func (*OnDecryptEcdhDataKeyFilter) Invoke 

func (_this *OnDecryptEcdhDataKeyFilter) Invoke(edk interface{}) interface{}

func (*OnDecryptEcdhDataKeyFilter) KeyAgreementScheme 

func (_this *OnDecryptEcdhDataKeyFilter) KeyAgreementScheme() m_AwsCryptographyMaterialProvidersTypes.RawEcdhStaticConfigurations

func (*OnDecryptEcdhDataKeyFilter) ParentTraits_ 

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

func (*OnDecryptEcdhDataKeyFilter) String 

func (*OnDecryptEcdhDataKeyFilter) String() string

type RawEcdhKeyring 

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

Definition of class RawEcdhKeyring

func New_RawEcdhKeyring_ 

func New_RawEcdhKeyring_() *RawEcdhKeyring

func (*RawEcdhKeyring) CompressedRecipientPublicKey 

func (_this *RawEcdhKeyring) CompressedRecipientPublicKey() _dafny.Sequence

func (*RawEcdhKeyring) CompressedSenderPublicKey 

func (_this *RawEcdhKeyring) CompressedSenderPublicKey() _dafny.Sequence

func (*RawEcdhKeyring) CryptoPrimitives 

func (_this *RawEcdhKeyring) CryptoPrimitives() *m_AtomicPrimitives.AtomicPrimitivesClient

func (*RawEcdhKeyring) Ctor__ 

func (_this *RawEcdhKeyring) Ctor__(keyAgreementScheme m_AwsCryptographyMaterialProvidersTypes.RawEcdhStaticConfigurations, curveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec, senderPrivateKey m_Wrappers.Option, senderPublicKey m_Wrappers.Option, recipientPublicKey _dafny.Sequence, compressedSenderPublicKey m_Wrappers.Option, compressedRecipientPublicKey _dafny.Sequence, cryptoPrimitives *m_AtomicPrimitives.AtomicPrimitivesClient)

func (*RawEcdhKeyring) CurveSpec 

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

func (*RawEcdhKeyring) Equals 

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

func (*RawEcdhKeyring) EqualsGeneric 

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

func (*RawEcdhKeyring) KeyAgreementScheme 

func (_this *RawEcdhKeyring) KeyAgreementScheme() m_AwsCryptographyMaterialProvidersTypes.RawEcdhStaticConfigurations

func (*RawEcdhKeyring) OnDecrypt 

func (_this *RawEcdhKeyring) OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result

func (*RawEcdhKeyring) OnDecrypt_k 

func (_this *RawEcdhKeyring) OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result

func (*RawEcdhKeyring) OnEncrypt 

func (_this *RawEcdhKeyring) OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result

func (*RawEcdhKeyring) OnEncrypt_k 

func (_this *RawEcdhKeyring) OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result

func (*RawEcdhKeyring) ParentTraits_ 

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

func (*RawEcdhKeyring) RecipientPublicKey 

func (_this *RawEcdhKeyring) RecipientPublicKey() m_AwsCryptographyPrimitivesTypes.ECCPublicKey

func (*RawEcdhKeyring) SenderPrivateKey 

func (_this *RawEcdhKeyring) SenderPrivateKey() m_AwsCryptographyPrimitivesTypes.ECCPrivateKey

func (*RawEcdhKeyring) SenderPublicKey 

func (_this *RawEcdhKeyring) SenderPublicKey() m_AwsCryptographyPrimitivesTypes.ECCPublicKey

func (*RawEcdhKeyring) String 

func (*RawEcdhKeyring) 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.