Latest Valida release fails multipilication verification #1
Description
Hello.
I followed a guideline from an example here using latest release from https://github.com/lita-xyz/llvm-valida-releases , and failed to verify proof for multiplication. Addition proof verifies fine(for example, for fibonnaci numbers).
Precisely, code snippet looks as follows:
//mult.c
unsigned mult(unsigned n) {
return n*n;
}
int main () {
if (mult(2) == 4) {
return 0;
} else {
return 1;
}
}
But while trying to verify proof I receive message Proof verification failed . What can cause that?
My operating system is Ubuntu 22.04. I used valida interpreter from releases archive.