Move cryptography packages

Depends on

• Depends on unreleased version of bls12-381: https://github.com/ocaml/opam-repository/pull/23485
• opam-repository!408 (merged)
• !8094 (merged)
• !8061 (merged)

Follow-up issues:

• #5147
• #5268

MR purpose

• Move polynomial - gitlab.com/nomadic-labs/cryptography/ocaml-polynomial

• Move mec - gitlab.com/nomadic-labs/cryptography/ocaml-ec

• Move bls12-381-signature - gitlab.com/nomadic-labs/cryptography/ocaml-bls12-381-signature

• Move bls12-381-hash - gitlab.com/nomadic-labs/cryptography/ocaml-bls12-381-hash

• Move distributed and distributed-lwt. These are forks of https://github.com/essdotteedot/distributed

  • Renamed into octez_distributed_internal and octez_distributed_lwt_internal.

• Move privacy-team projects (bls12-381-polynomial already moved)

  • Move tezos-plompiler - https://gitlab.com/nomadic-labs/cryptography/aplonk
  • Move tezos-plonk - https://gitlab.com/nomadic-labs/cryptography/aplonk
  • Move tezos-aplonk - https://gitlab.com/nomadic-labs/cryptography/aplonk
  • Move tezos-distributed-plonk - https://gitlab.com/nomadic-labs/cryptography/aplonk
  • Move epoxy-tx - https://gitlab.com/nomadic-labs/cryptography/aplonk
  • Move srs-extraction - https://gitlab.com/nomadic-labs/cryptography/aplonk

• rewrite history to match one commit = one repo + changes to proto

How to review

Given the size of the cryptography team's codebase being transferred to the main repo, this is a very large MR. Reviewers should not review the code itself, but rather that its integration in the repo is correct. To this end, the main changes to be reviewed are those to manifest/main.ml, which defines the structure of these new libraries. The goal has been to keep as close as possible to the original build setup while also following Tezos conventions. The dune files that have been recreated this way are listed below. Reviewers should also check the changes to the protocol environment structs in src/lib_protocol_environment/structs/v8_plonk.ml and to the dummy zk rollup in src/proto_alpha/lib_protocol/test/helpers/dummy_zk_rollup.ml

Reviewers can diff the original source code and the one imported in tezos/tezos. The code is the same as on the main branch of these repos, with the only exceptions being:

1. Complying with semgrep rules
2. Renaming dependencies
3. Differences in formatting (output of make fmt)
4. Files hierarchy: nested directories and (copy_files foo) have been removed and source files have been moved at the root of the src directory.

Give opinions on:

• library names

Reviewers should check:

• CI time is not increasing (@bsall)
• no changes have been introduced in other codebase than small changes in the protocol to match the new version of PlonK (@ZaynahDargaye)

It is expected to have a drop in the test coverage (@arvidnl).

Here is the list of the new dune files and their original locations:

• src/lib_distributed_internal/src/dune <- original
• src/lib_distributed_internal/lwt/dune <- original
• src/lib_bls12_381_signature/dune <- original
• src/lib_bls12_381_signature/test/dune <- original
• src/src/lib_bls12_381_hash/dune <- original
• src/lib_bls12_381_hash/test/dune <- original
• src/lib_‎mec/‎du‎ne <- original
• src/lib_‎mec/test/‎du‎ne <- consolidation of dune files in ocaml-ec/test
• src/lib_poly‎nomial/du‎ne <- original
• src/lib_poly‎nomial/test/‎du‎ne <- original
• src/lib_srs_extraction/dune <- original
• src/lib_srs_extraction/test/dune <- original
• src/lib_plompiler/dune <- original
• src/lib_plonk/dune <- original
• src/lib_aplonk/plonk-aggregation/dune <- original
• src/lib_aplonk/dune <- original
• src/lib_distributed_plonk/plonk-distribution/dune <- original
• src/lib_distributed_plonk/communication/dune <- original
• src/lib_distributed_plonk/dune <- original
• src/lib_plonk/test/dune <- original
• src/lib_plonk/test_plompiler/dune <- original
• src/lib_distributed_plonk/test/dune <- original
• src/lib_aplonk/test/dune <- original
• src/lib_epoxy_tx <- original
• src/lib_epoxy_tx/test <- original