Ми перейшли від «Не будь злим» (Google) до «Не можеш бути злим» (Bitcoin). Стандарт доказів веде нас до «Не може бути хибним» (STARKs).