package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/src/octez-libs.mec/curve448.ml.html

Source file `curve448.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
(**
  https://datatracker.ietf.org/doc/html/rfc7748#section-4.2

  Base field: 2^448 - 2^224 - 1 = 726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 (447 bits - 57 bytes)
  Scalar field: 2^446 - 13818066809895115352007386748515426880336692474882178609894547503885 = 181709681073901722637330951972001133588410340171829515070372549795146003961539585716195755291692375963310293709091662304773755859649779 (445 bits - 56 bytes)

  Base field multiplicative subgroup decomposition:
    TODO

  Prime field multiplication subgroup decomposition:
    TODO
*)

module Base = Ff.MakeFp (struct
  let prime_order = Z.(pow (of_int 2) 448 - pow (of_int 2) 224 - one)
end)

module Scalar = Ff.MakeFp (struct
  let prime_order =
    Z.(
      pow (of_int 2) 446
      - of_string "0x8335dc163bb124b65129c96fde933d8d723a70aadc873d6d54a7bb0d")
end)

module Affine =
  Ec.MakeAffineEdwards (Base) (Scalar)
    (struct
      let a = Base.of_string "1"

      let d =
        Base.of_string
          "611975850744529176160423220965553317543219696871016626328968936415087860042636474891785599283666020414768678979989378147065462815545017"

      let cofactor = Z.of_string "4"

      let bytes_generator =
        Bytes.concat
          Bytes.empty
          [
            Base.(
              to_bytes
                (of_string
                   "345397493039729516374008604150537410266655260075183290216406970281645695073672344430481787759340633221708391583424041788924124567700732"));
            Base.(
              to_bytes
                (of_string
                   "363419362147803445274661903944002267176820680343659030140745099590306164083365386343198191849338272965044442230921818680526749009182718"));
          ]
    end)