valida varify fails

[polasekr]

I am running a release v0.3.0-alpha and I am able to generate a proof but I am not able to verify it.

./valida prove sha256_32byte_in proof

Proof successful

./valida verify sha256_32byte_in proof

thread 'main' panicked at /home/runner/actions-runner/_work/llvm-valida/llvm-valida/valida/basic/src/lib.rs:1022:10:
Failed to verify constraints on chip 0: OodEvaluationMismatch
note: run with RUST_BACKTRACE=1 environment variable to display a backtrace

[en-tropyc]

Hey @morganthomas , kindly bumping this. Is this a known issue?

[morganthomas]

Hi, thanks for the bug report. This is a known issue. It should be fixed in a release, this upcoming one or the next one after that.