Patiesais vairāku jomu sadarbības izaicinājums nav spēja šķērsot ķēdes, bet gan kurš maksā par uzticību un kā veikt auditu. Lagrange izmanto nulles zināšanu pierādījumus, lai "es ticu viņam" uzlabotu uz "es esmu pārbaudījis": dati neiznāk no jomas, tikai tiek pārsūtīti verificējami secinājumi; pierādījumi var tikt rekursīvi apvienoti, viens pierādījums vairākkārt lietojams, avota/mērķa joma pārbauda to pašu, lai izvairītos no otrreizējas aprēķināšanas; pierādījumu iestatījums derīguma termiņam un atsaukšanai/pārrakstīšanai, lai novērstu veco noteikumu ļaunprātīgu izmantošanu jaunā regulējuma apstākļos.
Izpildes metode: izveidot "pierādījumu budžeta tabulu" (mērķa apjoms, maksimālā verifikācijas aizture, kešatmiņas trāpījumu koeficients un atkārtotas izmantošanas logs), pārvietot dārgās aprēķinus uz malu, uz ķēdes veikt tikai vieglu verifikāciju; izvadīt "sandviča pierādījumu ķēdi": cilvēkam lasāms kopsavilkums (avots, stratēģija, audita numurs) + mašīnai lasāms apliecinājums (parametri, stāvokļa apņemšanās, izmaksu sadalījums) + matemātisks pierādījums (rekursīva apvienošana). Negadījumu risināšana saskaņo kopsavilkumu un apliecinājumu, lai veiktu atkārtotu analīzi, nav nepieciešams, lai visi lasītu shēmu.