Мы перешли от "Не будь злым" (Google) к "Не может быть злым" (Bitcoin). Стандарт Доказательства переводит нас к "Не может быть ложным" (STARKs).