From cf4ce51861fe1e7bb74b74d6dfd45a57e6d63dcf Mon Sep 17 00:00:00 2001 From: Ulrik Strid Date: Tue, 20 Jun 2023 09:04:36 +0200 Subject: [PATCH] ocamlPackages.tezos-bls12-381-polynomial: drop at 1.0.1 --- .../tezos-bls12-381-polynomial/default.nix | 37 ---------------- .../tezos-bls12-381-polynomial/plompiler.nix | 44 ------------------- .../tezos-bls12-381-polynomial/plonk.nix | 35 --------------- pkgs/top-level/ocaml-packages.nix | 6 --- 4 files changed, 122 deletions(-) delete mode 100644 pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/default.nix delete mode 100644 pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/plompiler.nix delete mode 100644 pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/plonk.nix diff --git a/pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/default.nix b/pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/default.nix deleted file mode 100644 index 2d5c5c27494b..000000000000 --- a/pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/default.nix +++ /dev/null @@ -1,37 +0,0 @@ -{ lib -, fetchFromGitLab -, buildDunePackage -, bls12-381 -, data-encoding -, bigstringaf -, alcotest -, alcotest-lwt -, bisect_ppx -, qcheck-alcotest -, ppx_repr -}: - -buildDunePackage rec { - pname = "tezos-bls12-381-polynomial"; - version = "1.0.1"; - duneVersion = "3"; - src = fetchFromGitLab { - owner = "nomadic-labs/cryptography"; - repo = "privacy-team"; - rev = "v${version}"; - sha256 = "sha256-5qDa/fQoTypjaceQ0MBzt0rM+0hSJcpGlXMGAZKRboo="; - }; - - propagatedBuildInputs = [ ppx_repr bls12-381 data-encoding bigstringaf ]; - - checkInputs = [ alcotest alcotest-lwt bisect_ppx qcheck-alcotest ]; - - doCheck = false; # circular dependencies - - meta = { - description = "Polynomials over BLS12-381 finite field"; - license = lib.licenses.mit; - homepage = "https://gitlab.com/nomadic-labs/privacy-team"; - maintainers = [ lib.maintainers.ulrikstrid ]; - }; -} diff --git a/pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/plompiler.nix b/pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/plompiler.nix deleted file mode 100644 index 62ddb432e47f..000000000000 --- a/pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/plompiler.nix +++ /dev/null @@ -1,44 +0,0 @@ -{ lib -, buildDunePackage -, hacl-star -, bls12-381 -, bls12-381-hash -, tezos-bls12-381-polynomial -, polynomial -, data-encoding -, hex -, stdint -, ff -, mec -, alcotest -, qcheck-alcotest -, bisect_ppx -}: - -buildDunePackage rec { - pname = "tezos-plompiler"; - duneVersion = "3"; - - inherit (tezos-bls12-381-polynomial) version src; - - propagatedBuildInputs = [ - hacl-star - bls12-381 - bls12-381-hash - tezos-bls12-381-polynomial - data-encoding - hex - stdint - ff - mec - polynomial - ]; - - checkInputs = [ alcotest qcheck-alcotest bisect_ppx ]; - - doCheck = false; # circular deps - - meta = tezos-bls12-381-polynomial.meta // { - description = "Library to write arithmetic circuits for Plonk"; - }; -} diff --git a/pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/plonk.nix b/pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/plonk.nix deleted file mode 100644 index f9b78e11d332..000000000000 --- a/pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/plonk.nix +++ /dev/null @@ -1,35 +0,0 @@ -{ lib -, buildDunePackage -, hacl-star -, bls12-381 -, tezos-bls12-381-polynomial -, data-encoding -, tezos-plompiler -, alcotest -, qcheck-alcotest -, bisect_ppx -, -}: - -buildDunePackage rec { - pname = "tezos-plonk"; - duneVersion = "3"; - - inherit (tezos-bls12-381-polynomial) version src; - - propagatedBuildInputs = [ - hacl-star - bls12-381 - tezos-bls12-381-polynomial - data-encoding - tezos-plompiler - ]; - - checkInputs = [ alcotest qcheck-alcotest bisect_ppx ]; - - doCheck = false; # broken - - meta = tezos-bls12-381-polynomial.meta // { - description = "Plonk zero-knowledge proving system"; - }; -} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index e3ca1f79c57b..207e9240b131 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1591,12 +1591,6 @@ let tezos-base58 = callPackage ../development/ocaml-modules/tezos-base58 { }; - tezos-bls12-381-polynomial = callPackage ../development/ocaml-modules/tezos-bls12-381-polynomial { }; - - tezos-plompiler = callPackage ../development/ocaml-modules/tezos-bls12-381-polynomial/plompiler.nix { }; - - tezos-plonk = callPackage ../development/ocaml-modules/tezos-bls12-381-polynomial/plonk.nix { }; - theora = callPackage ../development/ocaml-modules/theora { }; timed = callPackage ../development/ocaml-modules/timed { };