Bonsai only supports succinct assumption receipts

[kpp]

Summary

2025-02-04T13:59:23.867364Z ERROR panic: thread '<unnamed>' panicked at 'Proof creation must not fail: Bonsai only supports succinct assumption receipts. Use ProverOpts::succinct()when proving any assumptions.': /home/kpp/chainway/secret-sovereign-sdk/crates/prover-services/src/parallel/mod.rs:166

Steps to reproduce

Run test_light_client_proving_multiple_proofs with bonsai api key set.

Expected Result

Test passes

Actual Result

Error

Additional Information

With this patch it works

index 36a31a2b..d4296e86 100644
--- a/crates/risc0/src/host.rs
+++ b/crates/risc0/src/host.rs
@@ -165,7 +165,7 @@ impl ZkvmHost for Risc0BonsaiHost {
         tracing::info!("Starting risc0 proving");
 
         let ProveInfo { receipt, stats } =
-            prover.prove_with_opts(env, &elf, &ProverOpts::groth16())?;
+            prover.prove_with_opts(env, &elf, &ProverOpts::succinct())?;
 

[eyusufatik]

Looks like Bonsai doesn't accept groth16 assumptions. Let's find out why. If this is something that can't be provided we might need to look into ways to get bonsai receipt than wrap to snark ourselves.