clase 10 (L2 y escalabilidad) Flashcards
maneras de escalar una chain
on chain:
* sharding
off chain:
* state chanels
* sidechains
* plasma
* rollups
que es una rollup
su principal objetivo es escalar la parte de la ejecucion
ejecutan txs fuera de L1 pero postean su data en L1
agurupan txs –> comprimen la data –> las publican en ethereum
Optimistic rollup sequencer
el protagonista
junta el batch de las transacciones y las publica
puede ser centralizado o electo
comprime sacando info de las txs
tiene un stake al que se lo puede challengear
Optimistic rollup challenge window
periodo en el cual distintas personas observan lo q publica el sequencer
si hay error:
* se le saca el stake
* se forkea la chain
* se hace rollback
manejado por un smart contract
si al 7mo dia de ser publicadas, las txs no fueron challengeadas pasan a la canonical chain
optimistic
retiros y depositos
retiros:
se crea una solicitud de retiro y se bloquean los fondos en la capa optimistic
hay q esperar el periodo de challenge
pasado este periodo se transfieren a la main chain
despositos:
se publica un mensaje que se debe incluir en un bloque
no se espera mucho tiempo
Zero knowledge proof
conocida como ZKP
tecnica criptografica utilizada para demostrar que se posee cierta info o conocimiento sin revelar la info perse
se emplean para demostrar que las txs realizadas en el lado off chain son validas sin revelar los detalles de cada tx
porque confiamos en los sequencers
El prover tiene incentivos para verificar todos los bloques del sequencer
1. el sequencer pone un deposito de seguridad para incorporarse
2. envia batches a la base layer
3. comienza un periodo de disputa donde un prover puede verificar el computo del sequencer
4. si el computo es incorrecto, el prover puede enviar una prueba de q es falso
5. el sequencer pierde parte de su deposito y este va al prover
porque nos gustan los ZK
pasar dinero de a un ZK es casi instantaneo
es muy rapido verificar si una prueba es verdadera o falsa
porque no hacer todo con ZK
las pruebas son costosas de generar
las aplicaciones que corren sobre ZK se desarrollan en otro lenguaje el cual es complicado
para que tipo de aplicaciones sirve ZK
para aplicaciones simples, como transferencias, depositos y pagos