Motivation

In order to facilitate the integration of cryptography projects needed for validity rollups, many of the projects which have until now been worked on separately under nomadic-labs/cryptography will be moved to the main Tezos repo. This includes:

• most of the codebase in aplonk
• ocaml-bls12-381-hash
• ocaml-bls12-381-signature
• ocaml-ec
• ocaml-polynomial
• ocaml-ff, components of which will be:
  • included in a new version of ocaml-bls12-381, which will remain an external dependency of Tezos
  • included in the moved ocaml-ec

Work breakdown

• Move parts of ocaml-ff (ff-sig, ff-pbt) inside ocaml-bls12-381 nomadic-labs/cryptography/ocaml-bls12-381!217 (merged)
• Release ocaml-bls12-381 7.0.0 with these additions
• Switch the ocaml-ff dependency in polynomial to bls12-381
• Move parts of ocaml-ff (ff) inside mec
• Switch the ocaml-ff dependency in mec to bls12-381
  • Rename bls12_381.ml to bls12_381_ref.ml to avoid clash with new dependency
  • Drop benchmarks
• Switch the ocaml-ff dependency in bls12-381-hash to bls12-381
• Use new version of bls12-381 in bls12-381-signature
• Replace all modified dependencies in privacy-team
• Decide if epoxy-tx will also be moved: yes
• Move polynomial
• Move mec
• Move bls12-381-signature
• Move bls12-381-hash (!7932 (merged))
• Move distributed and distributed-lwt
• Remove internal from already moved bls12-381-polynomial-internal
• Move privacy-team projects
  • Rename the already moved bls12-381-polynomial-internal back to bls12-381-polynomial
  • Move tezos-plompiler
    • Fix uses of /tmp
  • Move tezos-plonk
  • Move tezos-aplonk
  • Move tezos-distributed-plonk
  • Move epoxy-tx
  • Move distributed
  • Move srs-extraction
• Move poseidon-constant-generator (Rust) to its own repo
• Update opam-repository to remove unused dependencies
• Bulk move issues from privacy-team to tezos
• Evaluate additional impact on CI
• Follow up issue to manage benchmarking code from bls12-381-signature and bls12-381-hash which depends on core