Namespace: Bignum_Montgomery_64

Hacl~Bignum_Montgomery_64

Methods

(static) add(ctx, a, b) → {buffer(uint64)}

Parameters:
Name Type Description
ctx Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64
a buffer(uint64)
b buffer(uint64)
Source:
Returns:
out
Type
buffer(uint64)

(static) exp_consttime(ctx, a, b) → {buffer(uint64)}

Parameters:
Name Type Description
ctx Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64
a buffer(uint64)
b buffer(uint64)
Source:
Returns:
out
Type
buffer(uint64)

(static) exp_vartime(ctx, a, b) → {buffer(uint64)}

Parameters:
Name Type Description
ctx Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64
a buffer(uint64)
b buffer(uint64)
Source:
Returns:
out
Type
buffer(uint64)

(static) field_get_len(ctx) → {uint32}

Parameters:
Name Type Description
ctx Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64
Source:
Returns:
Type
uint32

(static) field_init(limbs) → {Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64}

Parameters:
Name Type Description
limbs buffer(uint64)
Source:
Returns:
Type
Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64

(static) field_modulus_check(limbs) → {bool}

Parameters:
Name Type Description
limbs buffer(uint64)
Source:
Returns:
Type
bool

(static) from_field(ctx, aM) → {buffer(uint64)}

Parameters:
Name Type Description
ctx Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64
aM buffer(uint64)
Source:
Returns:
a
Type
buffer(uint64)

(static) inverse(ctx, a) → {buffer(uint64)}

Parameters:
Name Type Description
ctx Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64
a buffer(uint64)
Source:
Returns:
out
Type
buffer(uint64)

(static) mul(ctx, a, b) → {buffer(uint64)}

Parameters:
Name Type Description
ctx Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64
a buffer(uint64)
b buffer(uint64)
Source:
Returns:
out
Type
buffer(uint64)

(static) sqr(ctx, a) → {buffer(uint64)}

Parameters:
Name Type Description
ctx Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64
a buffer(uint64)
Source:
Returns:
out
Type
buffer(uint64)

(static) sub(ctx, a, b) → {buffer(uint64)}

Parameters:
Name Type Description
ctx Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64
a buffer(uint64)
b buffer(uint64)
Source:
Returns:
out
Type
buffer(uint64)

(static) to_field(ctx, a) → {buffer(uint64)}

Parameters:
Name Type Description
ctx Hacl_Bignum_MontArithmetic_bn_mont_ctx_u64
a buffer(uint64)
Source:
Returns:
aM
Type
buffer(uint64)