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
As the main changes to RISC Zero for the generalized composition design, the assumptions encoding, and how it is handled in the resolve recursion program needs to be changed to allow specifying a distinct control root.
The text was updated successfully, but these errors were encountered:
As the main changes to RISC Zero for the generalized composition design, the assumptions encoding, and how it is handled in the
resolve
recursion program needs to be changed to allow specifying a distinct control root.The text was updated successfully, but these errors were encountered: