aboutsummaryrefslogtreecommitdiff
path: root/gp-scripts/firstPrice
diff options
context:
space:
mode:
Diffstat (limited to 'gp-scripts/firstPrice')
-rw-r--r--gp-scripts/firstPrice19
1 files changed, 12 insertions, 7 deletions
diff --git a/gp-scripts/firstPrice b/gp-scripts/firstPrice
index d936e36..2600e6e 100644
--- a/gp-scripts/firstPrice
+++ b/gp-scripts/firstPrice
@@ -6,9 +6,9 @@
6\\\\\\\\\\\\ 6\\\\\\\\\\\\
7 7
8\\ amount of bidders 8\\ amount of bidders
9n = 2^3 9n = 4
10\\ amount of possible prices 10\\ amount of possible prices
11k = 2^7 11k = 2^4
12\\ randomize bids (change to something static, if you like) 12\\ randomize bids (change to something static, if you like)
13bid = vector(n,i,random(k)+1) 13bid = vector(n,i,random(k)+1)
14\\bid = vector(n,i,n-i+1) \\ first bidder wins 14\\bid = vector(n,i,n-i+1) \\ first bidder wins
@@ -16,7 +16,11 @@ bid = vector(n,i,random(k)+1)
16\\bid = vector(n,i,(i+1)%2) \\ second bidder wins (with ties) 16\\bid = vector(n,i,(i+1)%2) \\ second bidder wins (with ties)
17 17
18\\ prime finite field setup (result may be ambiguous if your prime is too small, 4*n*k seems to work fine) 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) 19\\q = prime(4*n*k)
20\\ 2048bit prime:
21\\q = 31905233907400964621684499856844075173802000556075101303613351426740101897961025481077892281365444367883091980681462491724119317344478120131982416132058173572772607966572720945691237876256074322291459510766147107539260048324345382562673904236506104922357079761457605045674628331006193183908801308817507027556440703972646885207099302085383887085776295396030033300833460743425162726394704256227108175491673135830378272029374848904772902525385997099641162537271298634032011458617811670193865244028195169383991286227040469186123958053863978710424421008752927011390777187889943940479064193231486057910586526439884046593027
22\\ 3072bit prime:
23q = 5175054779340588353586849786144680366505563673837334790820581054294754700842534366479020240016540005621125885927641963390708863183739793208880756653713659686139600715884857385144475261507869935694699816011948585170171332029002674283854825650901258017026965486602158722052719421343475066067509485302858041368266332080773331946039572497794442067057597327877030322029413318847025776818839927761556478107499002213648377029201340152459685610920194363099878398871001275336711869213616313858200583491913270052111910410231060407633125816386053759634073500319223989240814564691163285769745840521560940666058800931070258886096469889796899266014106833050284032035948051974659796051419431527095503586817863043771919051402039741075037010264761045992285666560487072740505566408086913711094879155498223636912657852688296081316652278801546924079650897913388978423388839346058027184069633227966507908979049369500450630036982661231208087459099
20 24
21\\\\\\\\\\\\ 25\\\\\\\\\\\\
22\\ SETUP 26\\ SETUP
@@ -26,10 +30,11 @@ q = prime(4*n*k)
26\\p = 47 30\\p = 47
27 31
28\\ get generator / primitive element for Z_q 32\\ get generator / primitive element for Z_q
29var = 'x \\ copy pasta from internet 33\\ var = 'x \\ copy pasta from internet
30pe=ffgen(minpoly(ffprimroot(ffgen(ffinit(q,1))),var),var) \\ get primitive element 34\\ pe=ffgen(minpoly(ffprimroot(ffgen(ffinit(q,1))),var),var) \\ get primitive element
311/(fforder(pe) == q-1) \\ error out, if ord(pe) is wrong 35\\ 1/(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 36\\ g = Mod(eval(Str(pe)), q) \\ dirty hack to convert t_FFELEM to t_INT
37g = Mod(2, q)
33 38
34\\\\\\\\\\\\ 39\\\\\\\\\\\\
35\\ PROLOG 40\\ PROLOG