You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm trying to verify Sandstorm proofs with Stone prover to validate that they are compatible. For the same program and layout they seem to be quite different in size, and not really similar. Maybe some parameter is wrong.
I'm trying to verify Sandstorm proofs with Stone prover to validate that they are compatible. For the same program and layout they seem to be quite different in size, and not really similar. Maybe some parameter is wrong.
I've tried with the following ones:
Layout: recursive
And in sandstorm I'm using:
The text was updated successfully, but these errors were encountered: