miracl_core 2.7.0

Rust code for 64 bit generated from https://github.com/miracl/core
Documentation
/*
 * Copyright (c) 2012-2020 MIRACL UK Ltd.
 *
 * This file is part of MIRACL Core
 * (see https://github.com/miracl/core).
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

/* Fixed Data in ROM - Field and Curve parameters */

use crate::arch::Chunk;
use crate::nist256::big::NLEN;

// Base Bits= 56
// nist256 modulus
pub const MODULUS: [Chunk; NLEN] = [0xFFFFFFFFFFFFFF, 0xFFFFFFFFFF, 0x0, 0x1000000, 0xFFFFFFFF];
pub const ROI: [Chunk; NLEN] = [0xFFFFFFFFFFFFFE, 0xFFFFFFFFFF, 0x0, 0x1000000, 0xFFFFFFFF];
pub const R2MODP: [Chunk; NLEN] = [
    0x3000000050000,
    0x0,
    0xFFFFFBFFFFFFFA,
    0xFFFAFFFFFFFEFF,
    0x2FFFF,
];
pub const MCONST: Chunk = 0x1;

// nist256 curve
pub const CURVE_COF_I: isize = 1;
pub const CURVE_B_I: isize = 0;
pub const CURVE_COF: [Chunk; NLEN] = [0x1, 0x0, 0x0, 0x0, 0x0];
pub const CURVE_B: [Chunk; NLEN] = [
    0xCE3C3E27D2604B,
    0x6B0CC53B0F63B,
    0x55769886BC651D,
    0xAA3A93E7B3EBBD,
    0x5AC635D8,
];
pub const CURVE_ORDER: [Chunk; NLEN] = [
    0xB9CAC2FC632551,
    0xFAADA7179E84F3,
    0xFFFFFFFFFFBCE6,
    0xFFFFFF,
    0xFFFFFFFF,
];
pub const CURVE_GX: [Chunk; NLEN] = [
    0xA13945D898C296,
    0x7D812DEB33A0F4,
    0xE563A440F27703,
    0xE12C4247F8BCE6,
    0x6B17D1F2,
];
pub const CURVE_GY: [Chunk; NLEN] = [
    0xB6406837BF51F5,
    0x33576B315ECECB,
    0x4A7C0F9E162BCE,
    0xFE1A7F9B8EE7EB,
    0x4FE342E2,
];
pub const CURVE_HTPC:[Chunk;NLEN]=[0xB847959C613926,0xB001452A9DD42E,0x8F44A655548D3E,0xB63723A45240B3,0x6A2AD82C];