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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

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