Organisationsmiragemirage-crypto2ba6d4 ()debian-12-5.0_opam-2.3

debian-12-5.0_opam-2.3

Link Copied
Code Copied

Logs

2025-03-06 15:02.10: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/259/head (2ba6d43c128a230d7ad598361e4ce11688d5de88) (linux-x86_64:debian-12-5.0_opam-2.3)
Base: ocaml/opam:debian-12-ocaml-5.0@sha256:4a4cc3737c8517659d64a504c97bab753ee54bdaff6a12ff3cd102d967839463
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-crypto.git" && cd "mirage-crypto" && git fetch origin "refs/pull/259/head" && git reset --hard 2ba6d43c
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.0@sha256:4a4cc3737c8517659d64a504c97bab753ee54bdaff6a12ff3cd102d967839463
# debian-12-5.0_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e cdcd3e0d180f63457ffc49f711b093d6b9523894 || git fetch origin master) && git reset -q --hard cdcd3e0d180f63457ffc49f711b093d6b9523894 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam ./
RUN opam pin add -yn mirage-crypto.dev './' && \
opam pin add -yn mirage-crypto-rng.dev './' && \
opam pin add -yn mirage-crypto-rng-mirage.dev './' && \
opam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
opam pin add -yn mirage-crypto-pk.dev './' && \
opam pin add -yn mirage-crypto-ec.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 fmt.0.9.0 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.9.0 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2025-03-06 15:02.10: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-12-ocaml-5.0@sha256:4a4cc3737c8517659d64a504c97bab753ee54bdaff6a12ff3cd102d967839463-debian-12-5.0_opam-2.3-b1c64c0659c2da4f45bd2ad6881b8158"
2025-03-06 15:02.10: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.0@sha256:4a4cc3737c8517659d64a504c97bab753ee54bdaff6a12ff3cd102d967839463)
(comment debian-12-5.0_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e cdcd3e0d180f63457ffc49f711b093d6b9523894 || git fetch origin master) && git reset -q --hard cdcd3e0d180f63457ffc49f711b093d6b9523894 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
(dst ./))
(run (network host)
(shell  "opam pin add -yn mirage-crypto.dev './' && \
\nopam pin add -yn mirage-crypto-rng.dev './' && \
\nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \
\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
\nopam pin add -yn mirage-crypto-pk.dev './' && \
\nopam pin add -yn mirage-crypto-ec.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 fmt.0.9.0 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.9.0 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2025-03-06 15:02.10: Waiting for resource in pool OCluster
2025-03-06 17:32.56: Waiting for worker…
2025-03-06 17:40.18: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 2ba6d43 mirage-crypto-ec: implementation of SECP256K1


(from ocaml/opam:debian-12-ocaml-5.0@sha256:4a4cc3737c8517659d64a504c97bab753ee54bdaff6a12ff3cd102d967839463)
2025-03-06 17:40.18 ---> using "c1ce6044a10861c2208f8129df92060b6dd533392c6b8377391b3dabc3a3cff1" from cache


/: (comment debian-12-5.0_opam-2.3)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-03-06 17:40.18 ---> using "427531f9671709a727e0146bd4b82a018c9c3ffc6afdc56a310740c53312de42" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.


This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.


Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 39 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=39 --global
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] Could not update repository "opam-repository-archive": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/opam-repository-archive/': Could not resolve host: github.com"
[default] synchronised from file:///home/opam/opam-repository
2025-03-06 17:40.18 ---> using "43b104b31ac9d4aa37c308fc997e0dce240063417e48bad9c0abd3e452298ad4" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-134-generic
The OCaml toplevel, version 5.0.0
2.3.0
2025-03-06 17:40.18 ---> using "c1d4cc00db30489fd5ed20bb50816975ae428e71225f506cb18ad91725cd19d1" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-03-06 17:40.18 ---> using "9be7f20bc0e9a27671921f8697c06e0546066132f9a43365ed5d9734a8f84f14" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e cdcd3e0d180f63457ffc49f711b093d6b9523894 || git fetch origin master) && git reset -q --hard cdcd3e0d180f63457ffc49f711b093d6b9523894 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
94514fa0d0..8707d628f2  master     -> origin/master
cdcd3e0d18 Merge pull request #27560 from hannesm/maint-intent-mirage


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[opam-repository-archive] synchronised from git+https://github.com/ocaml/opam-repository-archive
[default] synchronised from file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-03-06 17:41.16 ---> saved as "4ac3d1bdc268b6f3363c8bfba87066ac92ae8f6ad81c011b5c033879439d731d"


/src: (copy (src mirage-crypto.opam mirage-crypto-rng.opam mirage-crypto-rng-mirage.opam mirage-crypto-rng-miou-unix.opam mirage-crypto-pk.opam mirage-crypto-ec.opam)
(dst ./))
2025-03-06 17:41.16 ---> saved as "ea9106609abc6e375f9a8aa453649a78cb8bed746081203c883ccd50c429c9b6"


/src: (run (network host)
(shell  "opam pin add -yn mirage-crypto.dev './' && \
\nopam pin add -yn mirage-crypto-rng.dev './' && \
\nopam pin add -yn mirage-crypto-rng-mirage.dev './' && \
\nopam pin add -yn mirage-crypto-rng-miou-unix.dev './' && \
\nopam pin add -yn mirage-crypto-pk.dev './' && \
\nopam pin add -yn mirage-crypto-ec.dev './'"))
[mirage-crypto.dev] synchronised (file:///src)
mirage-crypto is now pinned to file:///src (version dev)
[mirage-crypto-rng.dev] synchronised (file:///src)
mirage-crypto-rng is now pinned to file:///src (version dev)
[mirage-crypto-rng-mirage.dev] synchronised (file:///src)
mirage-crypto-rng-mirage is now pinned to file:///src (version dev)
[mirage-crypto-rng-miou-unix.dev] synchronised (file:///src)
mirage-crypto-rng-miou-unix is now pinned to file:///src (version dev)
[mirage-crypto-pk.dev] synchronised (file:///src)
mirage-crypto-pk is now pinned to file:///src (version dev)
[mirage-crypto-ec.dev] synchronised (file:///src)
mirage-crypto-ec is now pinned to file:///src (version dev)
2025-03-06 17:41.25 ---> saved as "2b11564588c47099fcb1fb61d6bcb90b78ee1ee446b37a6192d4df348694a5b7"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-03-06 17:41.25 ---> saved as "5d0a03753afdb76876a1d31424a29289c995e0af6719179abd878ffd3525d7e3"


/src: (env DEPS "alcotest.1.8.0 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base cmdliner.1.3.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 digestif.1.2.0 domain-name.0.4.1 dune.3.17.2 dune-configurator.3.17.2 duration.0.2.1 eqaf.0.10 fmt.0.9.0 ipaddr.5.6.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 miou.0.3.1 mirage-mtime.5.0.0 mirage-runtime.4.9.0 mirage-sleep.4.0.0 mirage-unix.5.0.1 mtime.2.1.0 ocaml.5.0.0 ocaml-base-compiler.5.0.0 ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_deriving_yojson.3.9.1 ppxlib.0.35.0 ptime.1.2.0 randomconv.0.2.0 re.1.12.0 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.7 uutf.1.0.3 yojson.2.2.2 zarith.1.14")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mirage-crypto.dev mirage-crypto-rng.dev mirage-crypto-rng-mirage.dev mirage-crypto-rng-miou-unix.dev mirage-crypto-pk.dev mirage-crypto-ec.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [246 kB]
- Fetched 349 kB in 0s (962 kB/s)
- Reading package lists...


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage-crypto.dev] synchronised (file:///src)
[mirage-crypto-ec.dev] synchronised (file:///src)
[mirage-crypto-pk.dev] synchronised (file:///src)
[mirage-crypto-rng.dev] synchronised (file:///src)
[mirage-crypto-rng-miou-unix.dev] synchronised (file:///src)
[mirage-crypto-rng-mirage.dev] synchronised (file:///src)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.0.0).
[NOTE] Package ocaml is already installed (current version is 5.0.0).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).


The following system packages will first need to be installed:
libgmp-dev pkg-config


<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>


+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18745 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...
2025-03-06 17:41.40 ---> saved as "bc4dff16119f3a19a38aeac3f5a982702bb72f9947bd6bde7f8bd63fbc6ad31b"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.0.0).
[NOTE] Package ocaml is already installed (current version is 5.0.0).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 48 packages
- install alcotest            1.8.0
- install asn1-combinators    0.3.2
- install astring             0.8.5
- install base-bytes          base
- install cmdliner            1.3.0
- install conf-gmp            4
- install conf-gmp-powm-sec   3
- install conf-pkg-config     4
- install cppo                1.8.0
- install csexp               1.5.2
- install digestif            1.2.0
- install domain-name         0.4.1
- install dune                3.17.2
- install dune-configurator   3.17.2
- install duration            0.2.1
- install eqaf                0.10
- install fmt                 0.9.0
- install ipaddr              5.6.0
- install logs                0.7.0
- install lwt                 5.9.0
- install macaddr             5.6.0
- install miou                0.3.1
- install mirage-mtime        5.0.0
- install mirage-runtime      4.9.0
- install mirage-sleep        4.0.0
- install mirage-unix         5.0.1
- install mtime               2.1.0
- install ocaml-compiler-libs v0.12.4
- install ocaml-syntax-shims  1.0.0
- install ocamlbuild          0.16.1
- install ocamlfind           1.9.8
- install ocplib-endian       1.2
- install ohex                0.2.0
- install ounit2              2.2.7
- install ppx_derivers        1.2.1
- install ppx_deriving        6.0.3
- install ppx_deriving_yojson 3.9.1
- install ppxlib              0.35.0
- install ptime               1.2.0
- install randomconv          0.2.0
- install re                  1.12.0
- install seq                 base
- install sexplib0            v0.17.0
- install stdlib-shims        0.3.0
- install topkg               1.0.7
- install uutf                1.0.3
- install yojson              2.2.2
- install zarith              1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved asn1-combinators.0.3.2  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved conf-gmp.4  (cached)
-> retrieved conf-gmp-powm-sec.3  (cached)
-> retrieved alcotest.1.8.0  (cached)
-> retrieved cmdliner.1.3.0  (cached)
-> retrieved cppo.1.8.0  (cached)
-> installed conf-gmp.4
-> installed conf-pkg-config.4
-> retrieved csexp.1.5.2  (cached)
-> retrieved domain-name.0.4.1  (cached)
-> installed conf-gmp-powm-sec.3
-> retrieved duration.0.2.1  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved ipaddr.5.6.0, macaddr.5.6.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved lwt.5.9.0  (cached)
-> retrieved miou.0.3.1  (cached)
-> retrieved mirage-mtime.5.0.0  (cached)
-> retrieved mirage-runtime.4.9.0  (cached)
-> retrieved mirage-sleep.4.0.0  (cached)
-> retrieved mirage-unix.5.0.1  (cached)
-> retrieved digestif.1.2.0  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved ocaml-compiler-libs.v0.12.4  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ounit2.2.2.7  (cached)
-> retrieved dune.3.17.2, dune-configurator.3.17.2  (cached)
-> retrieved ppx_deriving.6.0.3  (cached)
-> retrieved ppx_deriving_yojson.3.9.1  (cached)
-> retrieved ppxlib.0.35.0  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved seq.base  (cached)
-> retrieved randomconv.0.2.0  (cached)
-> retrieved re.1.12.0  (cached)
-> installed cmdliner.1.3.0
-> installed ocamlbuild.0.16.1
-> installed seq.base
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved yojson.2.2.2  (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed zarith.1.14
-> installed topkg.1.0.7
-> installed uutf.1.0.3
-> installed mtime.2.1.0
-> installed fmt.0.9.0
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed dune.3.17.2
-> installed duration.0.2.1
-> installed randomconv.0.2.0
-> installed csexp.1.5.2
-> installed asn1-combinators.0.3.2
-> installed cppo.1.8.0
-> installed domain-name.0.4.1
-> installed eqaf.0.10
-> installed macaddr.5.6.0
-> installed miou.0.3.1
-> installed mirage-mtime.5.0.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-syntax-shims.1.0.0
-> installed ohex.0.2.0
-> installed ppx_derivers.1.2.1
-> installed re.1.12.0
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed yojson.2.2.2
-> installed ocplib-endian.1.2
-> installed ipaddr.5.6.0
-> installed digestif.1.2.0
-> installed alcotest.1.8.0
-> installed ounit2.2.2.7
-> installed dune-configurator.3.17.2
-> installed lwt.5.9.0
-> installed mirage-sleep.4.0.0
-> installed logs.0.7.0
-> installed mirage-runtime.4.9.0
-> installed mirage-unix.5.0.1
-> installed ppxlib.0.35.0
-> installed ppx_deriving.6.0.3
-> installed ppx_deriving_yojson.3.9.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-03-06 17:42.34 ---> saved as "63ccfc633ba90b9e3a61338d9cf8618fdbc318f60d25ec9073e75a3036859b96"


/src: (copy (src .) (dst /src))
2025-03-06 17:42.35 ---> saved as "2ef286e88088772101b2072f82467c2686135bd170ab45256ff9a84e724fc449"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/tests && ./test_entropy.exe)
test entropy OK
(cd _build/default/tests && ./test_symmetric_runner.exe)
accel: XOR AES GHASH
................................................................
Ran: 64 tests in: 0.15 seconds.
OK
(cd _build/default/tests && ./test_random_runner.exe)
.........
Ran: 9 tests in: 0.11 seconds.
OK
(cd _build/default/tests && ./test_miou_entropy_collection.exe)
reseeding:
000000  0008 46ad 45c7 60fa  2cac 01c8 18ed 6eef  ..F.E.`.,.....n.
000010  38f5 74f7 3efd 60ff  1005 fe06 120c 600c  8.t.>.`.......`.
000020  e60d ac12 4619 861c  f21d d222 ba29 182e  ....F......".)..
000030  4633 4c3b 6c43 da4b  4c55 a658 465a f65f  F3L;lC.KLU.XFZ._
000040  b669 fa6d da72 f679  d67e d885 6a8a 6890  .i.m.r.y.~..j.h.
000050  8691 6295 d698 129b  96a2 fca8 86ab 28b4  ..b...........(.
000060  c4b4 b2b6 66bd f4c0  64c3 b8cb dcd4 18d7  ....f...d.......
000070  b6de 6ae5 f8e8 68eb  d6f3 48fd 8800 f401  ..j...h...H.....
000080  d406 bc0d 1a12 6217  b61f c028 c82a 9631  ......b....(.*.1
000090  a635 b639 fa3d f442  444a da4f 4c59 8c5c  .5.9.=.BDJ.OLY.\
0000a0  125e 4063 2c6b 1873  b67a 6a81 f884 6887  .^@c,k.s.zj...h.
0000b0  d68f 2e99 3a9c f09c  609f 9aa7 8ab0 f6b1  ....:...`.......
0000c0  d6b6 d8bd 6ac2 68c8  86c9 62cd d6d0 12d3  ....j.h...b.....
0000d0  96da fce0 0208 0468  4e63 974d 94ff 0380  .......hNc.M....
0000e0  f867 c729 5cad c783  39e9 3b68 ca89 e53d  .g.)\...9.;h...=
0000f0  1352 f9cf a659 8079  96a5 2cff be8a 4cfa  .R...Y.y..,...L.
000100  349e 611b af62 e865  4ea7 72ac 1ef9 3c22  4.a..b.eN.r...<"
000110  6701 f372 5ce9 994b  f04d da68 34f9 42ae  g..r\..K.M.h4.B.
000120  b6ff 5491 18c9 0fc6  cb42 8abe dfdd 767d  ..T......B....v}
000130  c701 866c 5a5d 7fa3  605f 28c1 6825 6450  ...lZ]..`_(.h%dP
000140  2858 9863 c064 c93e  6aa2 5ced 89f9 816d  (X.c.d.>j.\....m
000150  7217 dffb 083c 8d03  6288 a3fb edb9 00e5  r....<..b.......


entropy sources:
accumulate: (src: [0] rdrand) 3bcd 2fb4 8122 d001
accumulate: (src: [1] getrandom) bb99 1e06 ff1c da3a
accumulate: (src: [0] rdrand) 2691 eb1b 2878 efed
accumulate: (src: [1] getrandom) dea1 8133 4805 3bf3
accumulate: (src: [0] rdrand) 10ad 40c2 362b bdfc
(cd _build/default/tests && ./test_miou_rng.exe)
32 bit random number: 0d8875766ad7e08b651b7739e1090108659e8ef58301180d44dd61635ac4c0d9
16 bit random number: 593186aa2de9f3bf897067ebb9dfe22e
(cd _build/default/tests && ./test_entropy_collection.exe)
reseeding:
000000  0008 d332 179b 412f  7c5a 0108 73ef 6e94  ...2..A/|Z..s.n.
000010  18bc 9bad 02c8 b0f9  5cfe 2604 a804 3207  ........\.&...2.
000020  8e11 a216 2a1f 6c29  182e e634 d837 3c44  ....*.l)...4.7<D
000030  2645 e848 f44b a658  e25a 3a64 0a65 7e68  &E.H.K.X.Z:d.e~h
000040  386a 6e71 1a76 e87c  f47f a68c e28e 3a98  8jnq.v.|......:.
000050  0a99 7e9c 389e 6ea5  1aaa e8b0 f4b3 a6c0  ..~.8.n.........
000060  e2c2 3acc 0acd 7ed0  38d2 6ed9 1ade e8e4  ..:...~.8.n.....
000070  f4e7 c0f4 30f7 8c01  a006 280f 5019 ae1d  ....0.....(.P...
000080  2a23 522d b031 2c37  6e41 3446 504d ae51  *#R-.1,7nA4FPM.Q
000090  2a57 5261 b065 2c6b  6e75 347a 5081 ae85  *WRa.e,knu4zP...
0000a0  2a8b 5295 b099 2c9f  6ea9 34ae 50b5 aeb9  *.R...,.n.4.P...
0000b0  2abf 52c9 b0cd 2cd3  6edd 34e2 50e9 aeed  *.R...,.n.4.P...
0000c0  2af3 52fd b001 2c07  6e11 3416 501d ae21  *.R...,.n.4.P..!
0000d0  2a27 5231 b035 2c3b  6e45 344a 5051 0308  *'R1.5,;nE4JPQ..
0000e0  c6ec e9df 33ed 25a4                       ....3.%.


accumulate: (src: [0] rdrand) 0f89 c537 eb77 8e8b
entropy sources: [0] rdrand [1] timer
accumulate: (src: [1] timer) 92da 87e5
accumulate: (src: [0] rdrand) ab9a 80c8 1faf 181c
accumulate: (src: [1] timer) a8b5 6080
accumulate: (src: [0] rdrand) 5414 095a 0e73 4423
accumulate: (src: [1] timer) 6a87 3c1b
(cd _build/default/tests && ./test_pk_runner.exe)
.......................................................................................................................................................................................................................................................................................................................................................................
Ran: 359 tests in: 0.80 seconds.
OK
(cd _build/default/tests && ./test_ec.exe)
Testing `EC'.
This run has ID `DWT4TU6M'.


[OK]          P256 Key exchange                               0   b*A.
[OK]          P256 Key exchange                               1   a*B.
[OK]          P256 Key exchange                               2   a*A.
[OK]          P256 Key exchange                               3   b*B.
[OK]          P256 Low level scalar mult                      0   Scalar mu...
[OK]          P256 Low level scalar mult                      1   Scalar mu...
[OK]          P256 Low level scalar mult                      2   Scalar mu...
[OK]          P256 Low level scalar mult                      3   Scalar mu...
[OK]          P256 Low level scalar mult                      4   Scalar mu...
[OK]          P256 Low level scalar mult                      5   Scalar mu...
[OK]          P256 Point validation                           0   Ok.
[OK]          P256 Point validation                           1   P=0.
[OK]          P256 Point validation                           2   (0, sqrt(...
[OK]          P256 Point validation                           3   out of ra...
[OK]          P256 Scalar validation when generating          0   0.
[OK]          P256 Scalar validation when generating          1   1.
[OK]          P256 Scalar validation when generating          2   n-1.
[OK]          P256 Scalar validation when generating          3   n.
[OK]          ECDSA NIST                                      0   ECDSA gen.
[OK]          ECDSA NIST                                      1   ECDSA sign.
[OK]          ECDSA NIST                                      2   ECDSA ver...
[OK]          ECDSA RFC 6979 P256                             0   public ke...
[OK]          ECDSA RFC 6979 P256                             1   public ke...
[OK]          ECDSA RFC 6979 P256                             2   RFC 6979 ...
[OK]          ECDSA RFC 6979 P256                             3   RFC 6979 ...
[OK]          ECDSA RFC 6979 P256                             4   RFC 6979 ...
[OK]          ECDSA RFC 6979 P256                             5   RFC 6979 ...
[OK]          ECDSA RFC 6979 P256                             6   RFC 6979 ...
[OK]          ECDSA RFC 6979 P256                             7   RFC 6979 ...
[OK]          ECDSA RFC 6979 P256                             8   RFC 6979 ...
[OK]          ECDSA RFC 6979 P256                             9   RFC 6979 ...
[OK]          ECDSA RFC 6979 P256                            10   RFC 6979 ...
[OK]          ECDSA RFC 6979 P256                            11   RFC 6979 ...
[OK]          ECDSA RFC 6979 P384                             0   public ke...
[OK]          ECDSA RFC 6979 P384                             1   public ke...
[OK]          ECDSA RFC 6979 P384                             2   RFC 6979 ...
[OK]          ECDSA RFC 6979 P384                             3   RFC 6979 ...
[OK]          ECDSA RFC 6979 P384                             4   RFC 6979 ...
[OK]          ECDSA RFC 6979 P384                             5   RFC 6979 ...
[OK]          ECDSA RFC 6979 P384                             6   RFC 6979 ...
[OK]          ECDSA RFC 6979 P384                             7   RFC 6979 ...
[OK]          ECDSA RFC 6979 P384                             8   RFC 6979 ...
[OK]          ECDSA RFC 6979 P384                             9   RFC 6979 ...
[OK]          ECDSA RFC 6979 P384                            10   RFC 6979 ...
[OK]          ECDSA RFC 6979 P384                            11   RFC 6979 ...
[OK]          ECDSA RFC 6979 P521                             0   public ke...
[OK]          ECDSA RFC 6979 P521                             1   public ke...
[OK]          ECDSA RFC 6979 P521                             2   RFC 6979 ...
[OK]          ECDSA RFC 6979 P521                             3   RFC 6979 ...
[OK]          ECDSA RFC 6979 P521                             4   RFC 6979 ...
[OK]          ECDSA RFC 6979 P521                             5   RFC 6979 ...
[OK]          ECDSA RFC 6979 P521                             6   RFC 6979 ...
[OK]          ECDSA RFC 6979 P521                             7   RFC 6979 ...
[OK]          ECDSA RFC 6979 P521                             8   RFC 6979 ...
[OK]          ECDSA RFC 6979 P521                             9   RFC 6979 ...
[OK]          ECDSA RFC 6979 P521                            10   RFC 6979 ...
[OK]          ECDSA RFC 6979 P521                            11   RFC 6979 ...
[OK]          X25519                                          0   RFC 7748.
[OK]          ED25519                                         0   RFC 8032 1.
[OK]          ED25519                                         1   RFC 8032 2.
[OK]          ED25519                                         2   RFC 8032 3.
[OK]          ED25519                                         3   RFC 8032 4.
[OK]          ED25519                                         4   RFC 8032 5.
[OK]          ECDSA P521 regression                           0   regression1.
[OK]          secp256k1 ECDSA                                 0   ECDSA gen.
[OK]          secp256k1 ECDSA                                 1   ECDSA ver...
[OK]          secp256k1 ECDSA sign                            0   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            1   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            2   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            3   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            4   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            5   ECDSA sig...
[OK]          secp256k1 ECDSA sign                            6   ECDSA sig...


Full test results in `/src/_build/default/tests/_build/_tests/EC'.
Test Successful in 0.052s. 73 tests run.
(cd _build/default/tests && ./test_ec_wycheproof.exe)
Testing `Wycheproof NIST curves'.
This run has ID `T8FBVXOA'.


[OK]          ECDH P256 test vectors                         0   1 - normal...
[OK]          ECDH P256 test vectors                         1   2 - compre...
[OK]          ECDH P256 test vectors                         2   3 - edge c...
[OK]          ECDH P256 test vectors                         3   4 - edge c...
[OK]          ECDH P256 test vectors                         4   5 - edge c...
[OK]          ECDH P256 test vectors                         5   6 - edge c...
[OK]          ECDH P256 test vectors                         6   7 - edge c...
[OK]          ECDH P256 test vectors                         7   8 - edge c...
[OK]          ECDH P256 test vectors                         8   9 - edge c...
[OK]          ECDH P256 test vectors                         9   10 - edge ...
[OK]          ECDH P256 test vectors                        10   11 - edge ...
[OK]          ECDH P256 test vectors                        11   12 - edge ...
[OK]          ECDH P256 test vectors                        12   13 - edge ...
[OK]          ECDH P256 test vectors                        13   14 - edge ...
[OK]          ECDH P256 test vectors                        14   15 - edge ...
[OK]          ECDH P256 test vectors                        15   16 - edge ...
[OK]          ECDH P256 test vectors                        16   17 - edge ...
[OK]          ECDH P256 test vectors                        17   18 - edge ...
[OK]          ECDH P256 test vectors                        18   19 - y-coo...
[OK]          ECDH P256 test vectors                        19   20 - y-coo...
[OK]          ECDH P256 test vectors                        20   21 - y-coo...
[OK]          ECDH P256 test vectors                        21   22 - y-coo...
[OK]          ECDH P256 test vectors                        22   23 - y-coo...
[OK]          ECDH P256 test vectors                        23   24 - y-coo...
[OK]          ECDH P256 test vectors                        24   25 - y-coo...
[OK]          ECDH P256 test vectors                        25   26 - y-coo...
[OK]          ECDH P256 test vectors                        26   27 - y-coo...
[OK]          ECDH P256 test vectors                        27   28 - y-coo...
[OK]          ECDH P256 test vectors                        28   29 - y-coo...
[OK]          ECDH P256 test vectors                        29   30 - y-coo...
[OK]          ECDH P256 test vectors                        30   31 - edge ...
[OK]          ECDH P256 test vectors                        31   32 - edge ...
[OK]          ECDH P256 test vectors                        32   33 - edge ...
[OK]          ECDH P256 test vectors                        33   34 - edge ...
[OK]          ECDH P256 test vectors                        34   35 - edge ...
[OK]          ECDH P256 test vectors                        35   36 - edge ...
[OK]          ECDH P256 test vectors                        36   37 - edge ...
[OK]          ECDH P256 test vectors                        37   38 - edge ...
[OK]          ECDH P256 test vectors                        38   39 - edge ...
[OK]          ECDH P256 test vectors                        39   40 - edge ...
[OK]          ECDH P256 test vectors                        40   41 - edge ...
[OK]          ECDH P256 test vectors                        41   42 - edge ...
[OK]          ECDH P256 test vectors                        42   43 - edge ...
[OK]          ECDH P256 test vectors                        43   44 - edge ...
[OK]          ECDH P256 test vectors                        44   45 - edge ...
[OK]          ECDH P256 test vectors                        45   46 - edge ...
[OK]          ECDH P256 test vectors                        46   47 - edge ...
[OK]          ECDH P256 test vectors                        47   48 - edge ...
[OK]          ECDH P256 test vectors                        48   49 - edge ...
[OK]          ECDH P256 test vectors                        49   50 - edge ...
[OK]          ECDH P256 test vectors                        50   51 - edge ...
[OK]          ECDH P256 test vectors                        51   52 - edge ...
[OK]          ECDH P256 test vectors                        52   53 - edge ...
[OK]          ECDH P256 test vectors                        53   54 - edge ...
[OK]          ECDH P256 test vectors                        54   55 - edge ...
[OK]          ECDH P256 test vectors                        55   56 - edge ...
[OK]          ECDH P256 test vectors                        56   57 - edge ...
[OK]          ECDH P256 test vectors                        57   58 - edge ...
[OK]          ECDH P256 test vectors                        58   59 - point...
[OK]          ECDH P256 test vectors                        59   60 - point...
[OK]          ECDH P256 test vectors                        60   61 - point...
[OK]          ECDH P256 test vectors                        61   62 - point...
[OK]          ECDH P256 test vectors                        62   63 - point...
[OK]          ECDH P256 test vectors                        63   64 - point...
[OK]          ECDH P256 test vectors                        64   65 - point...
[OK]          ECDH P256 test vectors                        65   66 - point...
[OK]          ECDH P256 test vectors                        66   67 - point...
[OK]          ECDH P256 test vectors                        67   68 - point...
[OK]          ECDH P256 test vectors                        68   69 - point...
[OK]          ECDH P256 test vectors                        69   70 - point...
[OK]          ECDH P256 test vectors                        70   71 - point...
[OK]          ECDH P256 test vectors                        71   72 - point...
[OK]          ECDH P256 test vectors                        72   73 - point...
[OK]          ECDH P256 test vectors                        73   74 - point...
[OK]          ECDH P256 test vectors                        74   75 - point...
[OK]          ECDH P256 test vectors                        75   76 - point...
[OK]          ECDH P256 test vectors                        76   77 - point...
[OK]          ECDH P256 test vectors                        77   78 - point...
[OK]          ECDH P256 test vectors                        78   79 - point...
[OK]          ECDH P256 test vectors                        79   80 - point...
[OK]          ECDH P256 test vectors                        80   81 - point...
[OK]          ECDH P256 test vectors                        81   82 - point...
[OK]          ECDH P256 test vectors                        82   83 - point...
[OK]          ECDH P256 test vectors                        83   84 - point...
[OK]          ECDH P256 test vectors                        84   85 - point...
[OK]          ECDH P256 test vectors                        85   86 - point...
[OK]          ECDH P256 test vectors                        86   87 - point...
[OK]          ECDH P256 test vectors                        87   88 - point...
[OK]          ECDH P256 test vectors                        88   89 - point...
[OK]          ECDH P256 test vectors                        89   90 - point...
[OK]          ECDH P256 test vectors                        90   91 - point...
[OK]          ECDH P256 test vectors                        91   92 - point...
[OK]          ECDH P256 test vectors                        92   93 - point...
[OK]          ECDH P256 test vectors                        93   94 - point...
[OK]          ECDH P256 test vectors                        94   95 - point...
[OK]          ECDH P256 test vectors                        95   96 - point...
[OK]          ECDH P256 test vectors                        96   97 - point...
[OK]          ECDH P256 test vectors                        97   98 - point...
[OK]          ECDH P256 test vectors                        98   99 - point...
[OK]          ECDH P256 test vectors                        99   100 - poin...
[OK]          ECDH P256 test vectors                       100   101 - poin...
[OK]          ECDH P256 test vectors                       101   102 - poin...
[OK]          ECDH P256 test vectors                       102   103 - poin...
[OK]          ECDH P256 test vectors                       103   104 - poin...
[OK]          ECDH P256 test vectors                       104   105 - poin...
[OK]          ECDH P256 test vectors                       105   106 - poin...
[OK]          ECDH P256 test vectors                       106   107 - poin...
[OK]          ECDH P256 test vectors                       107   108 - poin...
[OK]          ECDH P256 test vectors                       108   109 - poin...
[OK]          ECDH P256 test vectors                       109   110 - poin...
[OK]          ECDH P256 test vectors                       110   111 - poin...
[OK]          ECDH P256 test vectors                       111   112 - poin...
[OK]          ECDH P256 test vectors                       112   113 - poin...
[OK]          ECDH P256 test vectors                       113   114 - poin...
[OK]          ECDH P256 test vectors                       114   115 - poin...
[OK]          ECDH P256 test vectors                       115   116 - poin...
[OK]          ECDH P256 test vectors                       116   117 - poin...
[OK]          ECDH P256 test vectors                       117   118 - poin...
[OK]          ECDH P256 test vectors                       118   119 - poin...
[OK]          ECDH P256 test vectors                       119   120 - poin...
[OK]          ECDH P256 test vectors                       120   121 - poin...
[OK]          ECDH P256 test vectors                       121   122 - poin...
[OK]          ECDH P256 test vectors                       122   123 - poin...
[OK]          ECDH P256 test vectors                       123   124 - poin...
[OK]          ECDH P256 test vectors                       124   125 - poin...
[OK]          ECDH P256 test vectors                       125   126 - poin...
[OK]          ECDH P256 test vectors                       126   127 - poin...
[OK]          ECDH P256 test vectors                       127   128 - poin...
[OK]          ECDH P256 test vectors                       128   129 - poin...
[OK]          ECDH P256 test vectors                       129   130 - poin...
[OK]          ECDH P256 test vectors                       130   131 - poin...
[OK]          ECDH P256 test vectors                       131   132 - poin...
[OK]          ECDH P256 test vectors                       132   133 - poin...
[OK]          ECDH P256 test vectors                       133   134 - poin...
[OK]          ECDH P256 test vectors                       134   135 - poin...
[OK]          ECDH P256 test vectors                       135   136 - poin...
[OK]          ECDH P256 test vectors                       136   137 - poin...
[OK]          ECDH P256 test vectors                       137   138 - poin...
[OK]          ECDH P256 test vectors                       138   139 - poin...
[OK]          ECDH P256 test vectors                       139   140 - poin...
[OK]          ECDH P256 test vectors                       140   141 - poin...
[OK]          ECDH P256 test vectors                       141   142 - poin...
[OK]          ECDH P256 test vectors                       142   143 - poin...
[OK]          ECDH P256 test vectors                       143   144 - poin...
[OK]          ECDH P256 test vectors                       144   145 - poin...
[OK]          ECDH P256 test vectors                       145   146 - poin...
[OK]          ECDH P256 test vectors                       146   147 - poin...
[OK]          ECDH P256 test vectors                       147   148 - poin...
[OK]          ECDH P256 test vectors                       148   149 - poin...
[OK]          ECDH P256 test vectors                       149   150 - poin...
[OK]          ECDH P256 test vectors                       150   151 - poin...
[OK]          ECDH P256 test vectors                       151   152 - poin...
[OK]          ECDH P256 test vectors                       152   153 - poin...
[OK]          ECDH P256 test vectors                       153   154 - poin...
[OK]          ECDH P256 test vectors                       154   155 - poin...
[OK]          ECDH P256 test vectors                       155   156 - poin...
[OK]          ECDH P256 test vectors                       156   157 - poin...
[OK]          ECDH P256 test vectors                       157   158 - poin...
[OK]          ECDH P256 test vectors                       158   159 - poin...
[OK]          ECDH P256 test vectors                       159   160 - poin...
[OK]          ECDH P256 test vectors                       160   161 - poin...
[OK]          ECDH P256 test vectors                       161   162 - poin...
[OK]          ECDH P256 test vectors                       162   163 - poin...
[OK]          ECDH P256 test vectors                       163   164 - poin...
[OK]          ECDH P256 test vectors                       164   165 - poin...
[OK]          ECDH P256 test vectors                       165   166 - poin...
[OK]          ECDH P256 test vectors                       166   167 - poin...
[OK]          ECDH P256 test vectors                       167   168 - poin...
[OK]          ECDH P256 test vectors                       168   169 - poin...
[OK]          ECDH P256 test vectors                       169   170 - poin...
[OK]          ECDH P256 test vectors                       170   171 - poin...
[OK]          ECDH P256 test vectors                       171   172 - poin...
[OK]          ECDH P256 test vectors                       172   173 - poin...
[OK]          ECDH P256 test vectors                       173   174 - poin...
[OK]          ECDH P256 test vectors                       174   175 - poin...
[OK]          ECDH P256 test vectors                       175   176 - edge...
[OK]          ECDH P256 test vectors                       176   177 - edge...
[OK]          ECDH P256 test vectors                       177   178 - edge...
[OK]          ECDH P256 test vectors                       178   179 - edge...
[OK]          ECDH P256 test vectors                       179   180 - edge...
[OK]          ECDH P256 test vectors                       180   181 - edge...
[OK]          ECDH P256 test vectors                       181   182 - edge...
[OK]          ECDH P256 test vectors                       182   183 - edge...
[OK]          ECDH P256 test vectors                       183   184 - edge...
[OK]          ECDH P256 test vectors                       184   185 - edge...
[OK]          ECDH P256 test vectors                       185   186 - edge...
[OK]          ECDH P256 test vectors                       186   187 - edge...
[OK]          ECDH P256 test vectors                       187   188 - edge...
[OK]          ECDH P256 test vectors                       188   189 - edge...
[OK]          ECDH P256 test vectors                       189   190 - edge...
[OK]          ECDH P256 test vectors                       190   191 - CVE-...
[OK]          ECDH P256 test vectors                       191   192 - CVE-...
[OK]          ECDH P256 test vectors                       192   193 - poin...
[OK]          ECDH P256 test vectors                       193   194 - poin...
[OK]          ECDH P256 test vectors                       194   195 - poin...
[OK]          ECDH P256 test vectors                       195   196 - poin...
[OK]          ECDH P256 test vectors                       196   197 - poin...
[OK]          ECDH P256 test vectors                       197   198 - poin...
[OK]          ECDH P256 test vectors                       198   199 - poin...
[OK]          ECDH P256 test vectors                       199   200 - poin...
[OK]          ECDH P256 test vectors                       200   201 - poin...
[OK]          ECDH P256 test vectors                       201   202 - poin...
[OK]          ECDH P256 test vectors                       202   203 - poin...
[OK]          ECDH P256 test vectors                       203   204 - poin...
[OK]          ECDH P256 test vectors                       204   205 - poin...
[OK]          ECDH P256 test vectors                       205   206 - poin...
[OK]          ECDH P256 test vectors                       206   207 - poin...
[OK]          ECDH P256 test vectors                       207   208 - poin...
[OK]          ECDH P256 test vectors                       208   209 - .
[OK]          ECDH P256 test vectors                       209   210 - publ...
[OK]          ECDH P256 test vectors                       210   211 - publ...
[OK]          ECDH P256 test vectors                       211   224 - usin...
[OK]          ECDH P256 test vectors                       212   225 - usin...
[OK]          ECDH P256 test vectors                       213   228 - Publ...
[OK]          ECDH P256 test vectors                       214   229 - Publ...
[OK]          ECDH P256 test vectors                       215   230 - Publ...
[OK]          ECDH P256 test vectors                       216   231 - Publ...
[OK]          ECDH P256 test vectors                       217   232 - Publ...
[OK]          ECDH P256 test vectors                       218   233 - Publ...
[OK]          ECDH P256 test vectors                       219   234 - Publ...
[OK]          ECDH P256 test vectors                       220   235 - Publ...
[OK]          ECDH P256 test vectors                       221   236 - Publ...
[OK]          ECDH P256 test vectors                       222   237 - Publ...
[OK]          ECDH P256 test vectors                       223   238 - Publ...
[OK]          ECDH P256 test vectors                       224   239 - Publ...
[OK]          ECDH P256 test vectors                       225   240 - Publ...
[OK]          ECDH P256 test vectors                       226   241 - Publ...
[OK]          ECDH P256 test vectors                       227   242 - Publ...
[OK]          ECDH P256 test vectors                       228   243 - inva...
[OK]          ECDH P256 test vectors                       229   244 - publ...
[OK]          ECDH P256 test vectors                       230   245 - publ...
[OK]          ECDH P256 test vectors                       231   246 - publ...
[OK]          ECDH P256 test vectors                       232   247 - publ...
[OK]          ECDH P256 test vectors                       233   248 - publ...
[OK]          ECDH P256 test vectors                       234   249 - publ...
[OK]          ECDSA P256 test vectors (SHA256)               0   1 - signat...
[OK]          ECDSA P256 test vectors (SHA256)               1   2 - Legacy...
[OK]          ECDSA P256 test vectors (SHA256)               2   3 - valid.
[OK]          ECDSA P256 test vectors (SHA256)               3   4 - long f...
[OK]          ECDSA P256 test vectors (SHA256)               4   5 - length...
[OK]          ECDSA P256 test vectors (SHA256)               5   6 - wrong ...
[OK]          ECDSA P256 test vectors (SHA256)               6   7 - wrong ...
[OK]          ECDSA P256 test vectors (SHA256)               7   8 - uint32...
[OK]          ECDSA P256 test vectors (SHA256)               8   9 - uint64...
[OK]          ECDSA P256 test vectors (SHA256)               9   10 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              10   11 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              11   12 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              12   13 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              13   14 - incor...
[OK]          ECDSA P256 test vectors (SHA256)              14   15 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              15   16 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              16   17 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              17   18 - remov...
[OK]          ECDSA P256 test vectors (SHA256)              18   19 - lonel...
[OK]          ECDSA P256 test vectors (SHA256)              19   20 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              20   21 - prepe...
[OK]          ECDSA P256 test vectors (SHA256)              21   22 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              22   23 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              23   24 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              24   25 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              25   26 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              26   27 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              27   28 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              28   29 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              29   30 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              30   31 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              31   32 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              32   33 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              33   34 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              34   35 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              35   36 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              36   37 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              37   38 - inclu...
[OK]          ECDSA P256 test vectors (SHA256)              38   39 - trunc...
[OK]          ECDSA P256 test vectors (SHA256)              39   40 - using...
[OK]          ECDSA P256 test vectors (SHA256)              40   41 - using...
[OK]          ECDSA P256 test vectors (SHA256)              41   42 - using...
[OK]          ECDSA P256 test vectors (SHA256)              42   43 - using...
[OK]          ECDSA P256 test vectors (SHA256)              43   44 - using...
[OK]          ECDSA P256 test vectors (SHA256)              44   45 - using...
[OK]          ECDSA P256 test vectors (SHA256)              45   46 - Repla...
[OK]          ECDSA P256 test vectors (SHA256)              46   47 - chang...
[OK]          ECDSA P256 test vectors (SHA256)              47   48 - chang...
[OK]          ECDSA P256 test vectors (SHA256)              48   49 - chang...
[OK]          ECDSA P256 test vectors (SHA256)              49   50 - chang...
[OK]          ECDSA P256 test vectors (SHA256)              50   51 - chang...
[OK]          ECDSA P256 test vectors (SHA256)              51   52 - dropp...
[OK]          ECDSA P256 test vectors (SHA256)              52   53 - using...
[OK]          ECDSA P256 test vectors (SHA256)              53   54 - trunc...
[OK]          ECDSA P256 test vectors (SHA256)              54   55 - trunc...
[OK]          ECDSA P256 test vectors (SHA256)              55   56 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              56   57 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              57   58 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              58   59 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              59   60 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              60   61 - indef...
[OK]          ECDSA P256 test vectors (SHA256)              61   62 - prepe...
[OK]          ECDSA P256 test vectors (SHA256)              62   63 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              63   64 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              64   65 - seque...
[OK]          ECDSA P256 test vectors (SHA256)              65   66 - trunc...
[OK]          ECDSA P256 test vectors (SHA256)              66   67 - repea...
[OK]          ECDSA P256 test vectors (SHA256)              67   68 - long ...
[OK]          ECDSA P256 test vectors (SHA256)              68   69 - long ...
[OK]          ECDSA P256 test vectors (SHA256)              69   70 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              70   71 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              71   72 - wrong...
[OK]          ECDSA P256 test vectors (SHA256)              72   73 - wrong...
[OK]          ECDSA P256 test vectors (SHA256)              73   74 - wrong...
[OK]          ECDSA P256 test vectors (SHA256)              74   75 - wrong...
[OK]          ECDSA P256 test vectors (SHA256)              75   76 - uint3...
[OK]          ECDSA P256 test vectors (SHA256)              76   77 - uint3...
[OK]          ECDSA P256 test vectors (SHA256)              77   78 - uint6...
[OK]          ECDSA P256 test vectors (SHA256)              78   79 - uint6...
[OK]          ECDSA P256 test vectors (SHA256)              79   80 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              80   81 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              81   82 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              82   83 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              83   84 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              84   85 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              85   86 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              86   87 - lengt...
[OK]          ECDSA P256 test vectors (SHA256)              87   88 - incor...
[OK]          ECDSA P256 test vectors (SHA256)              88   89 - incor...
[OK]          ECDSA P256 test vectors (SHA256)              89   90 - remov...
[OK]          ECDSA P256 test vectors (SHA256)              90   91 - lonel...
[OK]          ECDSA P256 test vectors (SHA256)              91   92 - lonel...
[OK]          ECDSA P256 test vectors (SHA256)              92   93 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              93   94 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              94   95 - prepe...
[OK]          ECDSA P256 test vectors (SHA256)              95   96 - prepe...
[OK]          ECDSA P256 test vectors (SHA256)              96   97 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              97   98 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              98   99 - appen...
[OK]          ECDSA P256 test vectors (SHA256)              99   100 - trun...
[OK]          ECDSA P256 test vectors (SHA256)             100   101 - trun...
[OK]          ECDSA P256 test vectors (SHA256)             101   102 - Repl...
[OK]          ECDSA P256 test vectors (SHA256)             102   103 - Repl...
[OK]          ECDSA P256 test vectors (SHA256)             103   104 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             104   105 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             105   106 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             106   107 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             107   108 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             108   109 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             109   110 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             110   111 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             111   112 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             112   113 - chan...
[OK]          ECDSA P256 test vectors (SHA256)             113   114 - drop...
[OK]          ECDSA P256 test vectors (SHA256)             114   115 - drop...
[OK]          ECDSA P256 test vectors (SHA256)             115   116 - usin...
[OK]          ECDSA P256 test vectors (SHA256)             116   117 - usin...
[OK]          ECDSA P256 test vectors (SHA256)             117   118 - modi...
[OK]          ECDSA P256 test vectors (SHA256)             118   119 - modi...
[OK]          ECDSA P256 test vectors (SHA256)             119   120 - modi...
[OK]          ECDSA P256 test vectors (SHA256)             120   121 - modi...
[OK]          ECDSA P256 test vectors (SHA256)             121   122 - trun...
[OK]          ECDSA P256 test vectors (SHA256)             122   123 - trun...
[OK]          ECDSA P256 test vectors (SHA256)             123   124 - trun...
[OK]          ECDSA P256 test vectors (SHA256)             124   125 - lead...
[OK]          ECDSA P256 test vectors (SHA256)             125   126 - lead...
[OK]          ECDSA P256 test vectors (SHA256)             126   127 - repl...
[OK]          ECDSA P256 test vectors (SHA256)             127   128 - repl...
[OK]          ECDSA P256 test vectors (SHA256)             128   129 - repl...
[OK]          ECDSA P256 test vectors (SHA256)             129   130 - repl...
[OK]          ECDSA P256 test vectors (SHA256)             130   131 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             131   132 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             132   133 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             133   134 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             134   135 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             135   136 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             136   137 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             137   138 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             138   139 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             139   140 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             140   141 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             141   142 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             142   143 - Modi...
[OK]          ECDSA P256 test vectors (SHA256)             143   144 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             144   145 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             145   146 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             146   147 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             147   148 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             148   149 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             149   150 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             150   151 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             151   152 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             152   153 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             153   154 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             154   155 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             155   156 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             156   157 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             157   158 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             158   159 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             159   160 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             160   161 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             161   162 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             162   163 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             163   164 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             164   165 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             165   166 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             166   167 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             167   168 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             168   169 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             169   170 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             170   171 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             171   172 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             172   173 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             173   174 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             174   175 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             175   176 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             176   177 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             177   178 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             178   179 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             179   180 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             180   181 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             181   182 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             182   183 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             183   184 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             184   185 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             185   186 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             186   187 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             187   188 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             188   189 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             189   190 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             190   191 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             191   192 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             192   193 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             193   194 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             194   195 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             195   196 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             196   197 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             197   198 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             198   199 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             199   200 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             200   201 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             201   202 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             202   203 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             203   204 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             204   205 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             205   206 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             206   207 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             207   208 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             208   209 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             209   210 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             210   211 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             211   212 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             212   213 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             213   214 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             214   215 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             215   216 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             216   217 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             217   218 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             218   219 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             219   220 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             220   221 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             221   222 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             222   223 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             223   224 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             224   225 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             225   226 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             226   227 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             227   228 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             228   229 - Sign...
[OK]          ECDSA P256 test vectors (SHA256)             229   230 - Edge...
[OK]          ECDSA P256 test vectors (SHA256)             230   231 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             231   232 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             232   233 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             233   234 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             234   235 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             235   236 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             236   237 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             237   238 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             238   239 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             239   240 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             240   241 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             241   242 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             242   243 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             243   244 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             244   245 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             245   246 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             246   247 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             247   248 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             248   249 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             249   250 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             250   251 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             251   252 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             252   253 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             253   254 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             254   255 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             255   256 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             256   257 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             257   258 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             258   259 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             259   260 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             260   261 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             261   262 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             262   263 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             263   264 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             264   265 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             265   266 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             266   267 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             267   268 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             268   269 - spec...
[OK]          ECDSA P256 test vectors (SHA256)             269   270 - spec...
...TRUNCATED BY DUNE...
[OK]          ECDH SECP256K1 test vectors                  100   102 - poin...
[OK]          ECDH SECP256K1 test vectors                  101   103 - poin...
[OK]          ECDH SECP256K1 test vectors                  102   104 - poin...
[OK]          ECDH SECP256K1 test vectors                  103   105 - poin...
[OK]          ECDH SECP256K1 test vectors                  104   106 - poin...
[OK]          ECDH SECP256K1 test vectors                  105   107 - poin...
[OK]          ECDH SECP256K1 test vectors                  106   108 - poin...
[OK]          ECDH SECP256K1 test vectors                  107   109 - poin...
[OK]          ECDH SECP256K1 test vectors                  108   110 - poin...
[OK]          ECDH SECP256K1 test vectors                  109   111 - poin...
[OK]          ECDH SECP256K1 test vectors                  110   112 - poin...
[OK]          ECDH SECP256K1 test vectors                  111   113 - poin...
[OK]          ECDH SECP256K1 test vectors                  112   114 - poin...
[OK]          ECDH SECP256K1 test vectors                  113   115 - poin...
[OK]          ECDH SECP256K1 test vectors                  114   116 - poin...
[OK]          ECDH SECP256K1 test vectors                  115   117 - poin...
[OK]          ECDH SECP256K1 test vectors                  116   118 - poin...
[OK]          ECDH SECP256K1 test vectors                  117   119 - poin...
[OK]          ECDH SECP256K1 test vectors                  118   120 - poin...
[OK]          ECDH SECP256K1 test vectors                  119   121 - poin...
[OK]          ECDH SECP256K1 test vectors                  120   122 - poin...
[OK]          ECDH SECP256K1 test vectors                  121   123 - poin...
[OK]          ECDH SECP256K1 test vectors                  122   124 - poin...
[OK]          ECDH SECP256K1 test vectors                  123   125 - poin...
[OK]          ECDH SECP256K1 test vectors                  124   126 - poin...
[OK]          ECDH SECP256K1 test vectors                  125   127 - poin...
[OK]          ECDH SECP256K1 test vectors                  126   128 - poin...
[OK]          ECDH SECP256K1 test vectors                  127   129 - poin...
[OK]          ECDH SECP256K1 test vectors                  128   130 - poin...
[OK]          ECDH SECP256K1 test vectors                  129   131 - poin...
[OK]          ECDH SECP256K1 test vectors                  130   132 - poin...
[OK]          ECDH SECP256K1 test vectors                  131   133 - poin...
[OK]          ECDH SECP256K1 test vectors                  132   134 - poin...
[OK]          ECDH SECP256K1 test vectors                  133   135 - poin...
[OK]          ECDH SECP256K1 test vectors                  134   136 - poin...
[OK]          ECDH SECP256K1 test vectors                  135   137 - poin...
[OK]          ECDH SECP256K1 test vectors                  136   138 - poin...
[OK]          ECDH SECP256K1 test vectors                  137   139 - poin...
[OK]          ECDH SECP256K1 test vectors                  138   140 - poin...
[OK]          ECDH SECP256K1 test vectors                  139   141 - poin...
[OK]          ECDH SECP256K1 test vectors                  140   142 - poin...
[OK]          ECDH SECP256K1 test vectors                  141   143 - poin...
[OK]          ECDH SECP256K1 test vectors                  142   144 - poin...
[OK]          ECDH SECP256K1 test vectors                  143   145 - poin...
[OK]          ECDH SECP256K1 test vectors                  144   146 - poin...
[OK]          ECDH SECP256K1 test vectors                  145   147 - poin...
[OK]          ECDH SECP256K1 test vectors                  146   148 - poin...
[OK]          ECDH SECP256K1 test vectors                  147   149 - poin...
[OK]          ECDH SECP256K1 test vectors                  148   150 - poin...
[OK]          ECDH SECP256K1 test vectors                  149   151 - poin...
[OK]          ECDH SECP256K1 test vectors                  150   152 - poin...
[OK]          ECDH SECP256K1 test vectors                  151   153 - poin...
[OK]          ECDH SECP256K1 test vectors                  152   154 - poin...
[OK]          ECDH SECP256K1 test vectors                  153   155 - poin...
[OK]          ECDH SECP256K1 test vectors                  154   156 - poin...
[OK]          ECDH SECP256K1 test vectors                  155   157 - poin...
[OK]          ECDH SECP256K1 test vectors                  156   158 - poin...
[OK]          ECDH SECP256K1 test vectors                  157   159 - poin...
[OK]          ECDH SECP256K1 test vectors                  158   160 - poin...
[OK]          ECDH SECP256K1 test vectors                  159   161 - poin...
[OK]          ECDH SECP256K1 test vectors                  160   162 - poin...
[OK]          ECDH SECP256K1 test vectors                  161   163 - poin...
[OK]          ECDH SECP256K1 test vectors                  162   164 - poin...
[OK]          ECDH SECP256K1 test vectors                  163   165 - poin...
[OK]          ECDH SECP256K1 test vectors                  164   166 - poin...
[OK]          ECDH SECP256K1 test vectors                  165   167 - edge...
[OK]          ECDH SECP256K1 test vectors                  166   168 - edge...
[OK]          ECDH SECP256K1 test vectors                  167   169 - edge...
[OK]          ECDH SECP256K1 test vectors                  168   170 - edge...
[OK]          ECDH SECP256K1 test vectors                  169   171 - edge...
[OK]          ECDH SECP256K1 test vectors                  170   172 - edge...
[OK]          ECDH SECP256K1 test vectors                  171   173 - edge...
[OK]          ECDH SECP256K1 test vectors                  172   174 - edge...
[OK]          ECDH SECP256K1 test vectors                  173   175 - edge...
[OK]          ECDH SECP256K1 test vectors                  174   176 - edge...
[OK]          ECDH SECP256K1 test vectors                  175   177 - edge...
[OK]          ECDH SECP256K1 test vectors                  176   178 - edge...
[OK]          ECDH SECP256K1 test vectors                  177   179 - edge...
[OK]          ECDH SECP256K1 test vectors                  178   180 - edge...
[OK]          ECDH SECP256K1 test vectors                  179   181 - edge...
[OK]          ECDH SECP256K1 test vectors                  180   182 - edge...
[OK]          ECDH SECP256K1 test vectors                  181   183 - poin...
[OK]          ECDH SECP256K1 test vectors                  182   184 - poin...
[OK]          ECDH SECP256K1 test vectors                  183   185 - poin...
[OK]          ECDH SECP256K1 test vectors                  184   186 - poin...
[OK]          ECDH SECP256K1 test vectors                  185   187 - poin...
[OK]          ECDH SECP256K1 test vectors                  186   188 - poin...
[OK]          ECDH SECP256K1 test vectors                  187   189 - poin...
[OK]          ECDH SECP256K1 test vectors                  188   190 - poin...
[OK]          ECDH SECP256K1 test vectors                  189   191 - poin...
[OK]          ECDH SECP256K1 test vectors                  190   192 - poin...
[OK]          ECDH SECP256K1 test vectors                  191   193 - poin...
[OK]          ECDH SECP256K1 test vectors                  192   194 - poin...
[OK]          ECDH SECP256K1 test vectors                  193   195 - poin...
[OK]          ECDH SECP256K1 test vectors                  194   196 - poin...
[OK]          ECDH SECP256K1 test vectors                  195   197 - poin...
[OK]          ECDH SECP256K1 test vectors                  196   198 - poin...
[OK]          ECDH SECP256K1 test vectors                  197   199 - publ...
[OK]          ECDH SECP256K1 test vectors                  198   200 - publ...
[OK]          ECDH SECP256K1 test vectors                  199   201 - .
[OK]          ECDH SECP256K1 test vectors                  200   202 - publ...
[OK]          ECDH SECP256K1 test vectors                  201   203 - publ...
[OK]          ECDH SECP256K1 test vectors                  202   216 - usin...
[OK]          ECDH SECP256K1 test vectors                  203   217 - usin...
[OK]          ECDH SECP256K1 test vectors                  204   220 - Publ...
[OK]          ECDH SECP256K1 test vectors                  205   221 - Publ...
[OK]          ECDH SECP256K1 test vectors                  206   222 - Publ...
[OK]          ECDH SECP256K1 test vectors                  207   223 - Publ...
[OK]          ECDH SECP256K1 test vectors                  208   224 - Publ...
[OK]          ECDH SECP256K1 test vectors                  209   225 - Publ...
[OK]          ECDH SECP256K1 test vectors                  210   226 - Publ...
[OK]          ECDH SECP256K1 test vectors                  211   227 - Publ...
[OK]          ECDH SECP256K1 test vectors                  212   228 - Publ...
[OK]          ECDH SECP256K1 test vectors                  213   229 - Publ...
[OK]          ECDH SECP256K1 test vectors                  214   230 - Publ...
[OK]          ECDH SECP256K1 test vectors                  215   231 - Publ...
[OK]          ECDH SECP256K1 test vectors                  216   232 - Publ...
[OK]          ECDH SECP256K1 test vectors                  217   233 - Publ...
[OK]          ECDH SECP256K1 test vectors                  218   234 - Publ...
[OK]          ECDH SECP256K1 test vectors                  219   235 - Publ...
[OK]          ECDH SECP256K1 test vectors                  220   236 - inva...
[OK]          ECDH SECP256K1 test vectors                  221   237 - publ...
[OK]          ECDH SECP256K1 test vectors                  222   238 - publ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          0   0 - valid.
[OK]          ECDSA SECP256K1 test vectors (SHA256)          1   1 - signat...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          2   2 - Legacy...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          3   3 - valid.
[OK]          ECDSA SECP256K1 test vectors (SHA256)          4   4 - long f...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          5   5 - length...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          6   6 - wrong ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          7   7 - wrong ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          8   8 - uint32...
[OK]          ECDSA SECP256K1 test vectors (SHA256)          9   9 - uint64...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         10   10 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         11   11 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         12   12 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         13   13 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         14   14 - incor...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         15   15 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         16   16 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         17   17 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         18   18 - remov...
[OK]          ECDA SECP256K1 test vectors (SHA256)         19   19 - lonel...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         20   20 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         21   21 - prepe...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         22   22 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         23   23 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         24   24 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         25   25 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         26   26 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         27   27 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         28   28 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         29   29 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         30   30 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         31   31 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         32   32 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         33   33 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         34   34 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         35   35 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         36   36 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         37   37 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         38   38 - inclu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         39   39 - trunc...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         40   40 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         41   41 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         42   42 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         43   43 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         44   44 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         45   45 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         46   46 - Repla...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         47   47 - chang...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         48   48 - chang...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         49   49 - chang...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         50   50 - chang...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         51   51 - chang...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         52   52 - dropp...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         53   53 - using...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         54   54 - trunc...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         55   55 - trunc...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         56   56 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         57   57 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         58   58 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         59   59 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         60   60 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         61   61 - indef...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         62   62 - prepe...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         63   63 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         64   64 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         65   65 - seque...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         66   66 - trunc...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         67   67 - repea...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         68   68 - long ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         69   69 - long ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         70   70 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         71   71 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         72   72 - wrong...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         73   73 - wrong...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         74   74 - wrong...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         75   75 - wrong...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         76   76 - uint3...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         77   77 - uint3...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         78   78 - uint6...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         79   79 - uint6...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         80   80 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         81   81 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         82   82 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         83   83 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         84   84 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         85   85 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         86   86 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         87   87 - lengt...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         88   88 - incor...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         89   89 - incor...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         90   90 - remov...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         91   91 - lonel...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         92   92 - lonel...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         93   93 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         94   94 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         95   95 - prepe...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         96   96 - prepe...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         97   97 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         98   98 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)         99   99 - appen...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        100   100 - trun...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        101   101 - trun...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        102   102 - Repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        103   103 - Repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        104   104 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        105   105 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        106   106 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        107   107 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        108   108 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        109   109 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        110   110 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        111   111 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        112   112 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        113   113 - chan...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        114   114 - drop...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        115   115 - drop...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        116   116 - usin...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        117   117 - usin...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        118   118 - modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        119   119 - modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        120   120 - modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        121   121 - modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        122   122 - trun...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        123   123 - trun...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        124   124 - trun...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        125   125 - lead...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        126   126 - lead...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        127   127 - repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        128   128 - repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        129   129 - repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        130   130 - repl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        131   131 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        132   132 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        133   133 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        134   134 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        135   135 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        136   136 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        137   137 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        138   138 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        139   139 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        140   140 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        141   141 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        142   142 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        143   143 - Modi...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        144   144 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        145   145 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        146   146 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        147   147 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        148   148 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        149   149 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        150   150 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        151   151 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        152   152 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        153   153 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        154   154 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        155   155 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        156   156 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        157   157 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        158   158 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        159   159 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        160   160 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        161   161 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        162   162 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        163   163 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        164   164 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        165   165 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        166   166 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        167   167 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        168   168 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        169   169 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        170   170 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        171   171 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        172   172 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        173   173 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        174   174 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        175   175 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        176   176 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        177   177 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        178   178 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        179   179 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        180   180 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        181   181 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        182   182 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        183   183 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        184   184 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        185   185 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        186   186 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        187   187 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        188   188 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        189   189 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        190   190 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        191   191 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        192   192 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        193   193 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        194   194 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        195   195 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        196   196 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        197   197 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        198   198 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        199   199 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        200   200 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        201   201 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        202   202 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        203   203 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        204   204 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        205   205 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        206   206 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        207   207 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        208   208 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        209   209 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        210   210 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        211   211 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        212   212 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        213   213 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        214   214 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        215   215 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        216   216 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        217   217 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        218   218 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        219   219 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        220   220 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        221   221 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        222   222 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        223   223 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        224   224 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        225   225 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        226   226 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        227   227 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        228   228 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        229   229 - Sign...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        230   230 - Edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        231   231 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        232   232 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        233   233 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        234   234 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        235   235 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        236   236 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        237   237 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        238   238 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        239   239 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        240   240 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        241   241 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        242   242 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        243   243 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        244   244 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        245   245 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        246   246 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        247   247 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        248   248 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        249   249 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        250   250 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        251   251 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        252   252 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        253   253 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        254   254 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        255   255 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        256   256 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        257   257 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        258   258 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        259   259 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        260   260 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        261   261 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        262   262 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        263   263 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        264   264 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        265   265 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        266   266 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        267   267 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        268   268 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        269   269 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        270   270 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        271   271 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        272   272 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        273   273 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        274   274 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        275   275 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        276   276 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        277   277 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        278   278 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        279   279 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        280   280 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        281   281 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        282   282 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        283   283 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        284   284 - spec...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        285   285 - k*G ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        286   286 - r to...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        287   287 - r,s ...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        288   288 - r an...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        289   289 - r an...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        290   290 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        291   291 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        292   292 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        293   293 - r is...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        294   294 - s is...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        295   295 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        296   296 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        297   297 - 100-...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        298   298 - smal...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        299   299 - 100-...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        300   300 - r an...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        301   301 - s == 1.
[OK]          ECDSA SECP256K1 test vectors (SHA256)        302   302 - s == 0.
[OK]          ECDSA SECP256K1 test vectors (SHA256)        303   303 - poin...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        304   304 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        305   305 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        306   306 - u1 =...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        307   307 - u1 =...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        308   308 - u2 =...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        309   309 - u2 =...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        310   310 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        311   311 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        312   312 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        313   313 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        314   314 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        315   315 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        316   316 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        317   317 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        318   318 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        319   319 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        320   320 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        321   321 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        322   322 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        323   323 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        324   324 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        325   325 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        326   326 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        327   327 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        328   328 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        329   329 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        330   330 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        331   331 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        332   332 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        333   333 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        334   334 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        335   335 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        336   336 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        337   337 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        338   338 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        339   339 - edge...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        340   340 - poin...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        341   341 - dupl...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        342   342 - comp...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        343   343 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        344   344 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        345   345 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        346   346 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        347   347 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        348   348 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        349   349 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        350   350 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        351   351 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        352   352 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        353   353 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        354   354 - extr...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        355   355 - test...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        356   356 - test...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        357   357 - test...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        358   358 - test...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        359   359 - pseu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        360   360 - pseu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        361   361 - pseu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        362   362 - pseu...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        363   363 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        364   364 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        365   365 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        366   366 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        367   367 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        368   368 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        369   369 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        370   370 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        371   371 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        372   372 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        373   373 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        374   374 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        375   375 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        376   376 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        377   377 - y-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        378   378 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        379   379 - x-co...
[OK]          ECDSA SECP256K1 test vectors (SHA256)        380   380 - x-co...


Full test results in `/src/_build/default/tests/_build/_tests/Wycheproof NIST curves'.
Test Successful in 5.963s. 4106 tests run.
2025-03-06 17:42.48 ---> saved as "d87787be9c56deb1143fc9de03e356eebd0fece9d8eff1cc836910206c63cda9"
Job succeeded
2025-03-06 17:42.50: Job succeeded