Divulgació: les opinions i opinions expressades aquí pertanyen exclusivament a l’autor i no representen les opinions i opinions de l’editorial de crypto.news.
El segon trimestre del 2025 ha estat una comprovació de la realitat per a l’escalada de la cadena de blocs i, a mesura que el capital segueix abocant-se en rollups i sidechains, les esquerdes del model de capa 2 s’estan ampliant. La promesa original de L2s era senzilla: augmentar les L1s, però els costos, els retards i la fragmentació de la liquiditat i l’experiència de l’usuari es continuen acumulant.
Resum
- Els L2 estaven pensats per escalar Ethereum, però han introduït nous problemes, alhora que confien en seqüenciadors centralitzats que poden convertir-se en punts únics de fallada.
- En el seu nucli, els L2 gestionen la seqüenciació i el càlcul d’estats, utilitzant Optimistic o ZK Rollups per establir-se amb L1. Cadascun inclou avantatges: llarga finalitat a Optimistic Rollups i elevats costos computacionals a ZK Rollups.
- L’eficiència futura rau a separar la computació de la verificació, utilitzant superordinadors centralitzats per a la computació i xarxes descentralitzades per a la verificació paral·lela, permetent l’escalabilitat sense sacrificar la seguretat.
- El model de “ordre total” de blockchains està obsolet; avançar cap a l’ordre local basat en comptes pot desbloquejar un paral·lelisme massiu, posar fi al “compromis L2” i obrir el camí per a una base web3 escalable i preparada per al futur.
Nous projectes com els pagaments de moneda estable comencen a qüestionar el paradigma L2, preguntant-se si els L2 són realment segurs i els seus seqüenciadors s’assemblen més a punts únics de fracàs i censura? Sovint, acabaran tenint una visió pessimista que potser la fragmentació és simplement inevitable a web3.
Estem construint un futur sobre una base sòlida o un castell de cartes? Els L2 han d’afrontar i respondre aquestes preguntes. Després de tot, si la capa de consens bàsic d’Ethereum (ETH) fos inherentment ràpida, barata i infinitament escalable, tot l’ecosistema L2 tal com el coneixem ara seria redundant. Es van proposar innombrables rollups i sidechains com a “complements de L1s” per mitigar les limitacions fonamentals de les L1s subjacents. És una forma de deute tècnic, una solució complexa i fragmentada que s’ha descarregat als usuaris i desenvolupadors de web3.
També us pot agradar: El llançament just és la promesa trencada de cripto | Opinió
I per respondre aquestes preguntes, cal desconstruir tot el concepte d’una L2 fins als seus components fonamentals, per revelar un camí cap a un disseny més robust i eficient.
Una anatomia de L2s
L’estructura determina la funció. És un principi bàsic en biologia que també s’aplica als sistemes informàtics. Per decidir l’estructura i l’arquitectura adequades de les L2, hem d’examinar les seves funcions amb atenció.
En el seu nucli, cada L2 realitza dues funcions crítiques: Seqüenciar, és a dir, ordenar transaccions; així com calcular i demostrar el nou estat. Un seqüenciador, ja sigui una entitat centralitzada o una xarxa descentralitzada, recull, ordena i agrupa les transaccions dels usuaris. A continuació, aquest lot s’executa, donant lloc a un estat actualitzat (p. ex., nous saldos de testimonis). Aquest estat s’ha de resoldre a la L1 per seguretat mitjançant Optimistic o ZK Rollups.
Optimistic Rollups assumeix que totes les transicions d’estat són vàlides i depenen d’un període de desafiament (sovint 7 dies) on qualsevol pot enviar proves de frau. Això crea un gran compromís d’UX, temps de finalitat llargs. ZK Rollups utilitzen proves de coneixement zero per verificar matemàticament la correcció de cada transició d’estat abans que arribi a L1, permetent una finalitat gairebé instantània. El compromís és que són computacionalment intensius i complexos de construir. Els mateixos provadors de ZK poden tenir errors, la qual cosa comporta conseqüències catastròfiques, i la verificació formal d’aquestes, si és factible, és molt cara.
La seqüenciació és una opció de govern i disseny per a cada L2. Alguns prefereixen una solució centralitzada per a l’eficiència (o potser per aquest poder de censura; qui sap), mentre que d’altres prefereixen una solució descentralitzada per a més equitat i robustesa. En última instància, els L2 decideixen com volen fer la seva pròpia seqüenciació.
La generació i verificació de reclamacions estatals és on podem fer molt, molt millor en eficiència. Un cop seqüenciat un lot de transaccions, calcular el següent estat és una tasca purament computacional, i això es pot fer utilitzant només un únic superordinador, centrat únicament en la velocitat bruta, sense la sobrecàrrega de la descentralització. Aquest superordinador fins i tot es pot compartir entre els L2!
Un cop reclamat aquest nou estat, la seva verificació es converteix en un procés separat i paral·lelitzat. Una xarxa massiva de verificadors pot treballar en paral·lel per verificar la reclamació. Aquesta és també la filosofia que hi ha darrere dels clients sense estat d’Ethereum i les implementacions d’alt rendiment com MegaETH.
La verificació en paral·lel és infinitament escalable
La verificació en paral·lel és infinitament escalable. Per molt ràpid que els L2 (i aquest superordinador) produeixin declaracions, la xarxa de verificació sempre pot posar-se al dia afegint més verificadors. La latència aquí és precisament el temps de verificació, un nombre fix i mínim. Aquest és l’òptim teòric utilitzant la descentralització de manera eficaç: verificar, no calcular.
Després de la seqüenciació i la verificació de l’estat, la feina de la L2 està gairebé completa. El pas final és publicar l’estat verificat a una xarxa descentralitzada, la L1, per a la liquidació i la seguretat finals.
Aquest pas final exposa l’elefant a l’habitació: les cadenes de blocs són capes d’assentament terribles per als L2! El treball computacional principal es fa fora de la cadena, però els L2 han de pagar una prima massiva per finalitzar en un L1. S’enfronten a una doble sobrecàrrega: el rendiment limitat de l’L1, carregat pel seu ordre total i lineal de totes les transaccions, crea congestió i costos elevats per publicar dades. A més, han de suportar el retard de finalitat inherent a la L1.
Per a ZK Rollups, això són minuts. Per a Optimistic Rollups, s’afegeix un període de desafiament d’una setmana, un compromís de seguretat necessari però costós.
Adéu, el mite de l'”ordre total” a web3
Des de Bitcoin (BTC), la gent s’ha esforçat molt per comprimir totes les transaccions d’una cadena de blocs en una única comanda total. Estem parlant de blockchains després de tot! Malauradament, aquest paradigma d'”ordre total” és un mite costós i és clarament excessiu per a la liquidació de la L2. Què irònic, que una de les xarxes descentralitzades més grans del món i l’ordinador del món es comporti com un escriptori d’un sol fil!
És hora de seguir endavant. El futur és l’ordre local, basat en el compte, on només s’han d’ordenar les transaccions que interactuen amb el mateix compte, desbloquejant un paral·lelisme massiu i una escalabilitat real.
L’ordenació global, per descomptat, implica una ordenació local, però també és una solució increïblement ingenua i simplista. Després de 15 anys de “blockchain”, és hora que obrim els ulls i fem artesanament un futur millor. El domini científic dels sistemes distribuïts ja ha fet la transició del concepte de coherència forta dels anys vuitanta (que és el que implementen les cadenes de blocs) al model de coherència final fort del 2015 que allibera el paral·lelisme i la concurrència. És hora que la indústria del web3 també avanci, deixi el passat enrere i segueixi el progrés científic amb visió de futur.
L’era del compromís L2 s’ha acabat. És hora de construir sobre una base dissenyada per al futur, de la qual sortirà la propera onada d’adopció del web3.
Llegeix més: Web3 és obert, transparent i miserable per construir sobre | Opinió
Xiaohong Chen
Xiaohong Chen és el director de tecnologia de Pi Squared Inc., que treballa en sistemes ràpids, paral·lels i descentralitzats per a pagaments i liquidació. Els seus interessos inclouen la correcció del programa, la demostració de teoremes, solucions ZK escalables i l’aplicació d’aquestes tècniques a tots els llenguatges de programació. Xiaohong va obtenir la llicenciatura en matemàtiques a la Universitat de Pequín i el doctorat en informàtica a la Universitat d’Illinois Urbana-Champaign.
