RawECDHKeyring_Compile

Class __default

java.lang.Object

RawECDHKeyring_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error>	CompressPublicKey(software.amazon.cryptography.primitives.internaldafny.types.ECCPublicKey publicKey, software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)
static dafny.DafnySequence<? extends java.lang.Character>	CurveSpecTypeToString(software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec c)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error>	DecompressPublicKey(dafny.DafnySequence<? extends java.lang.Byte> publicKey, software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)
static Error	E(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Result<software.amazon.cryptography.primitives.internaldafny.types.GenerateECCKeyPairOutput,Error>	GenerateEphemeralEccKeyPair(software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error>	LocalDeriveSharedSecret(software.amazon.cryptography.primitives.internaldafny.types.ECCPrivateKey senderPrivateKey, software.amazon.cryptography.primitives.internaldafny.types.ECCPublicKey recipientPublicKey, software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)
static dafny.DafnySequence<? extends java.lang.Byte>	RAW__ECDH__KEYRING__VERSION()
static dafny.DafnySequence<? extends java.lang.Byte>	SerializeProviderInfo(dafny.DafnySequence<? extends java.lang.Byte> senderPublicKey, dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey)
java.lang.String	toString()
static Wrappers_Compile.Result<java.lang.Boolean,Error>	ValidatePublicKey(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto, software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec, dafny.DafnySequence<? extends java.lang.Byte> publicKey)
static boolean	ValidCompressedPublicKeyLength(dafny.DafnySequence<? extends java.lang.Byte> p)
static boolean	ValidProviderInfoLength(dafny.DafnySequence<? extends java.lang.Byte> p)
static boolean	ValidPublicKeyLength(dafny.DafnySequence<? extends java.lang.Byte> p)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

__default

public __default()

Method Detail

ValidPublicKeyLength

public static boolean ValidPublicKeyLength(dafny.DafnySequence<? extends java.lang.Byte> p)

ValidCompressedPublicKeyLength

public static boolean ValidCompressedPublicKeyLength(dafny.DafnySequence<? extends java.lang.Byte> p)

ValidProviderInfoLength

public static boolean ValidProviderInfoLength(dafny.DafnySequence<? extends java.lang.Byte> p)

LocalDeriveSharedSecret

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> LocalDeriveSharedSecret(software.amazon.cryptography.primitives.internaldafny.types.ECCPrivateKey senderPrivateKey,
                                                                                                                   software.amazon.cryptography.primitives.internaldafny.types.ECCPublicKey recipientPublicKey,
                                                                                                                   software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec,
                                                                                                                   software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)

CompressPublicKey

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> CompressPublicKey(software.amazon.cryptography.primitives.internaldafny.types.ECCPublicKey publicKey,
                                                                                                             software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec,
                                                                                                             software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)

DecompressPublicKey

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> DecompressPublicKey(dafny.DafnySequence<? extends java.lang.Byte> publicKey,
                                                                                                               software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec,
                                                                                                               software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)

SerializeProviderInfo

public static dafny.DafnySequence<? extends java.lang.Byte> SerializeProviderInfo(dafny.DafnySequence<? extends java.lang.Byte> senderPublicKey,
                                                                                  dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey)

GenerateEphemeralEccKeyPair

public static Wrappers_Compile.Result<software.amazon.cryptography.primitives.internaldafny.types.GenerateECCKeyPairOutput,Error> GenerateEphemeralEccKeyPair(software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec,
                                                                                                                                                              software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)

ValidatePublicKey

public static Wrappers_Compile.Result<java.lang.Boolean,Error> ValidatePublicKey(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto,
                                                                                 software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec,
                                                                                 dafny.DafnySequence<? extends java.lang.Byte> publicKey)

CurveSpecTypeToString

public static dafny.DafnySequence<? extends java.lang.Character> CurveSpecTypeToString(software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec c)

E

public static Error E(dafny.DafnySequence<? extends java.lang.Character> s)

RAW__ECDH__KEYRING__VERSION

public static dafny.DafnySequence<? extends java.lang.Byte> RAW__ECDH__KEYRING__VERSION()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object