Different parameter call between verify.cpp(cloud.cpp) and tlwe.hpp(gate.hpp) causes error

[shiuannnnn]

Hello,

I'm trying to run the tutorial test but the error occurred. (the picture below shows the problem)

Does anyone know the reason for the different parameter call?

To my knowledge, lvl0param is for the LWE ciphertext and lvl1param is for the RLWE. (TBC) Besides, it seems that the Yao's Millionaires' problem in the "tutorial" is solved in gate level, so we need the gate bootstrapping like HomXOR, HomAND...

So, I'm wondering why the params declared in tlwe.hpp(gate.hpp) is lvl1param rather than lvl0param?

To fix this error, I had tried either change the related files to lvl0param or to lvl1param to make sure the dimension are same. However, the original error would fix but result in another issue.

Thanks for the reading and hope I can learn from anyone of you!