b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Merge pull request #236659 from ligolang/ligo--0_67_1

Browse source 
ligo: 0.66.0 -> 0.67.1
This commit is contained in:
Ulrik Strid 2023-06-20 14:03:59 +02:00 committed by GitHub
parent 50847470ba 2278b4b61b
commit 83fe300f2b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
8 changed files with 46 additions and 168 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
pkgs/development/compilers/ligo/default.nix
View file

@ -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
];

27
pkgs/development/ocaml-modules/bls12-381-hash/default.nix
View file

@ -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 ];
};
}

35
pkgs/development/ocaml-modules/bls12-381/default.nix
View file

@ -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 ];
};

19
pkgs/development/ocaml-modules/seqes/default.nix Normal file
View file

@ -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 ];
};
}

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

@ -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 ];
};
}

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

@ -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";
};
}

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

@ -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";
};
}

9
pkgs/top-level/ocaml-packages.nix
View file

@ -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 { };
@ -1524,6 +1523,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 { };
@ -1600,12 +1601,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 { };