blob: c602e8a3b0e2e865e18fe97441a8942b3e5807cc (
plain) (
blame)
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
];
nativeCheckInputs = [ alcotest qcheck-alcotest bisect_ppx ];
doCheck = false; # broken
meta = tezos-bls12-381-polynomial.meta // {
description = "Plonk zero-knowledge proving system";
};
}
|