Expand description
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 🔒 - fiat-crypto output postprocessed by fiat-constify: https://github.com/rustcrypto/utils Autogenerated: ‘./unsaturated_solinas’ –lang Rust –inline p521 64 9 ‘2^521 - 1’ curve description: p521 machine_wordsize = 64 (from “64”) requested operations: (all) n = 9 (from “9”) s-c = 2^521 - [(1, 1)] (from “2^521 - 1”) tight_bounds_multiplier = 1 (from “”)
- loose 🔒
Structs§
- Field
Element - Element of the secp521r1 base field used for curve coordinates.
Constants§
- MODULUS 🔒
- MODULUS_
HEX 🔒 - Constant representing the modulus serialized as hex. p = 2^{521} − 1