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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
require "formula"
class Pbc < Formula
homepage "http://crypto.stanford.edu/pbc/"
url "http://crypto.stanford.edu/pbc/files/pbc-0.5.14.tar.gz"
sha1 "8947f1a5a32d5c2d1f5113ccbb1e0d25ca5ce1c9"
head "http://repo.or.cz/r/pbc.git"
bottle do
cellar :any
sha1 "57180c03e2d82474c205d60783f5c657de8f5bd5" => :yosemite
sha1 "9519b2e974ff93fb7e33ff776c008a3a0083d70b" => :mavericks
sha1 "2a3e05bc353b12436aad2ad6fdd67224651e6e44" => :mountain_lion
end
depends_on "gmp"
def install
system "./configure", "--disable-dependency-tracking",
"--prefix=#{prefix}"
system "make", "install"
end
test do
(testpath/"test.c").write <<-EOS.undent
#include <pbc/pbc.h>
#include <assert.h>
int main()
{
pbc_param_t param;
pairing_t pairing;
element_t g1, g2, gt1, gt2, gt3, a, g1a;
pbc_param_init_a_gen(param, 160, 512);
pairing_init_pbc_param(pairing, param);
element_init_G1(g1, pairing);
element_init_G2(g2, pairing);
element_init_G1(g1a, pairing);
element_init_GT(gt1, pairing);
element_init_GT(gt2, pairing);
element_init_GT(gt3, pairing);
element_init_Zr(a, pairing);
element_random(g1); element_random(g2); element_random(a);
element_pairing(gt1, g1, g2); // gt1 = e(g1, g2)
element_pow_zn(g1a, g1, a); // g1a = g1^a
element_pow_zn(gt2, gt1, a); // gt2 = gt1^a = e(g1, g2)^a
element_pairing(gt3, g1a, g2); // gt3 = e(g1a, g2) = e(g1^a, g2)
assert(element_cmp(gt2, gt3) == 0); // assert gt2 == gt3
pairing_clear(pairing);
element_clear(g1); element_clear(g2); element_clear(gt1);
element_clear(gt2); element_clear(gt3); element_clear(a);
element_clear(g1a);
return 0;
}
EOS
system ENV.cc, "test.c", "-lgmp", "-lpbc", "-o", "test"
system "./test"
end
end
|
