Java binding test file

This commit is contained in:
Mikaël Ates 2010-12-14 16:25:03 +01:00
parent eb315b32cb
commit 0d6985c7e9
1 changed files with 97 additions and 13 deletions

View File

@ -3,23 +3,107 @@ import com.entrouvert.cryptic.*;
class Myclass{
public static void main(String[] arg){
//System.out.println(System.getProperty("java.library.path"));
Clsig c = new Clsig(1024,80,300,0,0,0,5);
c.generateParameters();
System.out.println("e: " + c.getExponent());
System.out.println("\n\t############## JAVA TESTS ##############\n");
test_1();
test_2();
}
private static void test_1(){
System.out.println("\n\t############## TEST 1 ##############\n");
String[] quantities = { "1234567890c", "1234567890b", "1234567890a", };
System.out.println("Group generation...");
PrimeOrderGroup g = new PrimeOrderGroup(256);
g.moreBases(5);
System.out.println("nbbases: " + g.getnbBases());
// String[] bases = (String[])g.getbases();
// System.out.println("bases[1]: " + bases[1]);
System.out.println("Group generation successful.");
System.out.println("Prover: DLREP to prove generation...");
String dlrep = CrypticJNI.get_dlrep(3,quantities,g.getbases(),g.getp());
System.out.println("Prover: Proof round1");
ZkpkSchnorr s = new ZkpkSchnorr(g.getbases(),3,g.getp());
s.round1();
String[] quantities = { "1234567890c", "1234567890b", "1234567890a", };
s.round2(g.getorder(),"121212121212121212121212121",quantities);
// String dlrep = cryptic.getDlrep(3,(q1,q2,q3),g.bases,g.p);
// s2 = cryptic.ZkpkSchnorr(g.bases,3,g.p);
// int rc = s2.verifyInteractiveProof(dlrep,s.commitment,"1234567890",s.responses)
// System.out.println("proof: " + rc);
}
System.out.println("Prover: Send DLREP: " + dlrep);
System.out.println("Prover: Send commitments.");
String challenge = CrypticJNI.ret_random(80);
System.out.println("Verifier: Send challenge: " + challenge);
System.out.println("Prover: Proof round2");
s.round2(g.getorder(),challenge,quantities);
System.out.println("Prover: Send responses.");
ZkpkSchnorr s2 = new ZkpkSchnorr(g.getbases(),3,g.getp());
int rc = s2.verifyInteractiveProof(dlrep,s.getcommitment(),challenge,s.getresponses());
System.out.println("Verifier: Proof verification: " + rc);
}
private static void test_2(){
System.out.println("\n\t############## TEST 2 ##############\n");
System.out.println("Clsig server generation...");
Clsig c = new Clsig(1024,256,600,0,0,0,10);
c.generateParameters();
System.out.println("Clsig server generated.");
Clsig c2;
c2 = Clsig.newLoadPublicParameters(c.getz(),c.gets(),10,c.getbases(),c.getlgQuantities(),c.getlgExponent(),c.getmodulus(),c.getlgSecParam(),c.getlgZkSecParam(),c.getlgClsigSecParam());
//Clsig c2 = new Clsig(c.getz(),c.gets(),10,c.getbases(),c.getlgQuantities(),c.getlgExponent(),c.getmodulus(),c.getlgSecParam(),c.getlgZkSecParam(),c.getlgClsigSecParam());
String qa = CrypticJNI.char_to_bn("Kirk");
String qb = CrypticJNI.char_to_bn("Captain");
String[] tab_q = {qa, qb};
CommitDataStore pdc = new CommitDataStore();
String[] tab_b = {(String)c2.getbases()[1],(String)c2.getbases()[5]};
c2.computeCommittedValue(pdc,tab_b,tab_q,2);
/*q1 = cryptic.charToBn("Mik")
q2 = cryptic.charToBn("Ates")
q3 = cryptic.charToBn("Clermont-Fd")
q4 = cryptic.intToBn(1982280100)
c.computeDlrepByIndex((q1,q2,q3,q4),(0,2,3,4),4)
c.signWithCommittedValue(pdc.dlrep)
c.verifySignatureNotRandomized()
c2.loadCertificateWithIndexWithCommittedValue(c.a,c.e,c.v,c.quantities,4,(qa,qb),2,pdc.dlrep,pdc.vprime,(0,2,3,4))
c2.randomizeSignature()
c2.verifySignatureRandomized()
dlrep = c2.buildDlrepBeforeProving((1,),(2,),1)
fixed_add_size = c2.lgZkSecParam + c2.lgQuantities
r0 = cryptic.retRandom(c2.intervalExponent + fixed_add_size)
r1 = cryptic.retRandom(c2.lgBlind + fixed_add_size)
r2 = cryptic.retRandom(c2.lgQuantities + fixed_add_size)
r3 = cryptic.retRandom(c2.lgQuantities + fixed_add_size)
r4 = cryptic.retRandom(c2.lgQuantities + fixed_add_size)
r5 = cryptic.retRandom(c2.lgQuantities + fixed_add_size)
r6 = cryptic.retRandom(c2.lgQuantities + fixed_add_size)
s = cryptic.ZkpkSchnorr((c2.aRand,c2.s,c2.bases[0],c2.bases[3],c2.bases[4],c2.bases[1],c2.bases[5]),7,c2.modulus)
s.round1RandomsChosen((r0,r1,r2,r3,r4,r5,r6))
pr = cryptic.ProofrangeQrg(c2.s,c2.z,c2.modulus)
b = cryptic.intToBn(1992040400)
pr.round1(cryptic.PROOF_RANGE_LT,q4,b,s.randoms[4],c2.lgSecParam,c2.lgZkSecParam,256)
h = cryptic.HashForNiProofs(256)
h.addProof(s,dlrep)
h.addProofrangeProver(pr)
h.computeHash()
s.round2WithoutOrder(h.hValue,(c2.eCorrected,c2.vRand,q1,q3,q4,qa,qb))
pr.round2(h.hValue)
c3 = cryptic.Clsig.newLoadPublicParameters(c.z,c.s,10,c.bases,c.lgQuantities,c.lgExponent,c.modulus,c.lgSecParam,c.lgZkSecParam,c.lgClsigSecParam)
s2 = cryptic.ZkpkSchnorr((c2.aRand,c3.s,c3.bases[0],c3.bases[3],c3.bases[4],c2.bases[1],c2.bases[5]),7,c3.modulus)
s2.verifyNoninteractiveProof(dlrep,h.hValue,s.responses)
pr2 = cryptic.ProofrangeQrg(c3.s,c3.z,c3.modulus)
pr2.verifyNoninteractiveProof(cryptic.PROOF_RANGE_LT,b,pr.dlreps,h.hValue,pr.responses)
h2 = cryptic.HashForNiProofs(256)
h2.addProof(s2,dlrep)
h2.addProofrangeVerifier(pr2,pr.dlreps)
h2.computeHash()
cryptic.cmpBn(h.hValue,h2.hValue)*/
}
}