database now ok

elibensasson · May 25, 2018 · ff6c4ba · ff6c4ba
1 parent 73469b6
commit ff6c4ba
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/examples-dpm/fp_no_match.txt b/examples-dpm/fp_no_match.txt
@@ -1 +1 @@
-00.00 11.11 22.22 33.33 44.44 55.55 66.66 77.77 de.ad be.ef 21.3d dc.87 70.e9 3e.a1 41.e1 fc.67 3e.01 7e.97 ea.dc 6b.96
+84.67 53.39 16.87 58.70 ad.72 ab.c2 d6.c8 2b.50 de.c6 c2.f5 d0.d8 da.d5 23.78 0.ca 7c.d4 fe.8e 94.e1 29.dc 2d.c6 86.c2
diff --git a/starkdpm/main.cpp b/starkdpm/main.cpp
@@ -3,6 +3,7 @@
 #include <string>
 #include <regex>
 #include <protocols/protocol.hpp>
+//#include <languages/Bair/BairWitnessChecker.hpp>
 #include "AES160hashcLOCI.hpp"
 
 using namespace stark_dpm;
@@ -38,9 +39,10 @@ void execute(const fingerprint_t& fprint,const database_t& db, const unsigned in
 
     std::vector<std::vector<Algebra::FieldElement>> hashC;
     std::vector<Algebra::FieldElement> Result = AES160hashcLOCI::genHashchain(hashC, db);
-    AES160hashcLOCI::evalp::setParams(Result, Algebra::power(xFE(), params.length), 1234); //TODO: seed arg instead of 1234 for randcoeffs
+    AES160hashcLOCI::evalp::setParams(Result, Algebra::power(xFE(), 1+params.length), 1234); //TODO: seed arg instead of 1234 for randcoeffs
     libstark::BairWitness bair_witness = buildBairWitness(params, hashC, fprint);
 
+    //std::cout << libstark::BairWitnessChecker::verify(bair_instance, bair_witness) << std::endl;
     libstark::Protocols::executeProtocol(bair_instance, bair_witness,securityParameter,false,false,true);
 }