Nous sommes passés de "Ne soyez pas malveillant" (Google) à "Ne peut pas être malveillant" (Bitcoin). Le Proof Standard nous amène à "Ne peut pas être faux" (STARKs).