The focus is on making verification cheaper than computation.