Code runs but seems not to verify

[tyshko-rostyslav]

I;m trying to proof and verify some basic code.

When running

valida prove target/delendum-unknown-baremetal-gnu/debug/fibonacci log

I get expected

But when trying to run

valida verify target/delendum-unknown-baremetal-gnu/debug/fibonacci log

in an attempt to verify I'm getting an error

Please enter a number from 0 to 46: 6 6 -th fibonacci number is: 8 Proof successful

thread 'main' panicked at basic/src/lib.rs:1049:29: Failed to verify constraints on chip 0 note: run with RUST_BACKTRACE=1 environment variable to display a backtrace

What could be an issue?

[morganthomas]

Hi @tyshko-rostyslav . This is a result of our prover / verifier pair being incomplete. We expect that by our 10 Nov release, this issue should be resolved. For that release, we expect that Valida should be able to verify any proofs that it produces.