search

lita-xyz / valida-releases

Public releases for the Valida toolchain
6 stars 2 forks source link

Latest Valida release fails multipilication verification #1

Open Pravdyvy opened 3 months ago

Pravdyvy commented 3 months ago

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.

morganthomas commented 3 months ago

Hi @Pravdyvy ! I was able to reproduce this issue. Thanks for the bug report! We will get this resolved for the Valida MVP.

morganthomas commented 1 week ago

I believe this is fixed as of the latest release. Does it work for you, @Pravdyvy ?

Pravdyvy commented 6 days ago

Yes, it works now.