nada_dsl.operations

Class definitions corresponding to Nada operations.

class BinaryOperation(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: object

Superclass of all the binary operations.

store_in_ast(ty: object)

Store object in AST

class UnaryOperation(inner: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: object

Superclass of all the unary operations.

store_in_ast(ty: object)

Store object in AST.

class Addition(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Addition operation

class Subtraction(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Subtraction operation.

class Multiplication(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Multiplication operation

class Division(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Division operation

class Modulo(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Modulo operation

class Power(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Power operation

class RightShift(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Right shift (>>) operation.

class LeftShift(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Left shift (<<)operation.

class LessThan(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Less than (<) operation

class GreaterThan(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Greater than (>) operation.

class LessOrEqualThan(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Less or equal (<=) operation.

class GreaterOrEqualThan(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Greater or equal (>=) operation.

class Equals(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Equals (==) operation

class NotEquals(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Not equals (!=) operation.

class PublicOutputEquality(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Public output equality operation.

class BooleanAnd(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Boolean AND (&) operation.

class BooleanOr(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Boolean OR (|) operation.

class BooleanXor(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Boolean XOR (^) operation.

class Random(source_ref)

Bases: object

Random operation.

source_ref: SourceRef

store_in_ast(ty)

Store object in AST.

class IfElse(this: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, arg_0: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, arg_1: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: object

cond.if_else(left, right)

this: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature

arg_0: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature

arg_1: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature

source_ref: SourceRef

store_in_ast(ty)

Store object in AST.

__eq__(other)

Return self==value.

class Reveal(this: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: UnaryOperation

Reveal (i.e. make public) operation.

class TruncPr(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Probabilistic Truncation operation.

class Not(this: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: UnaryOperation

Not (!) Operation

class EcdsaSign(left: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, right: Integer | UnsignedInteger | Boolean | PublicInteger | PublicUnsignedInteger | PublicBoolean | SecretInteger | SecretUnsignedInteger | SecretBoolean | Array | Vector | Tuple | NTuple | Object | EcdsaPrivateKey | EcdsaDigestMessage | EcdsaSignature, source_ref: SourceRef)

Bases: BinaryOperation

Ecdsa signing operation.