Commit cf4ce518 authored by Ulrik Strid's avatar Ulrik Strid
Browse files

ocamlPackages.tezos-bls12-381-polynomial: drop at 1.0.1

parent f737b4d3

pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/default.nix

deleted100644 → 0
+0 −37
Original line number Diff line number Diff line 
{ 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 ];

  };

}

pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/plompiler.nix

deleted100644 → 0
+0 −44
Original line number Diff line number Diff line 
{ 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";

  };

}

pkgs/development/ocaml-modules/tezos-bls12-381-polynomial/plonk.nix

deleted100644 → 0
+0 −35
Original line number Diff line number Diff line 
{ 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";

  };

}

pkgs/top-level/ocaml-packages.nix

+0 −6
Original line number Diff line number Diff line
@@ -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 { };