search for: round0

Displaying 1 result from an estimated 1 matches for "round0".

Did you mean: round
2012 Mar 02
0
[LLVMdev] General modular and multiprecision arithmetic
...mentation language in which these protocols should be implemented. Here's an excerpt from a simple sample of it: Common ( Z SZKParameter = 80; Prime(1024) p = 17; Prime(160) q = 1; Zmod*(p) y = 1, g=3 ) { } Prover(Zmod+(q) x) { Zmod+(q) _s_1=1, _r_1=4; Def (Void): Round0(Void) { } Def (Zmod*(p) _t_1): Round1(Void) { _r_1 := Random(Zmod+(q)); _t_1 := (g^_r_1); } Def (_s_1): Round2(_C=Int(80) _c) { _s_1 := (_r_1+(x*_c)); } } I have already written a parser and an LLVM front-end for it. The...