Le local-first prouve-t-il être la fin du jeu ? Dans House of ZK Radio #60, le chercheur Franklin Delehelle de @lagrangedev insiste sur le fait que tout le monde devrait être capable de générer des preuves ZK par eux-mêmes - sur du matériel ordinaire - plutôt que de dépendre de machines spécialisées coûteuses ou de services de preuve centralisés. Les coûts et latences de preuve d'aujourd'hui poussent encore les équipes vers des réseaux externalisés ; il souhaite que cette dépendance disparaisse. Selon Franklin, le progrès ne viendra pas d'une solution miracle mais de gains cumulés à travers la pile : • Mathématiques : arithmétisations plus légères, recherches, stratégies de récursion qui réduisent les contraintes. • Logiciel : meilleurs compilateurs/VMs, conceptions conscientes de la RAM, tests et vérifications rigoureux pour que les systèmes puissent se durcir et se standardiser. • Matériel : utilisation plus intelligente des GPU maintenant et, au fil du temps, des accélérateurs dédiés. Pendant ce temps, les réseaux de preuve modulaires et agnostiques aux systèmes de preuve sont un pont pratique - scalant les charges de travail aujourd'hui pendant que la technologie de base devient suffisamment rapide pour une véritable preuve locale. Regardez l'épisode complet pour une exposition sur l'état actuel vs l'état idéal des ZK :