Module field 

Field arithmetic modulo p = 2^{521} − 1

Arithmetic implementations have been synthesized using fiat-crypto.

License

Copyright (c) 2015-2020 the fiat-crypto authors

fiat-crypto is distributed under the terms of the MIT License, the Apache License (Version 2.0), and the BSD 1-Clause License; users may pick which license to apply.

Modules

field_impl 🔒

Autogenerated: fiat-crypto unsaturated-solinas –lang Rust –inline p521 64 ‘(auto)’ ‘2^521 - 1’ carry_add carry_sub carry_opp carry_mul carry_square carry add sub opp selectznz to_bytes from_bytes relax curve description: p521 machine_wordsize = 64 (from “64”) requested operations: carry_add, carry_sub, carry_opp, carry_mul, carry_square, carry, add, sub, opp, selectznz, to_bytes, from_bytes, relax n = 9 (from “(auto)”) s-c = 2^521 - [(1, 1)] (from “2^521 - 1”) tight_bounds_multiplier = 1 (from “”)

loose 🔒

Structs

FieldElement

Element of the secp521r1 base field used for curve coordinates.

Constants

MODULUS 🔒

Field modulus: p = 2^{521} − 1

MODULUS_HEX 🔒