ECDH

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: 53 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source
var Companion_Default___ = CompanionStruct_Default___{}
View Source
var Companion_EccKeyPair_ = CompanionStruct_EccKeyPair_{}

Functions

func Type_EccKeyPair_

func Type_EccKeyPair_() _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (CompanionStruct_Default___) CompressPublicKey

func (static CompanionStruct_Default___) CompressPublicKey(publicKeyInput dafny.Sequence,
	curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec) Wrappers.Result

func (*CompanionStruct_Default___) CreateExternCompressPublicKeyError

func (_static *CompanionStruct_Default___) CreateExternCompressPublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternCompressPublicKeySuccess

func (_static *CompanionStruct_Default___) CreateExternCompressPublicKeySuccess(output _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternDecompressPublicKeyError

func (_static *CompanionStruct_Default___) CreateExternDecompressPublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternDecompressPublicKeySuccess

func (_static *CompanionStruct_Default___) CreateExternDecompressPublicKeySuccess(output _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternDerivesharedSecretError

func (_static *CompanionStruct_Default___) CreateExternDerivesharedSecretError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternDerivesharedSecretSuccess

func (_static *CompanionStruct_Default___) CreateExternDerivesharedSecretSuccess(output _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternEccKeyGenFailure

func (_static *CompanionStruct_Default___) CreateExternEccKeyGenFailure(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternEccKeyGenSuccess

func (_static *CompanionStruct_Default___) CreateExternEccKeyGenSuccess(output EccKeyPair) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternGetPublicKeyFromPrivateError

func (_static *CompanionStruct_Default___) CreateExternGetPublicKeyFromPrivateError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternGetPublicKeyFromPrivateSuccess

func (_static *CompanionStruct_Default___) CreateExternGetPublicKeyFromPrivateSuccess(output _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternParsePublicKeyError

func (_static *CompanionStruct_Default___) CreateExternParsePublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternParsePublicKeySuccess

func (_static *CompanionStruct_Default___) CreateExternParsePublicKeySuccess(output _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternValidatePublicKeyError

func (_static *CompanionStruct_Default___) CreateExternValidatePublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateExternValidatePublicKeySuccess

func (_static *CompanionStruct_Default___) CreateExternValidatePublicKeySuccess(output bool) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateGetInfinityPublicKeyError

func (_static *CompanionStruct_Default___) CreateGetInfinityPublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateGetInfinityPublicKeySuccess

func (_static *CompanionStruct_Default___) CreateGetInfinityPublicKeySuccess(output _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateGetOutOfBoundsPublicKeyError

func (_static *CompanionStruct_Default___) CreateGetOutOfBoundsPublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateGetOutOfBoundsPublicKeySuccess

func (_static *CompanionStruct_Default___) CreateGetOutOfBoundsPublicKeySuccess(output _dafny.Sequence) m_Wrappers.Result

func (CompanionStruct_Default___) DecompressPublicKey

func (*CompanionStruct_Default___) DeriveSharedSecret

func (*CompanionStruct_Default___) GenerateEccKeyPair

func (CompanionStruct_Default___) GenerateKeyPair

func (CompanionStruct_Default___) GetInfinityPublicKey

TODO: Check the key bytes in Dafny and ensure it's a valid infinity/out-of-bounds key by running it through Java / NET

func (CompanionStruct_Default___) GetOutOfBoundsPublicKey

func (*CompanionStruct_Default___) GetPublicKeyFromPrivate

func (*CompanionStruct_Default___) Go__CompressPublicKey

func (*CompanionStruct_Default___) Go__DecompressPublicKey

func (*CompanionStruct_Default___) Go__ParsePublicKey

func (*CompanionStruct_Default___) Go__ValidatePublicKey

func (CompanionStruct_Default___) ParsePublicKey

func (CompanionStruct_Default___) ParsePublicKey(publicKeyInput dafny.Sequence) Wrappers.Result

func (CompanionStruct_Default___) ValidatePublicKey

func (companion CompanionStruct_Default___) ValidatePublicKey(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec,
	publicKeyInput dafny.Sequence) Wrappers.Result

type CompanionStruct_EccKeyPair_

type CompanionStruct_EccKeyPair_ struct {
}

func (CompanionStruct_EccKeyPair_) Create_EccKeyPair_

func (CompanionStruct_EccKeyPair_) Create_EccKeyPair_(PrivateKey _dafny.Sequence, PublicKey _dafny.Sequence) EccKeyPair

func (CompanionStruct_EccKeyPair_) Default

type Data_EccKeyPair_

type Data_EccKeyPair_ 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 EccKeyPair

type EccKeyPair struct {
	Data_EccKeyPair_
}

Definition of datatype EccKeyPair

func (EccKeyPair) Dtor_privateKey

func (_this EccKeyPair) Dtor_privateKey() _dafny.Sequence

func (EccKeyPair) Dtor_publicKey

func (_this EccKeyPair) Dtor_publicKey() _dafny.Sequence

func (EccKeyPair) Equals

func (_this EccKeyPair) Equals(other EccKeyPair) bool

func (EccKeyPair) EqualsGeneric

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

func (EccKeyPair) Get_

func (_this EccKeyPair) Get_() Data_EccKeyPair_

func (EccKeyPair) Is_EccKeyPair

func (_this EccKeyPair) Is_EccKeyPair() bool

func (EccKeyPair) ParentTraits_

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

func (EccKeyPair) String

func (_this EccKeyPair) String() string

type EccKeyPair_EccKeyPair

type EccKeyPair_EccKeyPair struct {
	PrivateKey _dafny.Sequence
	PublicKey  _dafny.Sequence
}

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL