[Blockchains fyra kärnfunktioner och L2] – av nananaa.eth Eftersom @EspressoSys är ett projekt byggt för L2, Många människor har berättat för mig att de kämpar med de grundläggande begreppen och terminologin. För att hjälpa dig att förstå Espressos kärnidéer och för att sätta scenen för de artiklar jag kommer att skriva senare, har jag sammanställt denna primer. Eftersom den täcker grundläggande blockchain-koncept bör den också hjälpa dig när du lär dig om andra projekt. I den här serien går vi igenom tre viktiga ämnen: (1) De fyra kärnfunktionerna i en blockkedja: Utförande, Konsensus, Uppgörelse, DA (2) Ethereum L2 (3) L2 Sequencer och bekräftelse Först ska jag gå igenom de fyra blockkedjefunktionerna för att bygga en solid grund. Därefter ska jag introducera Ethereum L2. Slutligen kommer jag att förklara de två koncepten som Espresso fokuserar på: L2 Sequencer och Confirmation. [1. De fyra kärnfunktionerna i en blockkedja] En blockkedja är en tillståndsövergångsmaskin: den samlar in våra transaktioner i block, kör dem sedan för att uppdatera varje kontos tillstånd. Till exempel, om jag byter 1 ETH mot 0,1 BTC, När transaktionen landar i ett block och körs, mitt kontos tillstånd ändras för att förlora 1 ETH och få 0,1 BTC. Vad måste hända bakom kulisserna för att det ska fungera? (1) Konsensus: Vi måste bestämma i vilken ordning transaktionerna ska gå in i varje block. (2) Utförande: Vi måste utföra de överenskomna transaktionerna för att uppdatera kontostatusar. (3) Förlikning: Vi måste slutföra dessa tillståndsändringar så att alla kan lita på "ja, du fick verkligen 0,1 BTC." (4) Datatillgänglighet (DA): Eftersom blockkedjor är pålitliga måste alla noder kunna utföra transaktioner i ett block för att oberoende verifiera dem, Så själva transaktionerna måste lagras i ett tillgängligt lager. Kort sagt, en fungerande blockkedja måste utföra Konsensus / Utförande / Uppgörelse / DA. Snabb sammanfattning av varje funktion - Konsensus: Bestämma ordningen på transaktionerna som ingår i ett block - Körning: Köra dessa transaktioner i ordning och uppdateringstillstånd - Lösning: Garantera slutgiltigheten av det uppdaterade tillståndet (till exempel genom att vänta ett visst antal block eller använda en annan slutgiltighetsmekanism) - Datatillgänglighet: Göra transaktionerna i varje block tillgängliga så att vem som helst kan spela upp och verifiera dem [2. Vad är en Ethereum L2?] Vi såg just de fyra kärnfunktionerna i blockkedjor. När en kedja hanterar alla fyra själv kallar vi det en monolitisk blockkedja. När vi delar upp dem i separata lager kallar vi det en modulär blockkedja. En Ethereum L2 är en modulär kedja som använder Ethereum som sitt avvecklingslager. Det utnyttjar Ethereums säkerhet för att slutföra tillståndsändringar, samtidigt som de andra funktionerna Consensus, Execution, DA) överförs till separata, mer effektiva lager. Bland Ethereum L2:er är de två vanligaste mönstren Rollup och Validium: Sammanslagning En Rollup använder Ethereum för både DA och Settlement. Konsensus: vanligtvis en centraliserad sequencer, även om den kan använda en decentraliserad sequencer (t.ex. via Espresso), eller förlita dig på Ethereum-validerare i en "Baserat Rollup" Körning: ofta en EVM, men kan vara en annan virtuell dator (t.ex. StarkNets virtuella dator i Kairo) Avveckling: Ethereum DA: Ethereum Exempel du känner till: @arbitrum, @Optimism, etc. Validium (på engelska) En Validium är precis som en Rollup förutom att den använder ett externt DA-lager istället för Ethereum. Om vissa Validium använder Espresso DA kan vi säga att de är Espresso Validium. Konsensus: centraliserad eller decentraliserad sequencer Utförande: EVM eller altVM Avveckling: Ethereum DA: altDA (t.ex. Celestia, Espresso DA, etc.) Till exempel, för den @EclipseFND som planerar att ha en TGE snart använder: Konsensus: Centraliserad sequencer Utförande: SVM DA: Celestia Avveckling: Ethereum [3. L2 Sequencer och bekräftelse] Hittills har vi granskat de grundläggande begreppen för blockchain och Ethereum L2. Slutligen, låt oss dyka in i L2 Sequencer och Confirmation, som är nyckelfokus för Espresso. L2 Sequencer L2 Sequencer är den enhet som gör blocken, vilket innebär att (1) beordrar och utför transaktioner på L2 (2) publicerar listan över transaktioner och resulterande tillståndsrot på Ethereum. De flesta L2:er kör idag en enda, centraliserad sekvenserare som beställer inkommande transaktioner, kör dem och sedan rapporterar det nya tillståndet till användarna. Men kan ha ett enpunktsfel. Arbitrums sequencer har till exempel pausat tidigare. En decentraliserad sequencer löser detta. Espresso tillhandahåller en decentraliserad L2-sequencermodul som drivs av HotShot (en högpresterande BFT-konsensusalgoritm). Om en L2 använder Espressos sequencer, kommer för varje block en ledarnod som valts av Espressos konsensus att beställa och utföra transaktioner. Konfirmation En bekräftelse garanterar användaren att en tillståndsändring är slutgiltig. På L2 kan dock sequencer inte ge fullständig bekräftelse förrän Ethereum-avvecklingen är klar. Vad de flesta L2-sequencers visar dig är en förhandsbekräftelse, i princip ett löfte: "Vi kommer att publicera din tillståndsändring på Ethereum för slutlig avräkning." Eftersom det bara är en förhandsbekräftelse, om något går fel under Ethereum-avvecklingen, kan den ändringen rullas tillbaka (dvs. omorganisation). Det är därför börser säger att du ska "vänta på bekräftelser" efter att du har satt in dina pengar från Arbitrum eller Optimism de väntar tills Ethereums slutgiltighet eliminerar all risk för omorganisation. Espressos HotShot-konsensus gör att du kan erbjuda starkare och snabbare bekräftelser på L2 starkare än enkla förbekräftelser av sequencer, men fortfarande inte lika absoluta som att vänta på Ethereum självt. Jag kommer att dyka djupare in i espressobekräftelser i en framtida artikel. Sammanfattning Fyra centrala blockkedjefunktioner - En blockkedja utför Consensus, Execution, Settlement, DA - Konsensus: bestäm transaktionsordning - Utförande: kör transaktioner för att uppdatera tillstånd - Uppgörelse: slutföra tillståndsändringar - DA: se till att transaktioner förblir tillgängliga för uppspelning och verifiering Ethereum L2 - Ethereum L2s använder Ethereum för avveckling - Rollup: använder Ethereum för DA + Settlement - Validium: använder extern DA + Ethereum Settlement L2 Sequencer & Bekräftelse - Sequencer beställer och kör L2-transaktioner och publicerar tillståndsrötter - Sequencer-utdata är förbekräftelser, som kan rullas tillbaka tills Ethereum är avvecklat. - Espressos HotShot möjliggör decentraliserad sekvensering och starkare, snabba bekräftelser Jag hoppas att denna primer klargör grundläggande blockchain-principer, Ethereum L2 och rollerna som Sequencer & Confirmation så att du är redo för en djupdykning i själva Espresso!