Isommat mallit ≠ enemmän luottamusta. Itse asiassa suuremmat mallit vaikeuttavat varmentamista. Uudet arkkitehtuurit + hajautettu todistus mahdollistavat varmennettavan päättelyn jopa tuotantotason näkömalleissa.