Comparé à @SuccinctLabs, @boundless_xyz n'a pas encore reçu l'attention et l'importance qu'il mérite sur le marché, mais tout comme Succinct, il a le potentiel de devenir un leader dans le domaine des infrastructures zk. C'est également la raison pour laquelle j'écris cet article, qui est actuellement le plus détaillé sur le web chinois.
Actuellement, le protocole le plus en vogue dans le marché segmenté des preuves zk est sans aucun doute @SuccinctLabs, dont l'événement exclusif pour les utilisateurs finaux a rapidement propulsé Succinct sur le devant de la scène. Mais en même temps, le réseau de preuves zk @boundless_xyz, soutenu par @RiscZero, est en train d'émerger, ce qui, selon moi, représente le plus grand concurrent de Succinct dans le segment de marché qu'il vise.
Ce tweet parle brièvement des différences et des avantages concurrentiels entre @SuccinctLabs et @boundless_xyz, il est encore incertain de savoir qui sera le leader du secteur.
Le zkVM incontournable
Que ce soit @SuccinctLabs ou @boundless_xyz, leur mise en œuvre technologique ne peut contourner zkVM. La différence réside dans le fait que Succinct utilise la machine virtuelle SP1, tandis que Boundless utilise la machine virtuelle R0VM développée par RISC ?
Qu'est-ce que zkVM ?
zkVM est une machine virtuelle à connaissance nulle qui permet aux développeurs de prouver l'exécution de tout programme basé sur Rust( ou d'autres langages de programmation LLVM).
En termes simples, les développeurs peuvent générer des preuves zk sans avoir à exécuter le processus de génération de preuves zk intensif en calcul (construction manuelle et optimisation de circuits) grâce à zkVM, ce qui permet une génération de preuves en arrière-plan et réduit considérablement le temps de développement des preuves zk.
Succinct: SP1 vs. Boundless: R0VM
La machine virtuelle zkVM rend la génération de preuves aussi simple que le calcul traditionnel en créant un environnement objectif qui abstrait la complexité des preuves à divulgation nulle.
Les SP1 de Succinct et R0VM de Boundless sont tous deux basés sur l'ensemble d'instructions RISC-V, prenant en charge la programmation en Rust et la génération automatique de preuves ZK. Ils sont également adaptés aux scénarios de calcul général.
Différenciation :
1）Originalité de la technologie de base ;
Le système de preuve sous-jacent de SP1 de @SuccinctLabs s'inspire de l'ensemble d'outils de preuve ZK modulaire Plonky3 développé par l'équipe de Polygon, qui est une itération mise à niveau de Plonky2 depuis début 2022, avec une maturité technique plus élevée, Succinct se tenant en quelque sorte sur les épaules des géants de Polygon.
Le R0VM de @boundless_xyz est basé sur la technologie interne développée par sa société mère RISC. Après le lancement de la version 1.0 de R0VM en juin 2024, il a également subi plusieurs itérations techniques (1.1.0-1.1.2) et est actuellement à la version 2.0 la plus récente.
2) Degré d'ouverture ;
@SuccinctLabs SP1 prétend être le premier zkVM 100% open source. J'ai recherché des informations connexes et j'ai découvert que le R0VM de RISC était partiellement open source lors de son lancement initial, et qu'il a également annoncé une ouverture complète à 100% en août 2024.
3）Performance；
La performance est l'un des indicateurs clés de zkVM, se référant généralement au temps de génération et de vérification des preuves zk. Étant donné que ces données sont assez sensibles, Succinct et Boundless étant des concurrents directs, les données qu'ils publient peuvent ne pas être très équitables (comme les données de test pour un environnement spécifique, etc.). Je n'ai pas non plus trouvé de données comparatives fiables et autorisées par une tierce partie neutre, donc pour garantir des données objectives et précises, je ne les divulguerai pas.
Actuellement, l'opinion dominante dans l'industrie est que @SuccinctLabs SP1 performe mieux dans les tâches de travail intensives en hachage (comme la validation des clients légers Tendermint), ce qui se traduit par un temps de génération de preuves plus rapide ; le R0VM de @boundless_xyz est plus adapté aux scénarios de calcul général, avec un avantage évident en gestion de la mémoire.
Le support des précompilations dans SP1 a réduit le nombre de cycles d'instructions RISC-V nécessaires à la génération de preuves, ce qui a accéléré le temps de génération des preuves et réduit le coût de génération des preuves. Cependant, avec le lancement de la version R0VM 2.0, deux nouvelles précompilations majeures, BN254 et BLS12-381, ont été ajoutées, ce qui apportera également une amélioration significative des performances.
Qu'est-ce que le marché des preuves zk ?
La génération de preuves zk est la base de la commercialisation à grande échelle de @SuccinctLabs et @boundless_xyz, dont l'objectif ultime est de devenir un marché de preuves zk plus efficace et décentralisé, transformant le calcul vérifiable en une marchandise universelle et sans confiance.
Le marché joue le rôle de facilitateur entre les acheteurs et les vendeurs, le marché des preuves zk peut être compris comme un marché qui rapproche les fournisseurs et les demandeurs de preuves zk. Les fournisseurs de preuves zk sont les générateurs de preuves, généralement des opérateurs utilisant des GPU ou d'autres équipements matériels ; les demandeurs de preuves zk sont principalement des utilisateurs B à la recherche de validation.
Le mécanisme d'appariement de l'offre et de la demande sur le marché des preuves de @SuccinctLabs n'est pas complexe. Le réseau Succinct est composé de 2 types de participants clés : les demandeurs (côté demande de preuves zk) et les prouveurs (côté fourniture de preuves zk).
Succinct sert d'intermédiaire pour le règlement des fonds : le prouveur dépose des garanties sur la chaîne pour obtenir le droit de participer à la compétition de preuve, le protocole Succinct custodie d'abord les frais de service de preuve demandés par le demandeur ; le prouveur concurrence par le biais d'enchères de preuve, et le soumissionnaire gagnant remet la preuve zk au demandeur et reçoit les revenus correspondants. L'ensemble du processus de mise en relation est ainsi bouclé.
Pour des détails plus précis sur le mécanisme d'implémentation de l'architecture technique, consultez le doc officiel de @SuccinctLabs :
@boundless_xyz vient de publier un livre blanc il y a peu de temps, servant de mécanisme d'implémentation pour le marché des preuves zk, similaire à celui de @boundless_xyz. Je ne vais pas m'étendre là-dessus, les détails techniques peuvent être consultés dans le lien du livre blanc de Boundless en fin de document.
Positionnement des utilisateurs B
En tant que protocole d'infrastructure général très prisé par le capital, @SuccinctLabs et @SuccinctLabs ont chacun leur propre base d'utilisateurs B, formant le camp pro-Succinct et le camp pro-RISC(Boundless).
Cher Succinct派：
Comme Cosmos, l'intégration native d'IBC Eureka fournit des services de génération de preuves zk, réalisant l'interopérabilité IBC dans l'expansion des réseaux de chaînes hétérogènes mondiaux. Cela inclut, mais sans s'y limiter : le support technique précoce de Polygon, la couche DA @celestia, @AvailProject, etc.
Cher RISC( Boundless)派：
comme le protocole de re-staking ETH @eigenlayer, le protocole d'interopérabilité zk cross-chain @union_build, le Bitcoin zk-Rollup @citrea_xyz, etc.
Résumé
@boundless_xyz et @SuccinctLabs ont des positions centrales très similaires, et il y a également un degré de chevauchement très élevé dans leurs domaines d'activité. À mon avis, la concurrence entre les deux n'est pas principalement une concurrence en matière d'innovation technologique, mais plutôt une lutte pour les utilisateurs clés B2B et B2C.
La concurrence sur le segment B est équilibrée, tandis que le segment C a un avantage évident avec Succinct. Boundless doit combler ses lacunes et il est très probable qu'ils lanceront des activités de points similaires ou un système d'invitation pour attirer des utilisateurs du segment C.
Écrit à la fin
Si vous ne pouvez pas imaginer à quel point le marché potentiel sous-jacent aux preuves zk générales est vaste, vous ne pouvez pas imaginer à quel point le plafond potentiel de @SuccinctLabs et @boundless_xyz est élevé.
Mais tout cela sera traçable. Si vous ne comprenez pas ou ne reconnaissez pas la valeur du marché des preuves zk en ce moment, il vous suffit de rester attentif.
Je pense que nous serons finalement entraînés dans cette grande révolution zk, et pour l'instant, cette révolution ne fait que commencer.
Le contenu est fourni à titre de référence uniquement, il ne s'agit pas d'une sollicitation ou d'une offre. Aucun conseil en investissement, fiscalité ou juridique n'est fourni. Consultez l'Avertissement pour plus de détails sur les risques.
La lutte pour le leader du marché des preuves ZK : Succinct vs. Boundless
Auteur : yyy Source : X, @y_cryptoanalyst
Comparé à @SuccinctLabs, @boundless_xyz n'a pas encore reçu l'attention et l'importance qu'il mérite sur le marché, mais tout comme Succinct, il a le potentiel de devenir un leader dans le domaine des infrastructures zk. C'est également la raison pour laquelle j'écris cet article, qui est actuellement le plus détaillé sur le web chinois.
Actuellement, le protocole le plus en vogue dans le marché segmenté des preuves zk est sans aucun doute @SuccinctLabs, dont l'événement exclusif pour les utilisateurs finaux a rapidement propulsé Succinct sur le devant de la scène. Mais en même temps, le réseau de preuves zk @boundless_xyz, soutenu par @RiscZero, est en train d'émerger, ce qui, selon moi, représente le plus grand concurrent de Succinct dans le segment de marché qu'il vise.
Ce tweet parle brièvement des différences et des avantages concurrentiels entre @SuccinctLabs et @boundless_xyz, il est encore incertain de savoir qui sera le leader du secteur.
Le zkVM incontournable
Que ce soit @SuccinctLabs ou @boundless_xyz, leur mise en œuvre technologique ne peut contourner zkVM. La différence réside dans le fait que Succinct utilise la machine virtuelle SP1, tandis que Boundless utilise la machine virtuelle R0VM développée par RISC ?
Qu'est-ce que zkVM ?
zkVM est une machine virtuelle à connaissance nulle qui permet aux développeurs de prouver l'exécution de tout programme basé sur Rust( ou d'autres langages de programmation LLVM).
En termes simples, les développeurs peuvent générer des preuves zk sans avoir à exécuter le processus de génération de preuves zk intensif en calcul (construction manuelle et optimisation de circuits) grâce à zkVM, ce qui permet une génération de preuves en arrière-plan et réduit considérablement le temps de développement des preuves zk.
Succinct: SP1 vs. Boundless: R0VM
La machine virtuelle zkVM rend la génération de preuves aussi simple que le calcul traditionnel en créant un environnement objectif qui abstrait la complexité des preuves à divulgation nulle.
Les SP1 de Succinct et R0VM de Boundless sont tous deux basés sur l'ensemble d'instructions RISC-V, prenant en charge la programmation en Rust et la génération automatique de preuves ZK. Ils sont également adaptés aux scénarios de calcul général.
Différenciation :
1）Originalité de la technologie de base ;
Le système de preuve sous-jacent de SP1 de @SuccinctLabs s'inspire de l'ensemble d'outils de preuve ZK modulaire Plonky3 développé par l'équipe de Polygon, qui est une itération mise à niveau de Plonky2 depuis début 2022, avec une maturité technique plus élevée, Succinct se tenant en quelque sorte sur les épaules des géants de Polygon.
Le R0VM de @boundless_xyz est basé sur la technologie interne développée par sa société mère RISC. Après le lancement de la version 1.0 de R0VM en juin 2024, il a également subi plusieurs itérations techniques (1.1.0-1.1.2) et est actuellement à la version 2.0 la plus récente.
2) Degré d'ouverture ;
@SuccinctLabs SP1 prétend être le premier zkVM 100% open source. J'ai recherché des informations connexes et j'ai découvert que le R0VM de RISC était partiellement open source lors de son lancement initial, et qu'il a également annoncé une ouverture complète à 100% en août 2024.
3）Performance；
La performance est l'un des indicateurs clés de zkVM, se référant généralement au temps de génération et de vérification des preuves zk. Étant donné que ces données sont assez sensibles, Succinct et Boundless étant des concurrents directs, les données qu'ils publient peuvent ne pas être très équitables (comme les données de test pour un environnement spécifique, etc.). Je n'ai pas non plus trouvé de données comparatives fiables et autorisées par une tierce partie neutre, donc pour garantir des données objectives et précises, je ne les divulguerai pas.
Actuellement, l'opinion dominante dans l'industrie est que @SuccinctLabs SP1 performe mieux dans les tâches de travail intensives en hachage (comme la validation des clients légers Tendermint), ce qui se traduit par un temps de génération de preuves plus rapide ; le R0VM de @boundless_xyz est plus adapté aux scénarios de calcul général, avec un avantage évident en gestion de la mémoire.
Le support des précompilations dans SP1 a réduit le nombre de cycles d'instructions RISC-V nécessaires à la génération de preuves, ce qui a accéléré le temps de génération des preuves et réduit le coût de génération des preuves. Cependant, avec le lancement de la version R0VM 2.0, deux nouvelles précompilations majeures, BN254 et BLS12-381, ont été ajoutées, ce qui apportera également une amélioration significative des performances.
Qu'est-ce que le marché des preuves zk ?
La génération de preuves zk est la base de la commercialisation à grande échelle de @SuccinctLabs et @boundless_xyz, dont l'objectif ultime est de devenir un marché de preuves zk plus efficace et décentralisé, transformant le calcul vérifiable en une marchandise universelle et sans confiance.
Le marché joue le rôle de facilitateur entre les acheteurs et les vendeurs, le marché des preuves zk peut être compris comme un marché qui rapproche les fournisseurs et les demandeurs de preuves zk. Les fournisseurs de preuves zk sont les générateurs de preuves, généralement des opérateurs utilisant des GPU ou d'autres équipements matériels ; les demandeurs de preuves zk sont principalement des utilisateurs B à la recherche de validation.
Le mécanisme d'appariement de l'offre et de la demande sur le marché des preuves de @SuccinctLabs n'est pas complexe. Le réseau Succinct est composé de 2 types de participants clés : les demandeurs (côté demande de preuves zk) et les prouveurs (côté fourniture de preuves zk).
Succinct sert d'intermédiaire pour le règlement des fonds : le prouveur dépose des garanties sur la chaîne pour obtenir le droit de participer à la compétition de preuve, le protocole Succinct custodie d'abord les frais de service de preuve demandés par le demandeur ; le prouveur concurrence par le biais d'enchères de preuve, et le soumissionnaire gagnant remet la preuve zk au demandeur et reçoit les revenus correspondants. L'ensemble du processus de mise en relation est ainsi bouclé.
Pour des détails plus précis sur le mécanisme d'implémentation de l'architecture technique, consultez le doc officiel de @SuccinctLabs :
@boundless_xyz vient de publier un livre blanc il y a peu de temps, servant de mécanisme d'implémentation pour le marché des preuves zk, similaire à celui de @boundless_xyz. Je ne vais pas m'étendre là-dessus, les détails techniques peuvent être consultés dans le lien du livre blanc de Boundless en fin de document.
Positionnement des utilisateurs B
En tant que protocole d'infrastructure général très prisé par le capital, @SuccinctLabs et @SuccinctLabs ont chacun leur propre base d'utilisateurs B, formant le camp pro-Succinct et le camp pro-RISC(Boundless).
Cher Succinct派：
Comme Cosmos, l'intégration native d'IBC Eureka fournit des services de génération de preuves zk, réalisant l'interopérabilité IBC dans l'expansion des réseaux de chaînes hétérogènes mondiaux. Cela inclut, mais sans s'y limiter : le support technique précoce de Polygon, la couche DA @celestia, @AvailProject, etc.
Cher RISC( Boundless)派：
comme le protocole de re-staking ETH @eigenlayer, le protocole d'interopérabilité zk cross-chain @union_build, le Bitcoin zk-Rollup @citrea_xyz, etc.
Résumé
@boundless_xyz et @SuccinctLabs ont des positions centrales très similaires, et il y a également un degré de chevauchement très élevé dans leurs domaines d'activité. À mon avis, la concurrence entre les deux n'est pas principalement une concurrence en matière d'innovation technologique, mais plutôt une lutte pour les utilisateurs clés B2B et B2C.
La concurrence sur le segment B est équilibrée, tandis que le segment C a un avantage évident avec Succinct. Boundless doit combler ses lacunes et il est très probable qu'ils lanceront des activités de points similaires ou un système d'invitation pour attirer des utilisateurs du segment C.
Écrit à la fin
Si vous ne pouvez pas imaginer à quel point le marché potentiel sous-jacent aux preuves zk générales est vaste, vous ne pouvez pas imaginer à quel point le plafond potentiel de @SuccinctLabs et @boundless_xyz est élevé.
Mais tout cela sera traçable. Si vous ne comprenez pas ou ne reconnaissez pas la valeur du marché des preuves zk en ce moment, il vous suffit de rester attentif.
Je pense que nous serons finalement entraînés dans cette grande révolution zk, et pour l'instant, cette révolution ne fait que commencer.