Recursive proof verification fails

[Dimo99]

I am trying to run the tool. And I successfully verified some proofs. But whenever I try to verify a recursive plonky2 proof I get circuit was not satisfied errors.

[DoHoonKim8]

Hi! Where can I replicate you issue?

[Dimo99]

@DoHoonKim8
Well actually even if I just try to run cargo test --release on the current project with no changes the test_semaphore_aggregation which is recursive fails for me.

But I have also played a bit with the project
I have done some quick changes and added some new gates and tried to update the plonky2 version used to the most recent one and it works with the other test except for the test_semaphore_aggregation which uses recursion. I have commited and opened a WIP pull request so you can access my changes more easily #7
If I try to run the bin/test for a proof that is not verifying a recursive proof runs but whenever I try to run it with recursive proof it fails.
I have tried to investigate it more but I don't know what could be the cause of this.

[DoHoonKim8]

Ah okay. Let me diagnose the problem ;)

[Dimo99]

@DoHoonKim8 Did you manage to find the issue?