La plupart des gens pensent que le ZK de Newton concerne la confidentialité. Je pense qu’ils passent à côté du choix de conception plus important.
Le marché bouge encore un peu sur place, donc j’ai fini par lire une section du livre blanc du protocole Newton plutôt que de regarder des graphiques. Je ne cherchais pas une autre explication des preuves à connaissance nulle. Je voulais savoir comment @NewtonProtocol évalue en réalité des politiques sans créer un circuit cryptographique différent à chaque fois que quelqu’un écrit une nouvelle règle.
La réponse n’était pas celle à laquelle je m’attendais.
Sur le papier, Newton se décrit comme une couche décentralisée d’autorisation dans laquelle les développeurs écrivent des politiques en Rego, le même langage de politique largement utilisé dans les systèmes d’entreprise. Ces politiques sont évaluées par un réseau d’opérateurs décentralisé avant qu’une transaction ne soit exécutée, et le résultat est appuyé par des attestations cryptographiques.
Mais voici ce qui a vraiment attiré mon attention :
La plupart des systèmes ZK commencent par le circuit.
Newton commence par le moteur de politique.
Au lieu de concevoir un circuit de preuve à connaissance nulle sur mesure pour chaque règle de sanctions, limite de dépenses ou vérification d’éligibilité, Newton compile l’ensemble du moteur d’évaluation Rego dans une machine virtuelle ZK généraliste (en s’appuyant sur des systèmes comme SP1/RISC Zero). La preuve ne certifie pas un circuit artisanal. Elle certifie qu’une politique Rego spécifique, exécutée sur des entrées spécifiques, a produit une sortie spécifique.
Je pense que cette distinction est importante.
La plupart des gens entendent « ZK » et pensent immédiatement à la confidentialité.
Cette architecture vise aussi la scalabilité pour les développeurs.
Si chaque nouvelle règle de conformité nécessitait un nouveau circuit, le développement de la politique deviendrait un problème de cryptographie. La conception de Newton vise à séparer ces responsabilités. Les auteurs de politique continuent d’écrire une logique Rego standard, tandis que le protocole gère la génération des preuves de manière cryptographique en dessous.
Voici le mécanisme, simplifié.
Un développeur écrit une politique.
La politique est stockée et référencée.
Les opérateurs évaluent l’intention de transaction par rapport à cette politique en utilisant une exécution déterministe de Rego.
Une fois le consensus atteint, le réseau produit une preuve cryptographique attestant que l’évaluation a été effectuée correctement avant que le contrat intelligent ne poursuive. Le protocole plus large combine une évaluation déterministe des politiques avec des attestations adossées à BLS et la sécurité économique d’EigenLayer.
Cela dit, je ne pense pas que cela résolve automatiquement tous les défis.
Les preuves généralistes sont généralement plus flexibles que la construction de circuits sur mesure, mais la flexibilité s’accompagne souvent de compromis en performance. Le maintien de l’efficacité pour des charges institutionnelles à grande échelle dépendra de l’implémentation, des coûts de preuve et du débit réel sur le terrain, plutôt que de simples schémas d’architecture.
C’est probablement le critère qui vaut la peine d’être surveillé.
Pourquoi est-ce important ?
Parce que Newton ne cherche pas seulement à rendre privées les décisions de politique.
Elle cherche à rendre le développement de la politique programmable.
Si les développeurs peuvent mettre à jour en continu les règles métier sans redessiner des circuits cryptographiques, la conformité se rapproche beaucoup plus d’un génie logiciel “normal” que d’un ingénierie ZK spécialisée. C’est une proposition de valeur très différente de celle consistant simplement à dire : « nous utilisons la connaissance nulle ».
Je ne considère pas cela comme une preuve que Newton a résolu la conformité programmable.
Mais je pense que l’architecture fait évoluer la conversation.
La question intéressante n’est plus « Cette politique peut-elle être prouvée ? »
« Chaque future politique peut-elle être prouvée sans reconstruire le système de preuve ? »
C’est ce choix de conception que je vais surveiller à mesure que l’écosystème de Newton mûrit.
