core/crypto/ristretto255

ristretto255

Types

Group_Element :: struct {
	// WARNING: While the internal representation is an Edwards25519
	// group element, this is not guaranteed to always be the case,
	// and your code *WILL* break if you mess with `_p`.
	_p:              grp.Group_Element,
	_is_initialized: bool,
}

Source

Group_Element is a ristretto255 group element. The zero-initialized value is invalid.

Scalar :: ScalarSource

Scalar is a ristretto255 scalar. The zero-initialized value is valid, and represents 0.

Constants

ELEMENT_SIZE :: 32Source

ELEMENT_SIZE is the size of a byte-encoded ristretto255 group element.

SCALAR_SIZE :: 32Source

SCALAR_SIZE is the size of a byte-encoded ristretto255 scalar.

WIDE_ELEMENT_SIZE :: 64Source

WIDE_ELEMENT_SIZE is the side of a wide byte-encoded ristretto255 group element.

WIDE_SCALAR_SIZE :: 64Source

WIDE_SCALAR_SIZE is the size of a wide byte-encoded ristretto255 scalar.

Procedures

ge_add :: proc(ge: ^Group_Element, a: ^Group_Element, b: ^Group_Element)Source

ge_add sets ge = a + b.

ge_bytes :: proc(ge: ^Group_Element, dst: []u8)Source

ge_bytes sets dst to the canonical encoding of ge.

ge_clear :: proc(ge: ^Group_Element)Source

ge_clear clears ge to the uninitialized state.

ge_cond_assign :: proc(ge: ^Group_Element, a: ^Group_Element, ctrl: int)Source

ge_cond_assign sets ge = ge if and only if (⟺) ctrl == 0 and ge = a if and only if (⟺) ctrl == 1. Behavior for all other values of ctrl are undefined,

ge_cond_negate :: proc(ge: ^Group_Element, a: ^Group_Element, ctrl: int)Source

ge_cond_negate sets ge = a if and only if (⟺) ctrl == 0 and ge = -a if and only if (⟺) ctrl == 1. Behavior for all other values of ctrl are undefined,

ge_cond_select :: proc(ge: ^Group_Element, a: ^Group_Element, b: ^Group_Element, ctrl: int)Source

ge_cond_select sets ge = a if and only if (⟺) ctrl == 0 and ge = b if and only if (⟺) ctrl == 1. Behavior for all other values of ctrl are undefined,

ge_double :: proc(ge: ^Group_Element, a: ^Group_Element)Source

ge_double sets ge = a + a.

ge_double_scalarmult_generator_vartime :: proc(ge: ^Group_Element, a: ^Scalar, A: ^Group_Element, b: ^Scalar)Source

ge_double_scalarmult_generator_vartime sets ge = A * a + G * b in variable time.

ge_equal :: proc(a: ^Group_Element, b: ^Group_Element) -> (int)Source

ge_equal returns 1 if and only if (⟺) a == b, and 0 otherwise.

ge_generator :: proc(ge: ^Group_Element)Source

ge_generator sets ge to the group generator.

ge_identity :: proc(ge: ^Group_Element)Source

ge_identity sets ge to the identity (neutral) element.

ge_is_identity :: proc(ge: ^Group_Element) -> (int)Source

ge_is_identity returns 1 if and only if (⟺) ge is the identity element, and 0 otherwise.

ge_negate :: proc(ge: ^Group_Element, a: ^Group_Element)Source

ge_negate sets ge = -a.

ge_scalarmult :: proc(ge: ^Group_Element, A: ^Group_Element, sc: ^Scalar)Source

ge_scalarmult sets ge = A * sc.

ge_scalarmult_generator :: proc(ge: ^Group_Element, sc: ^Scalar)Source

ge_scalarmult_generator sets ge = G * sc

ge_scalarmult_vartime :: proc(ge: ^Group_Element, A: ^Group_Element, sc: ^Scalar)Source

ge_scalarmult_vartime sets ge = A * sc in variable time.

ge_set :: proc(ge: ^Group_Element, a: ^Group_Element)Source

ge_set sets ge = a.

ge_set_bytes :: proc(ge: ^Group_Element, b: []u8) -> (bool)Source

ge_set_bytes sets ge to the result of decoding b as a ristretto255 group element, and returns true on success.

ge_set_wide_bytes :: proc(ge: ^Group_Element, b: []u8)Source

ge_set_wide_bytes sets ge to the result of deriving a ristretto255 group element, from a wide (512-bit) byte string.

sc_add :: proc(sc: ^Scalar, a: ^Scalar, b: ^Scalar)Source

sc_add sets sc = a + b.

sc_bytes :: proc(sc: ^Scalar, dst: []u8)Source

sc_bytes sets dst to the canonical encoding of sc.

sc_clear :: proc(sc: ^Scalar)Source

sc_clear clears sc to the uninitialized state.

sc_cond_assign :: proc(sc: ^Scalar, a: ^Scalar, ctrl: int)Source

sc_cond_assign sets sc = sc if and only if (⟺) ctrl == 0 and sc = a if and only if (⟺) ctrl == 1. Behavior for all other values of ctrl are undefined,

sc_equal :: proc(a: ^Scalar, b: ^Scalar) -> (int)Source

sc_equal returns 1 if and only if (⟺) a == b, and 0 otherwise.

sc_mul :: proc(sc: ^Scalar, a: ^Scalar, b: ^Scalar)Source

sc_mul sets sc = a * b.

sc_negate :: proc(sc: ^Scalar, a: ^Scalar)Source

sc_negate sets sc = -a.

sc_set :: proc(sc: ^Scalar, a: ^Scalar)Source

sc_set sets sc = a.

sc_set_bytes :: proc(sc: ^Scalar, b: []u8) -> (bool)Source

sc_set_bytes sets sc to the result of decoding b as a ristretto255 scalar, and returns true on success.

sc_set_bytes_wide :: proc(sc: ^Scalar, b: []u8)Source

sc_set_wide_bytes sets sc to the result of deriving a ristretto255 scalar, from a wide (512-bit) byte string by interpreting b as a little-endian value, and reducing it mod the group order.

sc_set_u64 :: proc(sc: ^Scalar, i: u64)Source

sc_set_u64 sets sc = i.

sc_square :: proc(sc: ^Scalar, a: ^Scalar)Source

sc_square sets sc = a^2.

sc_sub :: proc(sc: ^Scalar, a: ^Scalar, b: ^Scalar)Source

sc_sub sets sc = a - b.

ristretto255

Types

Constants

Procedures

Find anything

Settings