Signature

package

v0.1.0 Latest Latest Go to latest Published: Jan 15, 2025 License: Apache-2.0 Imports: 51 Imported by: 0

Documentation ¶

Index ¶

Variables
func ECDSA_Verify(algorithm AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm, ...) Wrappers.Result
func Type_SignatureKeyPair_() _dafny.TypeDescriptor
type CompanionStruct_Default___
type CompanionStruct_SignatureKeyPair_
- func (CompanionStruct_SignatureKeyPair_) Create_SignatureKeyPair_(VerificationKey _dafny.Sequence, SigningKey _dafny.Sequence) SignatureKeyPair
- func (CompanionStruct_SignatureKeyPair_) Default() SignatureKeyPair
type Data_SignatureKeyPair_
type Default__
- func New_Default___() *Default__
type Dummy__
type SignatureKeyPair
type SignatureKeyPair_SignatureKeyPair

Constants ¶

This section is empty.

Variables ¶

View Source

var Companion_Default___ = CompanionStruct_Default___{}

View Source

var Companion_SignatureKeyPair_ = CompanionStruct_SignatureKeyPair_{}

View Source

var ECDSA = CompanionStruct_Default___{}

Functions ¶

func ECDSA_Verify ¶

func ECDSA_Verify(algorithm AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm, key dafny.Sequence,
	msg dafny.Sequence, sig dafny.Sequence) Wrappers.Result

func Type_SignatureKeyPair_ ¶

func Type_SignatureKeyPair_() _dafny.TypeDescriptor

Types ¶

type CompanionStruct_Default___ ¶

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) CreateExternKeyGenFailure ¶

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

func (*CompanionStruct_Default___) CreateExternKeyGenSuccess ¶

func (_static *CompanionStruct_Default___) CreateExternKeyGenSuccess(output SignatureKeyPair) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateSignFailure ¶

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

func (*CompanionStruct_Default___) CreateSignSuccess ¶

func (_static *CompanionStruct_Default___) CreateSignSuccess(bytes _dafny.Sequence) m_Wrappers.Result

func (*CompanionStruct_Default___) CreateVerifyFailure ¶

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

func (*CompanionStruct_Default___) CreateVerifySuccess ¶

func (_static *CompanionStruct_Default___) CreateVerifySuccess(b bool) m_Wrappers.Result

func (CompanionStruct_Default___) ExternKeyGen ¶

func (CompanionStruct_Default___) ExternKeyGen(algorithm AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm) Wrappers.Result

func (*CompanionStruct_Default___) FieldSize ¶

func (_static *CompanionStruct_Default___) FieldSize(signatureAlgorithm m_AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm) _dafny.Int

func (*CompanionStruct_Default___) KeyGen ¶

func (_static *CompanionStruct_Default___) KeyGen(input m_AwsCryptographyPrimitivesTypes.GenerateECDSASignatureKeyInput) m_Wrappers.Result

func (CompanionStruct_Default___) Sign ¶

func (CompanionStruct_Default___) Sign(algorithm AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm,
	key dafny.Sequence, msg dafny.Sequence) Wrappers.Result

func (*CompanionStruct_Default___) SignatureLength ¶

func (_static *CompanionStruct_Default___) SignatureLength(signatureAlgorithm m_AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm) uint16

type CompanionStruct_SignatureKeyPair_ ¶

type CompanionStruct_SignatureKeyPair_ struct {
}

func (CompanionStruct_SignatureKeyPair_) Create_SignatureKeyPair_ ¶

func (CompanionStruct_SignatureKeyPair_) Create_SignatureKeyPair_(VerificationKey _dafny.Sequence, SigningKey _dafny.Sequence) SignatureKeyPair

func (CompanionStruct_SignatureKeyPair_) Default ¶

func (CompanionStruct_SignatureKeyPair_) Default() SignatureKeyPair

type Data_SignatureKeyPair_ ¶

type Data_SignatureKeyPair_ 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 SignatureKeyPair ¶

type SignatureKeyPair struct {
	Data_SignatureKeyPair_
}

Definition of datatype SignatureKeyPair

func (SignatureKeyPair) Dtor_signingKey ¶

func (_this SignatureKeyPair) Dtor_signingKey() _dafny.Sequence

func (SignatureKeyPair) Dtor_verificationKey ¶

func (_this SignatureKeyPair) Dtor_verificationKey() _dafny.Sequence

func (SignatureKeyPair) Equals ¶

func (_this SignatureKeyPair) Equals(other SignatureKeyPair) bool

func (SignatureKeyPair) EqualsGeneric ¶

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

func (SignatureKeyPair) Get_ ¶

func (_this SignatureKeyPair) Get_() Data_SignatureKeyPair_

func (SignatureKeyPair) Is_SignatureKeyPair ¶

func (_this SignatureKeyPair) Is_SignatureKeyPair() bool

func (SignatureKeyPair) ParentTraits_ ¶

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

func (SignatureKeyPair) String ¶

func (_this SignatureKeyPair) String() string

type SignatureKeyPair_SignatureKeyPair ¶

type SignatureKeyPair_SignatureKeyPair struct {
	VerificationKey _dafny.Sequence
	SigningKey      _dafny.Sequence
}

Source Files ¶

View all Source files

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