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
ceno::commit (from #881) are kind of application side constrain and only check when pc navigate through this call. However a malicious prover might be able to bypass the control flow by carefully early terminating the program e.g. panic thus the public io constrain was entirely skip. We need to review carefully on how sdk deal with error handling