Panagram Test keeps failing with Incorrect Proof Length

[Napcalx]

Ive completed the generateProof, Panagram test and Panagram contract but when i run the forge test command to test that everything works well I keep getting the error ProofLengthWrong causing alll my test to fail here is a view into it

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment. 

[⠊] Compiling...
No files changed, compilation skipped

Ran 6 tests for test/Panagram.t.sol:PanagramTest
[FAIL: ProofLengthWrong()] testCorrectGuessesPasses() (gas: 989175)
[FAIL: Error != expected error: ProofLengthWrong() != Panagram__IncorrectGuess()] testIncorrectGuessFails() (gas: 61380)
[FAIL: ProofLengthWrong()] testSecondGuessPasses() (gas: 60991)
[FAIL: ProofLengthWrong()] testSecondWinnerPasses() (gas: 989173)
[FAIL: ProofLengthWrong()] testStartNewRound() (gas: 989174)
[FAIL: Panagram__NoRoundWinner()] testStartSecondRound() (gas: 15958)
Suite result: FAILED. 0 passed; 6 failed; 0 skipped; finished in 33.06s (34.58s CPU time)

Ran 1 test suite in 33.06s (33.06s CPU time): 0 tests passed, 6 failed, 0 skipped (6 total tests)

Failing tests:
Encountered 6 failing tests in test/Panagram.t.sol:PanagramTest
[FAIL: ProofLengthWrong()] testCorrectGuessesPasses() (gas: 989175)
[FAIL: Error != expected error: ProofLengthWrong() != Panagram__IncorrectGuess()] testIncorrectGuessFails() (gas: 61380)
[FAIL: ProofLengthWrong()] testSecondGuessPasses() (gas: 60991)
[FAIL: ProofLengthWrong()] testSecondWinnerPasses() (gas: 989173)
[FAIL: ProofLengthWrong()] testStartNewRound() (gas: 989174)
[FAIL: Panagram__NoRoundWinner()] testStartSecondRound() (gas: 15958)

Encountered a total of 6 failing tests, 0 tests succeeded
                                                                           ``` 

decided to try adding the verbose command to get a slightly better understanding 
``` forge test -v 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment. 

[⠊] Compiling...
No files changed, compilation skipped

Ran 6 tests for test/Panagram.t.sol:PanagramTest
[FAIL: ProofLengthWrong()] testCorrectGuessesPasses() (gas: 989175)
[FAIL: Error != expected error: ProofLengthWrong() != Panagram__IncorrectGuess()] testIncorrectGuessFails() (gas: 61380)
[FAIL: ProofLengthWrong()] testSecondGuessPasses() (gas: 60991)
[FAIL: ProofLengthWrong()] testSecondWinnerPasses() (gas: 989173)
[FAIL: ProofLengthWrong()] testStartNewRound() (gas: 989174)
[FAIL: Panagram__NoRoundWinner()] testStartSecondRound() (gas: 15958)
Suite result: FAILED. 0 passed; 6 failed; 0 skipped; finished in 33.83s (36.08s CPU time)

Ran 1 test suite in 33.83s (33.83s CPU time): 0 tests passed, 6 failed, 0 skipped (6 total tests)

Failing tests:
Encountered 6 failing tests in test/Panagram.t.sol:PanagramTest
[FAIL: ProofLengthWrong()] testCorrectGuessesPasses() (gas: 989175)
[FAIL: Error != expected error: ProofLengthWrong() != Panagram__IncorrectGuess()] testIncorrectGuessFails() (gas: 61380)
[FAIL: ProofLengthWrong()] testSecondGuessPasses() (gas: 60991)
[FAIL: ProofLengthWrong()] testSecondWinnerPasses() (gas: 989173)
[FAIL: ProofLengthWrong()] testStartNewRound() (gas: 989174)
[FAIL: Panagram__NoRoundWinner()] testStartSecondRound() (gas: 15958)

Encountered a total of 6 failing tests, 0 tests succeeded ```. if i add any more v's it would be unreadable here 

[s3bc40]

I little bit late but if someone encounter this error.

It seems it was linked to the bb.generateProof in my TS script:

- const { proof } = await backend.generateProof(witness, { keccak: true });
+ const { proof } = await backend.generateProof(witness, { keccakZK: true });

I modified few things to understand what was going on ran these command just in case:

# after cleaning /target
nargo compile
bb write_vk --oracle_hash keccak -b ./target/zk_panagram.json -o ./target/
bb write_solidity_verifier -k ./target/vk -o ../contracts/src/Verifier.sol -s ultra_honk # not sure for -s arg but i tried things

After this I managed to compile and pass the tests.

[iHarishKumar]

I was able to get away with the error that was reported here with the suggested steps.
However, I am stuck with other error now

[⠊] Compiling...
No files changed, compilation skipped

Ran 1 test for test/Mixer.t.sol:MixerTest
[FAIL: SumcheckFailed()] testMakeWithdrawal() (gas: 6759287)
Suite result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 49.24s (49.24s CPU time)

Ran 1 test suite in 49.25s (49.24s CPU time): 0 tests passed, 1 failed, 0 skipped (1 total tests)

Failing tests:
Encountered 1 failing test in test/Mixer.t.sol:MixerTest
[FAIL: SumcheckFailed()] testMakeWithdrawal() (gas: 6759287)

Encountered a total of 1 failing tests, 0 tests succeeded

If anyone know how to get around this error, would be really helpful. I get this error in both the Panagram and Mixer examples.

[jistro]

IDK what version of Noir and Barretenberg you have but if you change to that version

> bb --version
0.82.2

> nargo --version
nargo version = 1.0.0-beta.3
noirc version = 1.0.0-beta.3+ceaa1986628197bd1170147f6a07f0f98d21030a
(git version hash: ceaa1986628197bd1170147f6a07f0f98d21030a, is dirty: false)

with this library version

"dependencies": {
    "@aztec/bb.js": "0.82.0",
    "@noir-lang/noir_js": "1.0.0-beta.3"
}

it works perfectly