Versions in this module Expand all Collapse all v0 v0.1.0 Jan 15, 2025 v0.0.1 Jan 15, 2025 Changes in this version + var Companion_Default___ = CompanionStruct_Default___ + var Companion_EcdhGenerateAndWrapKeyMaterial_ = CompanionStruct_EcdhGenerateAndWrapKeyMaterial_ + var Companion_EcdhUnwrapInfo_ = CompanionStruct_EcdhUnwrapInfo_ + var Companion_EcdhUnwrap_ = CompanionStruct_EcdhUnwrap_ + var Companion_EcdhWrapInfo_ = CompanionStruct_EcdhWrapInfo_ + var Companion_EcdhWrapKeyMaterial_ = CompanionStruct_EcdhWrapKeyMaterial_ + func Type_EcdhGenerateAndWrapKeyMaterial_() _dafny.TypeDescriptor + func Type_EcdhUnwrapInfo_() _dafny.TypeDescriptor + func Type_EcdhUnwrap_() _dafny.TypeDescriptor + func Type_EcdhWrapInfo_() _dafny.TypeDescriptor + func Type_EcdhWrapKeyMaterial_() _dafny.TypeDescriptor + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) CurveSpecTypeToString(c m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec) _dafny.Sequence + func (_static *CompanionStruct_Default___) DeriveSharedKeyingMaterial(sharedSecret _dafny.Sequence, fixedInfo _dafny.Sequence, salt _dafny.Sequence, ...) m_Wrappers.Result + func (_static *CompanionStruct_Default___) E(s _dafny.Sequence) m_AwsCryptographyMaterialProvidersTypes.Error + func (_static *CompanionStruct_Default___) SerializeFixedInfo(ecdhKeyDerivationUtf8 _dafny.Sequence, curveSpecUtf8 _dafny.Sequence, ...) _dafny.Sequence + type CompanionStruct_EcdhGenerateAndWrapKeyMaterial_ struct + type CompanionStruct_EcdhUnwrapInfo_ struct + func (CompanionStruct_EcdhUnwrapInfo_) Create_EcdhUnwrapInfo_() EcdhUnwrapInfo + func (CompanionStruct_EcdhUnwrapInfo_) Default() EcdhUnwrapInfo + func (_ CompanionStruct_EcdhUnwrapInfo_) AllSingletonConstructors() _dafny.Iterator + type CompanionStruct_EcdhUnwrap_ struct + type CompanionStruct_EcdhWrapInfo_ struct + func (CompanionStruct_EcdhWrapInfo_) Create_EcdhWrapInfo_() EcdhWrapInfo + func (CompanionStruct_EcdhWrapInfo_) Default() EcdhWrapInfo + func (_ CompanionStruct_EcdhWrapInfo_) AllSingletonConstructors() _dafny.Iterator + type CompanionStruct_EcdhWrapKeyMaterial_ struct + type Data_EcdhUnwrapInfo_ interface + type Data_EcdhWrapInfo_ interface + type Default__ struct + func New_Default___() *Default__ + func (*Default__) String() string + func (_this *Default__) Equals(other *Default__) bool + func (_this *Default__) EqualsGeneric(x interface{}) bool + func (_this *Default__) ParentTraits_() []*_dafny.TraitID + type Dummy__ struct + type EcdhGenerateAndWrapKeyMaterial struct + func New_EcdhGenerateAndWrapKeyMaterial_() *EcdhGenerateAndWrapKeyMaterial + func (*EcdhGenerateAndWrapKeyMaterial) String() string + func (_this *EcdhGenerateAndWrapKeyMaterial) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *EcdhGenerateAndWrapKeyMaterial) Ctor__(sharedSecret _dafny.Sequence, fixedInfo _dafny.Sequence, ...) + func (_this *EcdhGenerateAndWrapKeyMaterial) Equals(other *EcdhGenerateAndWrapKeyMaterial) bool + func (_this *EcdhGenerateAndWrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *EcdhGenerateAndWrapKeyMaterial) FixedInfo() _dafny.Sequence + func (_this *EcdhGenerateAndWrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *EcdhGenerateAndWrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + func (_this *EcdhGenerateAndWrapKeyMaterial) SharedSecret() _dafny.Sequence + type EcdhUnwrap struct + func New_EcdhUnwrap_() *EcdhUnwrap + func (*EcdhUnwrap) String() string + func (_this *EcdhUnwrap) CommitmentKeyCheck(calculatedCommitmentKey _dafny.Sequence, ...) bool + func (_this *EcdhUnwrap) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *EcdhUnwrap) Ctor__(senderPublicKey _dafny.Sequence, recipientPublicKey _dafny.Sequence, ...) + func (_this *EcdhUnwrap) CurveSpec() m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec + func (_this *EcdhUnwrap) Equals(other *EcdhUnwrap) bool + func (_this *EcdhUnwrap) EqualsGeneric(x interface{}) bool + func (_this *EcdhUnwrap) Invoke(input interface{}) interface{} + func (_this *EcdhUnwrap) KeyringVersion() _dafny.Sequence + func (_this *EcdhUnwrap) ParentTraits_() []*_dafny.TraitID + func (_this *EcdhUnwrap) RecipientPublicKey() _dafny.Sequence + func (_this *EcdhUnwrap) SenderPublicKey() _dafny.Sequence + func (_this *EcdhUnwrap) SharedSecret() _dafny.Sequence + type EcdhUnwrapInfo struct + func (_this EcdhUnwrapInfo) Equals(other EcdhUnwrapInfo) bool + func (_this EcdhUnwrapInfo) EqualsGeneric(other interface{}) bool + func (_this EcdhUnwrapInfo) Get_() Data_EcdhUnwrapInfo_ + func (_this EcdhUnwrapInfo) Is_EcdhUnwrapInfo() bool + func (_this EcdhUnwrapInfo) ParentTraits_() []*_dafny.TraitID + func (_this EcdhUnwrapInfo) String() string + type EcdhUnwrapInfo_EcdhUnwrapInfo struct + type EcdhWrapInfo struct + func (_this EcdhWrapInfo) Equals(other EcdhWrapInfo) bool + func (_this EcdhWrapInfo) EqualsGeneric(other interface{}) bool + func (_this EcdhWrapInfo) Get_() Data_EcdhWrapInfo_ + func (_this EcdhWrapInfo) Is_EcdhWrapInfo() bool + func (_this EcdhWrapInfo) ParentTraits_() []*_dafny.TraitID + func (_this EcdhWrapInfo) String() string + type EcdhWrapInfo_EcdhWrapInfo struct + type EcdhWrapKeyMaterial struct + func New_EcdhWrapKeyMaterial_() *EcdhWrapKeyMaterial + func (*EcdhWrapKeyMaterial) String() string + func (_this *EcdhWrapKeyMaterial) Crypto() *m_AtomicPrimitives.AtomicPrimitivesClient + func (_this *EcdhWrapKeyMaterial) Ctor__(sharedSecret _dafny.Sequence, fixedInfo _dafny.Sequence, ...) + func (_this *EcdhWrapKeyMaterial) Equals(other *EcdhWrapKeyMaterial) bool + func (_this *EcdhWrapKeyMaterial) EqualsGeneric(x interface{}) bool + func (_this *EcdhWrapKeyMaterial) FixedInfo() _dafny.Sequence + func (_this *EcdhWrapKeyMaterial) Invoke(input interface{}) interface{} + func (_this *EcdhWrapKeyMaterial) ParentTraits_() []*_dafny.TraitID + func (_this *EcdhWrapKeyMaterial) SharedSecret() _dafny.Sequence
Go to main page