fix

Author: wjblanke

src/prover_slow.h

@@ -26,6 +26,9 @@ uint64_t GetBlock(uint64_t i, uint64_t k, uint64_t T, integer& B) {
     mpz_mul_2exp(res.impl, res.impl, k);
     res = res / B;
     auto res_vector = res.to_vector();
+    if (res_vector.size() == 0)
+        printf("ZERO! i %llu k %llu T %llu\n",i,k,T);
+        res_vector.resize(1);
     return res_vector[0];
 }
 

src/verifier_test.cpp

@@ -43,6 +43,12 @@ std::vector<uint8_t> HexToBytes(const char *hex_proof) {
 
 int main()
 {
+int l,k;
+
+ApproximateParameters(90909, l, k);
+
+cout << "l: " << l << " k: " << k << endl;
+
 
 std::vector<uint8_t> challenge_hash=HexToBytes("a6c42558174fb1eedc64");
 std::vector<uint8_t> x_s=HexToBytes("0300aca4849458af5c557710c80f21519f196907764d2d55c9b70581a90d49ca7b3201ad6a9da836429e6592c200e965434f0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000");