On Tue, Mar 06, 2018 at 01:14:30PM -0800, Sargun Dhillon wrote: > > So, would this verifier just ensure that no maps are accessed prior to > the helper being called, XOR ensure that after the helper is called, > no map values are accessed? Nack on this design.