jakiro
Auteur : Haotian ; Source : X, @tmel0211
Lors de la journée eth_proofs, Justin Drake a utilisé le client zklighthouse pour vérifier sur place la preuve de Brevis Pico ZKVM – il peut directement finaliser les blocs sans réexécuter les transactions, et a crié que l’ère du Gigagas ETH approche.
Il ne fait aucun doute que Brevis a une fois de plus été sélectionné par la Fondation Ethereum.Alors, que prévoit exactement Brevis ?
Après avoir lu leur dernier livre blanc et démo ProverNet, j’ai trouvé qu’il est effectivement différent des autres solutions zk :
1) Généralement, le marché de la certification ZK suit un modèle de fournisseur unique, mais Brevis a découvert un problème embarrassant dans l’environnement de production : par exemple, le processus de remise hors chaîne d’Uniswap nécessite que ZK fournisse une solution transparente, le tarif VIP de PancakeSwap nécessite des vérifications en moins d’une seconde avant chaque transaction, et l’allocation incitative d’Euler Labs qui nécessite un certain temps pour traiter par lots plus de 100 000 adresses a des exigences de débit.
Selon la logique normale, plusieurs scénarios de demande différents ont des exigences complètement différentes en matière de configuration matérielle, de spécifications système éprouvées et d’orientations d’optimisation.S’il s’agit d’un fournisseur unique, il peut soit effectuer uniquement une optimisation approfondie de la scène pour des besoins temporaires, soit fournir uniquement une solution générale et un compromis.De cette manière, il est évidemment difficile de répondre aux besoins délicats et différenciés des scénarios verticaux ;
2) La solution ProverNet que Brevis souhaite mettre en place est très simple : construire un marché biface, la partie requérante présente la demande, et le prouveur professionnel enchérit et reçoit la commande, ce qui est le mécanisme TODA (True Reproduction Double Auction).Une telle solution « orientée marché » peut naturellement gérer plusieurs types de preuves hétérogènes en même temps, de sorte que les applications avec des exigences de scénarios subdivisées puissent faire appel au prouveur le plus professionnel pour fournir des services homologues dédiés.
En fait, nous pouvons aller plus loin. Si nous rencontrons des tâches plus complexes, différents Provers peuvent également démonter les tâches et collaborer.Par exemple, une preuve zkVM peut être divisée par A, la compression par B, l’agrégation par C et le conditionnement final par D. En bref, une division professionnelle du travail et des retombées sont nécessaires pour répondre aux demandes plus diversifiées du marché.
ci-dessus.
En fait, la logique est très simple, c’est – à – dire que de la pensée passée de « vendre des pelles » à la construction d’un « marché », le système de services de fournisseurs purement centralisé du passé a été transféré à un marché décentralisé.
À l’ère dite du Gigagas ETH, ce dont nous avons besoin n’est en aucun cas un service d’outils unique, mais une infrastructure capable de programmer Prover sur l’ensemble du réseau.
