Merge pull request ocaml#22583 from victor-dumitrescu/opam-publish-tezos-bls12-381-polynomial-tezos-plompiler-tezos-plonk.1.0.1

3 packages from gitlab.com/nomadic-labs/cryptography/privacy-team/-/archive/v1.0.1/privacy-team-v1.0.1.tar.gz

Author: kit-ty-kate

packages/tezos-bls12-381-polynomial/tezos-bls12-381-polynomial.1.0.1/opam

@@ -0,0 +1,44 @@
+opam-version: "2.0"
+synopsis: "Polynomials over BLS12-381 finite field"
+maintainer: "[email protected]"
+authors: "Nomadic Labs Privacy Team"
+license: "MIT"
+homepage:
+  "https://research-development.nomadic-labs.com/files/cryptography.html"
+bug-reports:
+  "https://gitlab.com/nomadic-labs/cryptography/privacy-team/-/issues"
+depends: [
+  "dune" {>= "2.8"}
+  "ocaml" {>= "4.12.0"}
+  "bls12-381" {>= "4.0.0"}
+  "ppx_repr" {>= "0.6.0"}
+  "bigstringaf" {>= "0.5.0"}
+  "alcotest" {with-test & >= "1.1.0"}
+  "qcheck-alcotest" {with-test}
+  "polynomial" {with-test & >= "0.4.0" & < "0.5.0"}
+  "bisect_ppx" {with-test}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://gitlab.com/nomadic-labs/cryptography/privacy-team.git"
+url {
+  src:
+    "https://gitlab.com/nomadic-labs/cryptography/privacy-team/-/archive/v1.0.1/privacy-team-v1.0.1.tar.gz"
+  checksum: [
+    "md5=03d6ca5fb1c6865b6628e0dd49575895"
+    "sha512=20494d1d00ded43f3625e06e037d3bad04f0a7320914b542b882d3d0293c9b02845b7ca9ee4ff0eb8ea495eff5633016861c39370cca92c12aacae0e84483ca4"
+  ]
+}

packages/tezos-plompiler/tezos-plompiler.1.0.0/opam

@@ -12,7 +12,7 @@ depends: [
   "ocaml" {>= "4.12.0"}
   "hacl-star" {>= "0.4.0"}
   "bls12-381" {>= "4.0.0"}
-  "bls12-381-hash" {>= "0.0.3" & < "1.0.0"}
+  "bls12-381-hash" {= "0.0.4"}
   "ppx_repr" {>= "0.6.0"}
   "hex"
   "stdint"

packages/tezos-plompiler/tezos-plompiler.1.0.1/opam

@@ -0,0 +1,35 @@
+opam-version: "2.0"
+synopsis: "Library to write arithmetic circuits for Plonk"
+maintainer: "[email protected]"
+authors: "Nomadic Labs Privacy Team"
+license: "MIT"
+homepage:
+  "https://research-development.nomadic-labs.com/files/cryptography.html"
+bug-reports:
+  "https://gitlab.com/nomadic-labs/cryptography/privacy-team/-/issues"
+depends: [
+  "dune" {>= "2.8"}
+  "ocaml" {>= "4.12.0"}
+  "hacl-star" {>= "0.4.0"}
+  "bls12-381" {>= "4.0.0"}
+  "bls12-381-hash" {>= "0.0.5" & < "1.0.0"}
+  "ppx_repr" {>= "0.6.0"}
+  "hex"
+  "stdint"
+  "polynomial" {>= "0.4.0" & < "0.5.0"}
+  "mec" {= "0.1.0"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  ["dune" "build" "-p" name "-j" jobs "@install" "@doc" {with-doc}]
+]
+dev-repo: "git+https://gitlab.com/nomadic-labs/cryptography/privacy-team.git"
+url {
+  src:
+    "https://gitlab.com/nomadic-labs/cryptography/privacy-team/-/archive/v1.0.1/privacy-team-v1.0.1.tar.gz"
+  checksum: [
+    "md5=03d6ca5fb1c6865b6628e0dd49575895"
+    "sha512=20494d1d00ded43f3625e06e037d3bad04f0a7320914b542b882d3d0293c9b02845b7ca9ee4ff0eb8ea495eff5633016861c39370cca92c12aacae0e84483ca4"
+  ]
+}

packages/tezos-plonk/tezos-plonk.1.0.1/opam

@@ -0,0 +1,32 @@
+opam-version: "2.0"
+synopsis: "Plonk zero-knowledge proving system"
+maintainer: "[email protected]"
+authors: "Nomadic Labs Privacy Team"
+license: "MIT"
+homepage:
+  "https://research-development.nomadic-labs.com/files/cryptography.html"
+bug-reports:
+  "https://gitlab.com/nomadic-labs/cryptography/privacy-team/-/issues"
+depends: [
+  "dune" {>= "2.8"}
+  "ocaml" {>= "4.12.0"}
+  "hacl-star" {>= "0.4.0"}
+  "ppx_repr" {>= "0.6.0"}
+  "data-encoding"
+  "tezos-bls12-381-polynomial" {= version}
+  "tezos-plompiler" {= version}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  ["dune" "build" "-p" name "-j" jobs "@install" "@doc" {with-doc}]
+]
+dev-repo: "git+https://gitlab.com/nomadic-labs/cryptography/privacy-team.git"
+url {
+  src:
+    "https://gitlab.com/nomadic-labs/cryptography/privacy-team/-/archive/v1.0.1/privacy-team-v1.0.1.tar.gz"
+  checksum: [
+    "md5=03d6ca5fb1c6865b6628e0dd49575895"
+    "sha512=20494d1d00ded43f3625e06e037d3bad04f0a7320914b542b882d3d0293c9b02845b7ca9ee4ff0eb8ea495eff5633016861c39370cca92c12aacae0e84483ca4"
+  ]
+}