Documentation
¶
Index ¶
- Variables
- func Type_EccKeyPair_() _dafny.TypeDescriptor
- type CompanionStruct_Default___
- func (CompanionStruct_Default___) CalculateSharedSecret(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec, ...) Wrappers.Result
- func (static CompanionStruct_Default___) CompressPublicKey(publicKeyInput dafny.Sequence, ...) Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternCompressPublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternCompressPublicKeySuccess(output _dafny.Sequence) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternDecompressPublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternDecompressPublicKeySuccess(output _dafny.Sequence) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternDerivesharedSecretError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternDerivesharedSecretSuccess(output _dafny.Sequence) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternEccKeyGenFailure(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternEccKeyGenSuccess(output EccKeyPair) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternGetPublicKeyFromPrivateError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternGetPublicKeyFromPrivateSuccess(output _dafny.Sequence) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternParsePublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternParsePublicKeySuccess(output _dafny.Sequence) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternValidatePublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateExternValidatePublicKeySuccess(output bool) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateGetInfinityPublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateGetInfinityPublicKeySuccess(output _dafny.Sequence) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateGetOutOfBoundsPublicKeyError(error_ m_AwsCryptographyPrimitivesTypes.Error) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) CreateGetOutOfBoundsPublicKeySuccess(output _dafny.Sequence) m_Wrappers.Result
- func (CompanionStruct_Default___) DecompressPublicKey(publicKeyInput dafny.Sequence, ...) Wrappers.Result
- func (_static *CompanionStruct_Default___) DeriveSharedSecret(input m_AwsCryptographyPrimitivesTypes.DeriveSharedSecretInput) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) GenerateEccKeyPair(input m_AwsCryptographyPrimitivesTypes.GenerateECCKeyPairInput) m_Wrappers.Result
- func (CompanionStruct_Default___) GenerateKeyPair(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec) Wrappers.Result
- func (CompanionStruct_Default___) GetInfinityPublicKey(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec) Wrappers.Result
- func (CompanionStruct_Default___) GetOutOfBoundsPublicKey(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec) Wrappers.Result
- func (CompanionStruct_Default___) GetPublicKey(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec, ...) Wrappers.Result
- func (_static *CompanionStruct_Default___) GetPublicKeyFromPrivate(input m_AwsCryptographyPrimitivesTypes.GetPublicKeyFromPrivateKeyInput) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) Go__CompressPublicKey(input m_AwsCryptographyPrimitivesTypes.CompressPublicKeyInput) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) Go__DecompressPublicKey(input m_AwsCryptographyPrimitivesTypes.DecompressPublicKeyInput) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) Go__ParsePublicKey(input m_AwsCryptographyPrimitivesTypes.ParsePublicKeyInput) m_Wrappers.Result
- func (_static *CompanionStruct_Default___) Go__ValidatePublicKey(input m_AwsCryptographyPrimitivesTypes.ValidatePublicKeyInput) m_Wrappers.Result
- func (CompanionStruct_Default___) ParsePublicKey(publicKeyInput dafny.Sequence) Wrappers.Result
- func (companion CompanionStruct_Default___) ValidatePublicKey(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec, ...) Wrappers.Result
- type CompanionStruct_EccKeyPair_
- type Data_EccKeyPair_
- type Default__
- type Dummy__
- type EccKeyPair
- func (_this EccKeyPair) Dtor_privateKey() _dafny.Sequence
- func (_this EccKeyPair) Dtor_publicKey() _dafny.Sequence
- func (_this EccKeyPair) Equals(other EccKeyPair) bool
- func (_this EccKeyPair) EqualsGeneric(other interface{}) bool
- func (_this EccKeyPair) Get_() Data_EccKeyPair_
- func (_this EccKeyPair) Is_EccKeyPair() bool
- func (_this EccKeyPair) ParentTraits_() []*_dafny.TraitID
- func (_this EccKeyPair) String() string
- type EccKeyPair_EccKeyPair
Constants ¶
This section is empty.
Variables ¶
View Source
var Companion_Default___ = CompanionStruct_Default___{}
View Source
var Companion_EccKeyPair_ = CompanionStruct_EccKeyPair_{}
View Source
var ECCUtils = CompanionStruct_Default___{}
Functions ¶
func Type_EccKeyPair_ ¶
func Type_EccKeyPair_() _dafny.TypeDescriptor
Types ¶
type CompanionStruct_Default___ ¶
type CompanionStruct_Default___ struct { }
func (CompanionStruct_Default___) CalculateSharedSecret ¶
func (CompanionStruct_Default___) CalculateSharedSecret(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec, privateKeyInput AwsCryptographyPrimitivesTypes.ECCPrivateKey, publicKeyInput AwsCryptographyPrimitivesTypes.ECCPublicKey) Wrappers.Result
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___) DecompressPublicKey(publicKeyInput dafny.Sequence, curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec) Wrappers.Result
func (*CompanionStruct_Default___) DeriveSharedSecret ¶
func (_static *CompanionStruct_Default___) DeriveSharedSecret(input m_AwsCryptographyPrimitivesTypes.DeriveSharedSecretInput) m_Wrappers.Result
func (*CompanionStruct_Default___) GenerateEccKeyPair ¶
func (_static *CompanionStruct_Default___) GenerateEccKeyPair(input m_AwsCryptographyPrimitivesTypes.GenerateECCKeyPairInput) m_Wrappers.Result
func (CompanionStruct_Default___) GenerateKeyPair ¶
func (CompanionStruct_Default___) GenerateKeyPair(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec) Wrappers.Result
func (CompanionStruct_Default___) GetInfinityPublicKey ¶
func (CompanionStruct_Default___) GetInfinityPublicKey(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec) Wrappers.Result
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___) GetOutOfBoundsPublicKey(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec) Wrappers.Result
func (CompanionStruct_Default___) GetPublicKey ¶
func (CompanionStruct_Default___) GetPublicKey(curveSpec AwsCryptographyPrimitivesTypes.ECDHCurveSpec, privateKey AwsCryptographyPrimitivesTypes.ECCPrivateKey) Wrappers.Result
func (*CompanionStruct_Default___) GetPublicKeyFromPrivate ¶
func (_static *CompanionStruct_Default___) GetPublicKeyFromPrivate(input m_AwsCryptographyPrimitivesTypes.GetPublicKeyFromPrivateKeyInput) m_Wrappers.Result
func (*CompanionStruct_Default___) Go__CompressPublicKey ¶
func (_static *CompanionStruct_Default___) Go__CompressPublicKey(input m_AwsCryptographyPrimitivesTypes.CompressPublicKeyInput) m_Wrappers.Result
func (*CompanionStruct_Default___) Go__DecompressPublicKey ¶
func (_static *CompanionStruct_Default___) Go__DecompressPublicKey(input m_AwsCryptographyPrimitivesTypes.DecompressPublicKeyInput) m_Wrappers.Result
func (*CompanionStruct_Default___) Go__ParsePublicKey ¶
func (_static *CompanionStruct_Default___) Go__ParsePublicKey(input m_AwsCryptographyPrimitivesTypes.ParsePublicKeyInput) m_Wrappers.Result
func (*CompanionStruct_Default___) Go__ValidatePublicKey ¶
func (_static *CompanionStruct_Default___) Go__ValidatePublicKey(input m_AwsCryptographyPrimitivesTypes.ValidatePublicKeyInput) m_Wrappers.Result
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 ¶
func (CompanionStruct_EccKeyPair_) Default() EccKeyPair
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__) EqualsGeneric ¶
func (*Default__) ParentTraits_ ¶
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
Click to show internal directories.
Click to hide internal directories.