Potentially misleading warning on macOS: "Not all proofs were read. Proving will fail during recursion."

[liuchengxu]

Component

sp1-sdk

Have you ensured that all of these are up to date?

• [ ] SP1 SDK
• [ ] cargo prove CLI/sp1up

What version of SP1 SDK are you on?

No response

What version of the cargo prove CLI are you on?

No response

Operating System

macOS (Apple Silicon)

Describe the bug

I encountered the following recurring warning Not all proofs were read. when generating an aggregation proof. However, despite the warning, the proof was successfully generated and verified later.

I patched the sp1 to also print the info self.state.proof_stream_ptr=1 proof_stream_len=0, it seems that the proof stream read is somehow incomplete.

2025-05-12T12:17:02.325522Z  WARN prove_core: sp1_core_executor::executor: Not all proofs were read. Proving will fail during recursion. Did you pass too
        many proofs in or forget to call verify_sp1_proof? self.state.proof_stream_ptr=1 proof_stream_len=0
2025-05-12T12:20:48.885794Z  WARN prove_core: sp1_core_executor::executor: Not all proofs were read. Proving will fail during recursion. Did you pass too
        many proofs in or forget to call verify_sp1_proof? self.state.proof_stream_ptr=1 proof_stream_len=0

This warning does not appear on Ubuntu.

Let me know if logs or minimal repro code would help. Happy to provide more info.

[leruaa]

Thanks for opening this issue! Yes, I would appreciate a minimal repro.

[Kalpazanova53]

Hi I can take this issue. Let me know if you'd be open to a contribution on this.

[liuchengxu]

Here is the repo to reproduce this issue, the command is in the README.md