Récemment, j'ai étudié la preuve sans connaissance, souvent appelée zkp.
Dans le passé, je pensais seulement que zk était meilleur que op, par exemple, il était plus rapide, plus pratique, plus sûr, etc. Ces remarques générales ignoraient en fait un point important, à savoir pourquoi il est meilleur que op et qu'est-ce que c'est ? l'essence de zk ?
L'une des méthodes de preuve utilisées par zk s'appelle snark. Cette méthode de preuve est très intéressante. Le prouveur générera une preuve pour indiquer qu'un certain calcul a été effectué, et le vérificateur n'a qu'à vérifier l'exactitude de la preuve pour confirmer. C'est vraiment arrivé.
Cette description est peut-être un peu abstraite. J'utilise une métaphore plus vivante pour décrire la question de la « preuve ».
Lorsque vous avez un grand modèle d'IA qui doit être calculé mais que vous n'avez pas les outils informatiques correspondants à portée de main, Xiao Ming sort et dit qu'il a une machine prête à vous aider à le calculer, à condition que vous lui payiez des frais. Dix jours plus tard, Xiao Ming vous donne un résultat d'IA « La bourse de demain va chuter. » A ce moment, comment jugez-vous si Xiao Ming vous a vraiment aidé à calculer ? Ou devrais-je simplement vous donner un résultat et laisser tomber ? En d'autres termes : « Xiao Ming est-il digne de confiance ? La meilleure façon de vérifier est de trouver une autre personne pour refaire le calcul et comparer les résultats des deux personnes. Cependant, cela entraînera des coûts doubles. Vous pouvez même faire le calcul vous-même. Après tout, vous êtes le plus fiable, alors présentez une autre personne. Le problème est que vous n’avez pas les outils nécessaires pour effectuer ce calcul complexe d’IA.
Alors, comment résoudre ce problème de crise de confiance ?
Des mathématiciens intelligents ont inventé une méthode de preuve appelée snark. La caractéristique de cette méthode est que chaque étape du processus de calcul est enregistrée et que ces résultats intermédiaires sont formés par une série de changements algébriques pour former une petite preuve, appelée preuve. "Preuve", la caractéristique de cette preuve est qu'elle est fortement liée au processus de calcul. Si le processus de calcul ne correspond pas aux attentes, alors la preuve changera.
En tant que vérificateur, c'est-à-dire vous, il vous suffit de prouver que cette preuve est correcte pour garantir que Xiao Ming a fait ce que j'ai dit et n'a pas inventé de résultat pour moi.
Je dois vous rappeler que le processus de génération de la preuve est très compliqué, mais le processus de vérification de la preuve est très simple. C'est-à-dire qu'en tant qu'accepteur, je dois seulement m'assurer que la preuve est correcte, alors la transaction est raisonnable. , ce qui permet de gagner beaucoup de temps en matière de vérification.Dépenses, dans ce cas, vous n'avez pas besoin de trouver une autre personne pour faire les calculs vous-même.
Donc, essentiellement, zkp résout le problème de la confiance entre les gens. Comment deux inconnus peuvent-ils communiquer et échanger efficacement sans l’intervention d’un tiers en tant que superviseur ? zkp offre une bonne solution.
De même, lorsqu'il est mappé au monde de la blockchain, pourquoi la couche 2 utilise-t-elle zkp ? Parce que des calculs complexes peuvent être mis hors chaîne et que le processus de téléchargement sur la chaîne n'a besoin que de vérifier une preuve, ou même de sauvegarder une preuve. Pour les blocs de réseau principal où les terrains sont précieux, il s'agit de l'une des meilleures solutions d'extension de capacité.
Grâce à ma compréhension de zkp, j'ai réalisé deux choses : premièrement, zkp peut non seulement résoudre le problème de congestion d'Ethereum, mais également fournir une méthode de preuve de sécurité dans la vie réelle et accélérer la coopération entre les personnes ; deuxièmement, la plupart des innovations des gens sont en fait pour réparer les mauvaises habitudes des gens. Si elles ne peuvent pas être réparées, ils s'en occuperont. Par exemple, les gens sont nés pour tricher, donc la technologie doit être introduite pour l'éviter. Les gens naissent paresseux, alors comment rendre les gens plus paresseux et plus Si vous êtes satisfait, il y aura des opportunités d'affaires.
