The Gepetto paper provides an interesting optimization that can provide savings for the unused branch of a conditional select. Namely, since the variable in the unused branch is not used further, we can assign it a value of zero (if there are no other checks involving that variable). This can help reduce proving cost, since the assignment to the unused variable would not contribute to any MSMs.
Summary
The Gepetto paper provides an interesting optimization that can provide savings for the unused branch of a conditional select. Namely, since the variable in the unused branch is not used further, we can assign it a value of zero (if there are no other checks involving that variable). This can help reduce proving cost, since the assignment to the unused variable would not contribute to any MSMs.
Problem Definition
Proposal
For Admin Use