Ce post couvre la première étape de l’arithmétisation des instructions CI (Computational Integrity). Les mathématiques des STARKs sont un sujet complexe, mais valent le coup d’être étudié pour une compréhension approfondi.
Vous connaissez tous le Lightning Network de Bitcoin ? StarkPay est une alternative convaincante qui améliore Lightning sur plusieurs aspects. Cet article analyse et compare les deux solutions.
Ce 5ème et dernier article de la série Stark Math, conclut et revisite la notion d’un STARK puis explique comment en construire à partir de preuves probabilistes et de fonctions de hachage cryptographique.
Vous retrouverez ici la description du problème des tests de faible degré ainsi que l’utilisation du protocole interactif FRI, dans lequel le prouveur ajoute plus d’informations afin de convaincre le vérifieur que la fonction est bien de faible degré.
L’Ethereum fondation a accordé un grant de recherche pour proposer un Hash compatible avec le système STARK (SFH) à StarkWare en juillet 2018. Découvrez les détails ici.