Displaying 1 result from an estimated 1 matches for "_t_1".
Did you mean:
__1
2012 Mar 02
0
[LLVMdev] General modular and multiprecision arithmetic
...ld 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
approach I've used so far was to have ext...