chunker::chunk_hinted_accumulator::test::test_verify_accumulator
bitvm/src/chunker/chunk_hinted_accumulator.rs:362:13: assertion [1] == [] failed: verify_f

chunker::chunk_scalar_mul::tests::test_stable_script
bitvm/src/chunker/assigner.rs:53:13: variable name is repeated, check init

signatures::winternitz::test::test_winternitz_with_actual_message_success
bitvm/src/signatures/winternitz.rs:798:9: assertion failed: result.success

bn254::pairing::test::test_quad_miller_loop_with_c_wi
bitvm/src/lib.rs:244:5: assertion failed: exec_result.success

bn254::pairing::test::test_hinted_quad_miller_loop_with_c_wi
bitvm/src/bn254/pairing.rs:1506:9: assertion failed: exec_result.success

groth16::test::test_groth16_verifier
bitvm/src/groth16/test.rs:237:5: assertion failed: exec_result.success