aboutsummaryrefslogtreecommitdiff
path: root/gp-scripts
diff options
context:
space:
mode:
authorMarkus Teich <markus.teich@stusta.mhn.de>2016-06-08 13:04:53 +0200
committerMarkus Teich <markus.teich@stusta.mhn.de>2016-06-08 13:04:53 +0200
commit8cf93a6c188d6a726bce46aa987c11611cf2baac (patch)
tree8272a5421243961f4fd73cd6915f500aa25c502c /gp-scripts
parent885b37bac1856c25d781b94eac88c03aef4e4a2b (diff)
downloadlibbrandt-8cf93a6c188d6a726bce46aa987c11611cf2baac.tar.gz
libbrandt-8cf93a6c188d6a726bce46aa987c11611cf2baac.zip
cleanup gp scripts
Diffstat (limited to 'gp-scripts')
-rw-r--r--gp-scripts/firstPrice91
-rw-r--r--gp-scripts/smc.gp35
2 files changed, 126 insertions, 0 deletions
diff --git a/gp-scripts/firstPrice b/gp-scripts/firstPrice
new file mode 100644
index 0000000..d936e36
--- /dev/null
+++ b/gp-scripts/firstPrice
@@ -0,0 +1,91 @@
1\\ From: "How to obtain full privacy in auctions" (2006) by Felix Brandt pages 19-20
2
3
4\\\\\\\\\\\\
5\\ Adapt the following values to your needs
6\\\\\\\\\\\\
7
8\\ amount of bidders
9n = 2^3
10\\ amount of possible prices
11k = 2^7
12\\ randomize bids (change to something static, if you like)
13bid = vector(n,i,random(k)+1)
14\\bid = vector(n,i,n-i+1) \\ first bidder wins
15\\bid = vector(n,i,i) \\ last bidder wins
16\\bid = vector(n,i,(i+1)%2) \\ second bidder wins (with ties)
17
18\\ prime finite field setup (result may be ambiguous if your prime is too small, 4*n*k seems to work fine)
19q = prime(4*n*k)
20
21\\\\\\\\\\\\
22\\ SETUP
23\\\\\\\\\\\\
24
25\\ p not needed? wat?
26\\p = 47
27
28\\ get generator / primitive element for Z_q
29var = 'x \\ copy pasta from internet
30pe=ffgen(minpoly(ffprimroot(ffgen(ffinit(q,1))),var),var) \\ get primitive element
311/(fforder(pe) == q-1) \\ error out, if ord(pe) is wrong
32g = Mod(eval(Str(pe)), q) \\ dirty hack to convert t_FFELEM to t_INT
33
34\\\\\\\\\\\\
35\\ PROLOG
36\\\\\\\\\\\\
37
38\\ private keys of agents
39x = vector(n,i,random(q))
40\\ public keyshares of agents
41yshares = vector(n,i,g^x[i])
42\\ shared public key
43y = prod(X=1,n,yshares[X])
44
45\\ first index level = owning agent id (additive share)
46\\ second index level = agent id, price id
47m = vector(n,i,matrix(n,k,a,b,random(q)))
48
49\\ index = owning agent id, price id
50r = matrix(n,k,i,j,random(q))
51\\ bid matrix
52b = matrix(n,k,i,j,g^(bid[i]==j))
53
54\\\\\\\\\\\\
55\\ ROUND1
56\\\\\\\\\\\\
57
58\\ encrypted bids
59alpha = matrix(n,k,i,j, b[i,j]*y^r[i,j])
60beta = matrix(n,k,i,j, g^r[i,j])
61
62\\\\\\\\\\\\
63\\ ROUND2
64\\\\\\\\\\\\
65
66\\ multiplicative shares
67\\ first index level = owning agent id (multiplicative share)
68\\ second index level = agent id, price id
69Gamma = vector(n,a,matrix(n,k,i,j, ( prod(h=1,n,prod(d=j+1,k,alpha[h,d])) * prod(d=1,j-1,alpha[i,d]) * prod(h=1,i-1,alpha[h,j]) )^m[a][i,j] ))
70Delta = vector(n,a,matrix(n,k,i,j, ( prod(h=1,n,prod(d=j+1,k, beta[h,d])) * prod(d=1,j-1, beta[i,d]) * prod(h=1,i-1, beta[h,j]) )^m[a][i,j] ))
71
72\\\\\\\\\\\\
73\\ ROUND3
74\\\\\\\\\\\\
75
76\\ multiplicative shares (decryption)
77\\ first index level = owning agent id (multiplicative share)
78\\ second index level = agent id, price id
79Phi = vector(n,a,matrix(n,k,i,j, prod(h=1,n,Delta[h][i,j])^x[a] ))
80
81\\\\\\\\\\\\
82\\ EPILOG
83\\\\\\\\\\\\
84
85\\ winner matrix
86v = matrix(n,k,a,j, prod(i=1,n,Gamma[i][a,j]) / prod(i=1,n,Phi[i][a,j]) )
87
88vi = lift(v)
89
90print("bids are: ", bid)
91for(X=1,n, if(vecmin(vi[X,])==1, print("And the winner is ", X) ))
diff --git a/gp-scripts/smc.gp b/gp-scripts/smc.gp
new file mode 100644
index 0000000..2b7e188
--- /dev/null
+++ b/gp-scripts/smc.gp
@@ -0,0 +1,35 @@
1/* search for a random prime with the specified amount of bits */
2\\ randomprime(bits:small=127)=
3\\ {
4\\ local(r:int=4);
5\\ while(!isprime(r),
6\\ r = bitor(2^(bits-1) + random(2^(bits-1)-1), 1);
7\\ );
8\\ r;
9\\ }
10
11smc_hextodec(s:str) =
12{
13 local(v:vecsmall = Vecsmall(s), ret:int = 0);
14 for(i = 1, #v,
15 ret = (ret<<4) + if(v[i]<=57 && v[i]>=48, v[i]-48, v[i]<=70 && v[i]>=65, v[i]-55, v[i]<=102 && v[i]>=97, v[i]-87, error("invalid input format"))
16 );
17 ret;
18}
19
20smc_genbid(k:small, bid:small, g)=
21{
22 vector(k,j,g^(bid==j));
23}
24
25smc_genalpha(k:small, b:vec, r:vec, y)=
26{
27 vector(k, j, b[j]*y^r[j]);
28}
29
30smc_genbeta(k:small, r:vec, g)=
31{
32 vector(k, j, g^r[j]);
33}
34
35