From f737b4d32c82f13db2eac9093958cb4214660563 Mon Sep 17 00:00:00 2001 From: Ulrik Strid Date: Tue, 20 Jun 2023 08:51:51 +0200 Subject: ocamlPackages.seqes: init at 0.2 --- pkgs/development/ocaml-modules/seqes/default.nix | 19 +++++++++++++++++++ pkgs/top-level/ocaml-packages.nix | 2 ++ 2 files changed, 21 insertions(+) create mode 100644 pkgs/development/ocaml-modules/seqes/default.nix diff --git a/pkgs/development/ocaml-modules/seqes/default.nix b/pkgs/development/ocaml-modules/seqes/default.nix new file mode 100644 index 00000000000..04bed64ac64 --- /dev/null +++ b/pkgs/development/ocaml-modules/seqes/default.nix @@ -0,0 +1,19 @@ +{ lib, fetchurl, buildDunePackage, qcheck, qcheck-alcotest, alcotest }: + +buildDunePackage rec { + pname = "seqes"; + version = "0.2"; + src = fetchurl { + url = "https://gitlab.com/nomadic-labs/seqes/-/archive/${version}/seqes-${version}.tar.gz"; + sha256 = "sha256-IxLA0jaIPdX9Zn/GL8UHDJYjA1UBW6leGbZmp64YMjI="; + }; + + checkInputs = [ qcheck qcheck-alcotest alcotest ]; + + meta = with lib; { + description = "Variations of the Seq module with monads folded into the type"; + homepage = "https://gitlab.com/nomadic-labs/seqes"; + license = licenses.lgpl2; # Same as OCaml + maintainers = [ maintainers.ulrikstrid ]; + }; +} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index d8c4a51505f..e3ca1f79c57 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1513,6 +1513,8 @@ let seq = callPackage ../development/ocaml-modules/seq { }; + seqes = callPackage ../development/ocaml-modules/seqes { }; + sha = callPackage ../development/ocaml-modules/sha { }; shared-memory-ring = callPackage ../development/ocaml-modules/shared-memory-ring { }; -- cgit 1.4.1 From cf4ce51861fe1e7bb74b74d6dfd45a57e6d63dcf Mon Sep 17 00:00:00 2001 From: Ulrik Strid Date: Tue, 20 Jun 2023 09:04:36 +0200 Subject: 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 2d5c5c27494..00000000000 --- 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 62ddb432e47..00000000000 --- 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 f9b78e11d33..00000000000 --- 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 e3ca1f79c57..207e9240b13 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 { }; -- cgit 1.4.1 From 0a705f573b7e2fa7a7d6bb0761b249d7b7711e11 Mon Sep 17 00:00:00 2001 From: Ulrik Strid Date: Tue, 20 Jun 2023 09:17:27 +0200 Subject: ocamlPackages.bls12-381: 5.0.0 -> 6.1.0 --- .../ocaml-modules/bls12-381/default.nix | 35 +++++++++++++--------- 1 file changed, 21 insertions(+), 14 deletions(-) diff --git a/pkgs/development/ocaml-modules/bls12-381/default.nix b/pkgs/development/ocaml-modules/bls12-381/default.nix index 20b2cd66a75..65b1a476f9d 100644 --- a/pkgs/development/ocaml-modules/bls12-381/default.nix +++ b/pkgs/development/ocaml-modules/bls12-381/default.nix @@ -1,40 +1,47 @@ -{ lib, buildDunePackage, fetchFromGitLab -, ff-sig, zarith +{ lib +, buildDunePackage +, fetchFromGitLab +, zarith , zarith_stubs_js ? null , integers_stubs_js -, integers, hex -, alcotest, ff-pbt +, integers +, hex +, alcotest }: buildDunePackage rec { pname = "bls12-381"; - version = "5.0.0"; + version = "6.1.0"; src = fetchFromGitLab { - owner = "dannywillems"; - repo = "ocaml-bls12-381"; + owner = "nomadic-labs"; + repo = "cryptography/ocaml-bls12-381"; rev = version; - sha256 = "sha256-Hy/I+743HSToZgGPFFiAbx7nrybHsE2PwycDsu3DuHM="; + sha256 = "sha256-z2ZSOrXgm+XjdrY91vqxXSKhA0DyJz6JkkNljDZznX8="; }; minimalOCamlVersion = "4.08"; - duneVersion = "3"; + + postPatch = '' + patchShebangs ./src/*.sh + ''; propagatedBuildInputs = [ - ff-sig zarith zarith_stubs_js integers_stubs_js - integers hex + integers ]; - checkInputs = [ alcotest ff-pbt ]; + checkInputs = [ + alcotest + ]; doCheck = true; meta = { - homepage = "https://gitlab.com/dannywillems/ocaml-bls12-381"; - description = "OCaml binding for bls12-381 from librustzcash"; + homepage = " https://nomadic-labs.gitlab.io/cryptography/ocaml-bls12-381/bls12-381/"; + description = "Implementation of BLS12-381 and some cryptographic primitives built on top of it"; license = lib.licenses.mit; maintainers = [ lib.maintainers.ulrikstrid ]; }; -- cgit 1.4.1 From 5ba6eab7c2e153f2532e4211c0b362930bc8d2dd Mon Sep 17 00:00:00 2001 From: Laurent CaniBot Date: Thu, 8 Jun 2023 14:00:16 +0000 Subject: ligo: 0.66.0 -> 0.67.1 --- pkgs/development/compilers/ligo/default.nix | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/development/compilers/ligo/default.nix b/pkgs/development/compilers/ligo/default.nix index 3240dcb3198..cc41c50e586 100644 --- a/pkgs/development/compilers/ligo/default.nix +++ b/pkgs/development/compilers/ligo/default.nix @@ -15,12 +15,12 @@ ocamlPackages.buildDunePackage rec { pname = "ligo"; - version = "0.66.0"; + version = "0.67.1"; src = fetchFromGitLab { owner = "ligolang"; repo = "ligo"; rev = version; - sha256 = "sha256-BFeNnpMT+WKqTvjVg+H2qHl5EUMcbe7xmJohbpD99gY="; + sha256 = "sha256-trLl4suIu2b+naw99Fwr+iEZrfYV3s4Sedg2lX3uUcA="; fetchSubmodules = true; }; @@ -103,8 +103,6 @@ ocamlPackages.buildDunePackage rec { # vendored tezos' deps aches aches-lwt - tezos-plonk - tezos-bls12-381-polynomial ctypes ctypes_stubs_js class_group_vdf @@ -128,6 +126,8 @@ ocamlPackages.buildDunePackage rec { pure-splitmix zarith_stubs_js simple-diff + seqes + stdint ] ++ lib.optionals stdenv.isDarwin [ darwin.apple_sdk.frameworks.Security ]; -- cgit 1.4.1 From 2278b4b61b2d5e986294d3bd370f0fc57a83d583 Mon Sep 17 00:00:00 2001 From: Ulrik Strid Date: Tue, 20 Jun 2023 09:39:08 +0200 Subject: ocamlPackages.bls12-381-hash: drop at 1.0.0 --- .../ocaml-modules/bls12-381-hash/default.nix | 27 ---------------------- pkgs/top-level/ocaml-packages.nix | 1 - 2 files changed, 28 deletions(-) delete mode 100644 pkgs/development/ocaml-modules/bls12-381-hash/default.nix diff --git a/pkgs/development/ocaml-modules/bls12-381-hash/default.nix b/pkgs/development/ocaml-modules/bls12-381-hash/default.nix deleted file mode 100644 index 1b39439c747..00000000000 --- a/pkgs/development/ocaml-modules/bls12-381-hash/default.nix +++ /dev/null @@ -1,27 +0,0 @@ -{ lib -, fetchFromGitLab -, buildDunePackage -, bls12-381 -}: - -buildDunePackage rec { - pname = "bls12-381-hash"; - version = "1.0.0"; - src = fetchFromGitLab { - owner = "nomadic-labs"; - repo = "cryptography/ocaml-bls12-381-hash"; - rev = "${version}"; - sha256 = "sha256-cfsSVmN4rbKcLcPcy6NduZktJhPXiVdK75LypmaSe9I="; - }; - - duneVersion = "3"; - - propagatedBuildInputs = [ bls12-381 ]; - - meta = { - description = "Implementation of some cryptographic hash primitives using the scalar field of BLS12-381"; - license = lib.licenses.mit; - homepage = "https://gitlab.com/nomadic-labs/privacy-team"; - maintainers = [ lib.maintainers.ulrikstrid ]; - }; -} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 207e9240b13..7f65fed8fde 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -104,7 +104,6 @@ let bls12-381 = callPackage ../development/ocaml-modules/bls12-381 { }; bls12-381-gen = callPackage ../development/ocaml-modules/bls12-381/gen.nix { }; - bls12-381-hash = callPackage ../development/ocaml-modules/bls12-381-hash { }; bls12-381-signature = callPackage ../development/ocaml-modules/bls12-381-signature { }; -- cgit 1.4.1