Comme tout le monde le sait, les véritables blockchains décentralisées de type L1 font face au triangle impossible (ne pouvant pas concilier sécurité, évolutivité et décentralisation en même temps), et l'une des valeurs fondamentales les plus importantes d'Ethereum est la décentralisation, un aspect qu'Ethereum a toujours défendu. Ethereum espère finalement fonctionner sur du matériel domestique ordinaire, avec plus de dix mille nœuds et des millions de validateurs. L'insistance d'Ethereum sur la décentralisation a également conduit à des progrès relativement lents en matière de performance L1, et a finalement développé une architecture L1 et L2, mais actuellement, L2 souffre de problèmes de fragmentation de liquidité et de capture de valeur insuffisante. Comment résoudre le dilemme inhérent à la blockchain Ethereum (impossibilité de concilier sécurité, évolutivité et décentralisation) ? Un aspect important est l'adoption de la technologie des preuves ZK. Le cœur des preuves ZK est de permettre l'exécution d'un grand nombre de calculs ou de transactions hors chaîne, puis de soumettre uniquement une preuve concise sur la chaîne, prouvant que ces exécutions sont correctes, sans révéler tous les détails. L'avantage de cette approche est qu'elle peut améliorer l'évolutivité tout en héritant de la sécurité et en renforçant la décentralisation. Par exemple, en utilisant zkVM pour étendre L1/L2, tout en aidant à la fragmentation de liquidité de L2 ; les preuves ZK sont cryptographiquement sécurisées, garantissant que l'exécution hors chaîne ne sera pas erronée. Si la preuve est invalide, elle sera rejetée, tout en héritant de la sécurité d'origine d'Ethereum ; si la génération et la vérification des preuves sont efficaces et peu coûteuses, et que du matériel ordinaire (téléphones ou ordinateurs domestiques) peut participer à la validation des nœuds, cela pourrait encore renforcer la décentralisation. Récemment, Succinct (un projet d'infrastructure axé sur les preuves ZK) a lancé son produit phare SP1 (Succinct Proofs 1), qui est un zkVM (machine virtuelle à connaissance nulle) haute performance, permettant aux développeurs d'écrire n'importe quel programme en Rust et de générer des preuves ZK pour prouver la validité de l'exécution du programme, sans avoir à réécrire le circuit. Cela est d'une grande aide pour résoudre le problème du triangle impossible dans l'écosystème Ethereum. Plus précisément, Succinct peut aider Ethereum à s'étendre de plusieurs manières : d'une part, son SP1 est un zkVM haute performance, prenant en charge la preuve d'exécution de programmes écrits dans n'importe quel langage compilé LLVM, applicable aux scénarios de Rollups, de coprocesseurs et de zkEVM. Le SP1 de Succinct prend en charge la génération rapide de preuves, selon les déclarations officielles actuelles, il peut générer des preuves Ethereum à une vitesse quasi temps réel, c'est-à-dire presque proche de la technologie de "preuve en temps réel". Selon les descriptions des tests officiels actuels, lors d'un test de référence sur 10 000 blocs Ethereum, plus de 93 % des blocs peuvent générer une preuve en moins de 12 secondes, le test de référence ayant été réalisé sur un cluster d'environ 200 GPU NVIDIA RTX 4090. Faire fonctionner un cluster de preuves en temps réel complet nécessite environ 160 GPU RTX 4090, le coût de construction actuel étant d'environ 300 000 à 400 000 dollars, avec des opportunités futures de réduire ce coût à environ 100 000 dollars grâce à l'optimisation matérielle et à l'amélioration du système de preuves. De plus, Succinct est également un réseau de validateurs décentralisé, permettant de réduire le coût et la latence de la validation d'Ethereum grâce à la séparation des calculs et des validations, l'objectif final étant de permettre à des nœuds ordinaires ou à des téléphones de participer à la validation des preuves, soutenant ainsi l'expansion d'Ethereum vers davantage de validateurs. Enfin, la technologie ZK permettra également de réaliser davantage de cas d'utilisation, tels que l'authentification, les transactions privées, les opérations inter-chaînes, etc. En résumé, dans le parcours d'Ethereum vers 10 000 tps, la technologie ZK est une partie très importante.