EF-støttede teams:Roundup af forskning og udvikling

Vi har alle meget at være taknemmelige for denne feriesæson, fra den første fødselsdag for beacon-kæden, til de vellykkede opgraderinger i løbet af det sidste år og de utrolige fremskridt på tværs af hele Ethereum-økosystemet.

Da et meget produktivt år lakker mod enden, er der et par sidste gaver at levere i form af opdateringer fra mange (15+!!) EF-understøttede teams, der altid arbejder på at forbedre netværket. Og der er masse af indholdsmæssigt materiale her, så brug lidt tid på at sortere i indholdsfortegnelsen, og grav i!

Som altid fokuserer denne roundup-serie på EF-støttede teams, hvis medlemmer arbejder på at vokse og forbedre Ethereum som helhed. Inkluderet i denne udgave er opdateringer fra mange hold fremhævet i den forrige rapport, og andre nye og roterende grupper.

God fornøjelse! 🦄

Indholdsfortegnelse

  • Konsensus F&U (også kaldet EF Research Team)
  • Økosystemstøtteprogram
  • Ethereum.org
    • Indholdsopdateringer
    • Fællesskabsvækst
      • Nogle statistik (aug - dec)
    • Oversættelsesprogram
      • Nogle statistik:
    • CLR-finansiering
    • Hvad er det næste?
    • Hvordan lyder det?
  • Ipsilon
    • EVM Object Format (EOF)
    • Andre EIP'er
      • EIP-2681 (Begræns kun kontoen til 2^64-1 )
      • EIP-3855 (PUSH0-instruktion )
      • EIP-3860 (Grænse- og målerindgangskode )
    • get
    • evmone
    • ethash
    • Brusende
  • Formel bekræftelse
  • Geth
  • Javascript-teamet
  • Privatliv og skaleringsundersøgelser
    • zkEVM
    • ZKOPRU
    • Unirep &Unirep Social
    • CLR.fund for Everyone
    • InterRep
    • Semaphore / ZK-Keeper
    • RLN
  • Protokolsupport
  • Remix
  • Robust Incentives Group
  • Slangetæmmere [Python-økosystem]
    • Fe-lang
    • Portal
  • Sikkerhed [Sikkerheds-/Konsensustest]
  • Soliditet
  • ZoKrates
    • Sprog
    • Bevissystemer
    • Kompileringsydelse

Konsensus R&D (alias EF Research Team)

Forfattet af Hsiao-Wei Wang

I andet halvår af dette år inkluderede milepælene i Ethereum-konsensus-F&U:

  • Leverede den første beacon chain hårde gaffel Altair den 27. oktober. De vigtigste funktioner er:

    • synkroniseringsudvalg for at støtte light-klienter
    • incitament til regnskabsreformer for at reducere specifikationers kompleksitet
    • opdateringer af strafparameter i forhold til deres planlagte maksimalt strafværdier
  • Leveret Fletningen konsensus-lag specifikationer for interops og testnet:

For at tilpasse os The Great Renameing flyttede vi komponenter til "Consensus Layer" fra "Eth2" for klarere kommunikation på lang sigt.

I begyndelsen af ​​2022 vil vores team fokusere på at hjælpe med at levere "The Merge", den mest betydningsfulde konsensusprotokolopgradering nogensinde. Heldigvis har vi stor støtte fra kundeteams og andre i samfundet, der arbejder på at gøre dette til en realitet! I mellemtiden fortsætter vi vores forskningsarbejde om datatilgængelighed, L1-skalering og funktionerne i "oprydningsgaffelen" efter The Merge.

Økosystemstøtteprogram

Forfattet af ESP Team

Vi offentliggjorde vores Q2 Allocation Update med tilskud på i alt $7.794.000 for kvartalet - og Q3 kommer snart! Du kan også tjekke de seneste månedlige opsummeringer her og her for mere detaljerede fremskridtsopdateringer fra et par af vores fantastiske bevillingsmodtagere.

Bag kulisserne arbejder vi på en større overhaling af hjemmesiden, som skulle gøre det nemmere end nogensinde før at forstå ESPs mission og prioriteter, og for berettigede bygherrer at ansøge om finansiering eller anden støtte. Vi kan ikke vente med at lancere det nye websted i begyndelsen af ​​2022!

Ethereum.org

Forfattet af Sam Richards

For at gøre vores arbejde mere tilgængeligt og fremme mere samfundssamarbejde udgiver vores team en oversigt over vores kvartalsvise køreplansmål. Se vores produktkøreplan for Q4 her.

God ferie til alle fra ethereum.org-teamet 😀🎄 Som altid er vores vision med ethereum.org at skabe den bedste portal for Ethereums voksende samfund og at fungere som hoveddøren til Ethereum for millioner af nye besøgende hver måned.

Indholdsopdateringer

Ethereum bevæger sig hurtigt! Ud over at opdatere hundredvis af sider for at sikre, at vores indhold forbliver opdateret og nøjagtigt, har vi også udgivet en masse nyt indhold:

  • Fællesskabshub
  • Introduktion til smarte kontrakter
  • Ethereum-sikkerhed og svindel
  • Introduktion til Ethereum-styring
  • Introduktion til Ether
  • MEV
  • Og mange nye udviklertutorials

Vækst i samfundet

Ethereum.org eksisterer takket være hundredvis af indholds- og kodebidragydere fra fællesskabet. I Q3/Q4 lagde vi vægt på måder at øge bidragene på og anerkende fællesskabet for det arbejde, de udførte:

Nogle statistik (aug - dec)

  • Vores GitHub-bidragydere steg med 57 %, fra 396 til 621 😲
  • Vores Discord-fællesskab er næsten fordoblet, fra 6.500 til 12.200 medlemmer 🎉
  • Vi har afholdt to fællesskabsopkald og startet kontortid for bidragydere
  • Vi har tilføjet 3 nye fællesskabsguider (betroede medlemmer besvarer spørgsmål og modererer chat) 😎
  • Vi introducerede niveaudelte POAP'er for at gamify bidrag til indhold, kode og oversættelser

Oversættelsesprogram

Siden vi ansatte vores nye oversættelsesleder i juli, er oversættelsesprogrammet virkelig steget!

Nogle statistik:

  • Mellem juli og november oversatte fællesskabet tilsammen 1.373.046 ord for ethereum.org, over 10 gange mængden af ​​samme periode sidste år! For at sætte dette i perspektiv svarer det til at oversætte hele næsten 20 bøger 📚!
  • Vi har modtaget oversættelsesstøtte fra over 2.500 fællesskabsbidragydere 🤯
  • Vi har 37 sprog live på ethereum.org 🌍
  • Vi lancerede et initiativ for bedre at anerkende vores oversættere, herunder en rangliste og oversættercertifikater!

CLR-finansiering

Vi støtter en clr.fund-runde på Layer 2! Efter over 6 måneders bidrag til clr.funds kvadratiske finansieringsstack, har vi slået vores ændringer sammen til upstream-repoen, som tilføjer L2-netværkssupport og en række webapp-forbedringer.

clr.fund planlægger at implementere en finansieringsrunde på Arbitrum One rettet mod indsatsøkosystemet i januar, og EF er glade for at tilbyde matchende midler til runden. Vi håber du deltager! Følg med for detaljer. Yay offentlige goder!

Vi har bygget på skuldrene af giganter. Tak til clr.fund-teamet, MACI-teamet og clr.funds fællesskab af bidragydere, som fortsætter med at skubbe innovationer inden for ZKP og kvadratisk finansieringsområdet.

Hvad er det næste?

  • oprettelse af en læringshub, der giver ikke-tekniske brugere mulighed for at blive dygtige Ethereum-brugere
  • opbygge yderligere ressourcer på at køre noder og satse for at forbedre tilgængeligheden
  • yderligere automatisering af vores oversættelsespipeline for at frigive oversat indhold hurtigere
  • udvidelse af oversættelsesprogrammet ud over ethereum.org
  • opdatering af indhold til overgang væk fra Eth2-terminologien, efterhånden som fusionen nærmer sig

Hvordan lyder det?

Vi sætter pris på feedback på vores køreplan. Vores vejledende principper er baseret på at levere mest værdi på kortest tid, så hvis der er noget, du synes, vi skal arbejde på, så lad os det vide! Vi modtager gerne ideer og bidrag fra alle i fællesskabet.

Mere om at bidrage

Ipsilon

Forfattet af Alex Beregszaszi

Vi har oprettet et teamwebsted for at give en klar forklaring og en omfattende liste over vores nuværende og tidligere arbejde.

Det er let at se ud fra følgende overskrifter, at holdet i andet halvår for det meste fokuserede på EVM. Det er også vigtigt at nævne, at vi er gået sammen med Geth-teamet for at forbedre ydeevnen af ​​EVM-tolken.

EVM Object Format (EOF)

Det første skridt mod dette, EIP-3541, gik live med London, og vi har gennemført en undersøgelse på tværs af mange testnet og EVM-kæder for at finde et passende præfiks for EOF.

Der blev fortsat foretaget præciseringer af EIP-3540 (inklusive det valgte præfiks), og vi foreslog også yderligere arbejde, der byggede ovenpå det:

  • EIP-3670 for at introducere kodevalidering ved implementeringstidspunktet
  • EIP-3690 skal erstatte JUMPDEST opkoder med en JUMPDEST-tabel
  • EIP-4200 introducerer to nye opkoder, RJUMP og RJUMPI , hvilket letter statiske hop

I løbet af oktober præsenterede vi EOF på Liscon (slides her, men optagelsen er ikke tilgængelig) og ved Ethereum Meetup i Berlin (slides, optagelse).

Andre EIP'er

EIP-2681 (Begræns konto nonce til 2^64-1 )

Et af vores gamle forslag, EIP-2681, blev accepteret under ACD#120. Det kodificerer en begrænsning, som allerede (delvis) var implementeret i praksis hos de fleste klienter. Efter accept har vi udvidet Ethereum State Tests-pakken og justeret geth-implementeringen.

EIP-3855 (PUSH0-instruktion )

EIP-3855 foreslår at introducere en PUSH0 instruktion som skubber 0 ind på stakken. Dette er en ofte brugt funktion, som for det meste opnås i dag via ineffektive eller genbrugte instruktioner.

Vores analyse viste, at der kunne være sparet betydelige ressourcer med denne opcode:

For at sætte "affaldet" i perspektiv, er der på tværs af eksisterende konti spildt 340.557.331 bytes på PUSH1 00-instruktioner, hvilket betyder, at der blev brugt 68.111.466.200 gas på at implementere dem.

EIP-3860 (Grænse og måler initcode )

EIP-3860 er et forslag om at sætte en grænse og indføre måling for initcode. Dette ville give mulighed for mere optimeret analyse og eksekvering, fordi implementeringer ville skulle håndtere færre ukendte.

geth

Som et samarbejde med Geth-teamet begyndte vi at arbejde på at måle og forbedre ydeevnen af ​​EVM-tolken i geth.

På analysesiden er to rapporter bemærkelsesværdige:

  • Geth vs evmone sammenligner hastigheden af ​​Geth og evmone ved hjælp af benchmarking-pakken i evmone.
  • Geth &Go-kompileren udforsker effekten af ​​Go-kompilatorversionen på hastigheden af ​​geth.

Baseret på disse indledende resultater har vi undersøgt profilering og endelig bidraget med adskillige forbedringer til kodebasen, hvoraf de fleste allerede er fusioneret. En ikke-udtømmende liste over relevante PR'er:23952, 23970, 23974, 23977, 24017, 24026, 24031, 24120.

Følg dette link for at se alle PR. Vi planlægger at fortsætte dette arbejde i det næste kvartal.

evmone

Der blev lavet to fejlrettelser af evmone:0.8.1 og 0.8.2.

ethash

Holdet vedligeholder også et C++ ethash/keccak256-bibliotek, som bruges af evmone og Silkworm.

Den seneste 0.8.0-udgivelse introducerer en ny metode til at verificere de endelige Ethash-hashes mod blokvanskeligheden. Dette er både en forbedring af brugervenlighed og hastighed. Metoden er blevet offentliggjort på Ethresear.ch.

Derudover er ProgPoW blevet udfaset i biblioteket.

Fizzy

Holdet deltog også i Wasm in Web3-konferencen i løbet af september. Vi holdt to oplæg:

  • Fizzy — En deterministisk fortolker (slides) gav et omfattende overblik over, hvad Fizzy er, hvordan det kan sammenlignes med andre motorer, og forklarer også ræsonnementet bag mange af de designvalg, vi traf.
  • Mærkelige særheder under testning af WebAssembly viser et godt udvalg af edge-cases, vi er stødt på under udviklingen af ​​Fizzy. Foredraget giver også nogle potentielle løsninger og forklaringer til disse kantsager, samt hvordan vi har udvidet den officielle WebAssembly-testpakke til at dække dem.

Formel bekræftelse

Forfattet af Leo Alt

I andet halvår fortsatte FV-teamet med at fokusere på vores eksisterende værktøjer:

Handling:

  • Vi har endelig udgivet Act 0.1! Du kan læse den fantastiske vejledning på https://fv.ethereum.org/2021/08/31/act-0.1/ for at tjekke, hvad der er muligt i øjeblikket, og hvordan du bruger det.
  • Vi er i øjeblikket ved at omstrukturere fejlhåndtering for at forbedre brugervenligheden.

Hevm:

SMTChecker:

  • Spor saldi af kontrakter præcist, inklusive msg.value sendt til og fra de analyserede kontrakter.
  • Understøtter også opkaldet på lavt niveau fungere som et usikkert eksternt opkald.
  • Forbedre modeksempler ved at rapportere blok.* , msg.* og tx.* værdier, der er vigtige for mislykkede verifikationsmål.
  • Rapportér kontrakt- og reentrancy-induktive invarianter tilbage til brugeren.

Geth

Forfattet af Felix Lange

I anden halvdel af 2021 udgav vi 9 geth-udgivelser. Som sædvanlig har vores tid været delt mellem EIP-gennemgang/implementering, klientoptimering/vedligeholdelse og gennemgang af kodeændringer foreslået af fællesskabet.

I juli blev Londons hårde gaffel, som inkluderede EIP-1559, aktiveret. Den nye gasprisordning defineret af denne EIP krævede mange ændringer på tværs af alle subsystemer i geth. Vi opdager og løser stadig problemer med hjørnehus i forbindelse med EIP-1559 nu, seks måneder efter introduktionen.

To sikkerhedssårbarheder blev opdaget inden for de seneste seks måneder. For dem begge fulgte vi vores sikkerhedsrådgivningspolitik:vi tildelte straks et CVE-nummer til problemet og udgav en hotfix-udgivelse. Tekniske detaljer om sårbarheden blev offentliggjort 6-8 uger senere.

I det sidste kvartal af 2021 er vores arbejde for det meste skiftet mod implementering og test af The Merge . Vi er på vej til at omdanne geth til 'execution layer client' af de fusionerede execution+consensus (fmr. "eth1+eth2") lag. Som forberedelse til The Merge har vi omskrevet meget af synkroniseringskoden for at fungere under kontrol af konsensuslaget. Geth deltager også i Merge testnets.

Derudover har geth-teamet arbejdet på adskillige langsigtede projekter, såsom implementering af Verkle Trees, en beacon chain light-klient og en ny databaselagringsordning for Ethereum-staten.

Javascript-team

Forfattet af Holger Drewes

I de sidste to kvartaler af 2021 var forberedelserne til "de store overgange" på Ethereum-netværket et stærkt fokus i vores arbejde. Vi deltog i Merge Interop i Grækenland og udgav de første Merge-testnet-klare versioner af vores klient, VM og relaterede biblioteker (se f.eks. EthereumJS-klienten v0.2-udgivelsen). Vi startede også på et spændende eksperiment med Go-Ethereum Verkle/Stateless-teamet for at teste statsløs blokudførelse baseret på et verkle proof serveret langs en modificeret blokheader via devp2p i vores klient. Hvis du er interesseret, kan du se følgende sporingsproblem for at se vores fremskridt.

Lidt mere anvendeligt for slutbrugeren lige nu :understøttelsen af ​​vores biblioteker til de nye L2-netværk som Polygon, Arbitrum eller Optimism er blevet forbedret. Disse og nogle andre netværk kan nu direkte henvises til f.eks. sende en transaktion til et bestemt L2-netværk. Se f.eks. Common v2.6.0-udgivelsen til den seneste Optimism L2-netværksintegration.

Og sidst men ikke mindst:der er en VM ArrowGlacier-udgivelse tilgængelig og på Ethers.js-fronten. Richard har netop offentliggjort en spændende oversigt over de kommende ændringer og opdateringer af Ethers.js v6-biblioteket på sin blog.

Privatliv og skaleringsundersøgelser

Forfattet af Thore Hildebrandt

Privacy &Scaling Explorations-teamet arbejder på at bygge bro mellem banebrydende forskning i nul-viden beviser og applikationsudvikling på Ethereum.

zkEVM

Målet med zkEVM er at køre smarte kontrakter i en zk-rollup. Desværre var EVM ikke designet til at køre i et zk-kredsløb, hvilket gør det til en udfordring. Vi ønsker at implementere det fulde sæt af EVM-opkoder direkte i zk-kredsløbene, så en smart kontrakt, der kører på L1, kan implementeres til L2 med minimale ændringer. Dette vil tillade fuld kompatibilitet med eksisterende værktøjer og sætte os i stand til at udnytte viden om den EVM, som økosystemet har opbygget i løbet af de seneste år. Vi gør gode fremskridt med specifikation af opkoderne og implementering af kredsløbene, og vi har tidlige benchmarks og et vigtigt mål fremadrettet for at nedbringe prøvetiden.

ZKOPRU

ZKOPRU (zk-optimistic-rollup) er en lag-2-skaleringsløsning til private transaktioner ved hjælp af zk-SNARK og optimistisk rollup. Det understøtter private overførsler og private atomswaps inden for lag-2 netværket mellem ETH, ERC20 og ERC721. Det giver også øjeblikkelig tilbagetrækning med forudbetalingsfunktioner og kompatibilitet med overholdelse ved hjælp af forbrugsnøgle og visningsnøgler. ZKOPRU er for nylig lanceret på testnet - gå videre og tjek det ud. Vi arbejder på at forbedre synkroniseringstider og på en privat udvekslingsfunktion.

Unirep &Unirep Social

UniRep er et privat og ikke-afviseligt omdømmesystem. Brugere kan modtage positivt og negativt omdømme fra attestere og frivilligt bevise, at de har mindst et vist omdømme uden at afsløre det nøjagtige beløb. Desuden kan brugere ikke nægte at modtage omdømme fra en attester. Vi bruger Unirep til at bygge Unirep Social:en Reddit-lignende platform, der giver brugerne mulighed for privat at akkumulere karma. Opbygningen af ​​Unirep Social-webstedet var vores fokus i de seneste måneder. Beviser i Unirep er nu indekseret, så de kan henvises mange gange og forhindrer, at ét bevis indsendes to gange. Unirep kan nu håndtere et første luftdrop om omdømme og en overgang til brugertilstand. Vi forbedrer også effektiviteten i at generere brugertilstand og Unirep-tilstand.

Grundlæggende funktioner, frontend-design, frontend og backend af Unirep Social er færdige, og vi planlægger en lukket pre-alpha-udgivelse. Tjek dette blogindlæg, hvis du vil vide mere.

CLR.fund for Everyone

Målet med projektet er at gøre det nemt for ethvert samfund at køre deres egen CLR-runde med clr.fund. Dette projekt har været meget travlt. Du kan nu implementere din egen kvadratiske finansieringsansøgning med clr.fund Deployer. Giv dit fællesskab mulighed for at vælge og finansiere sin egen fremtid på en fuldt decentraliseret måde. Tjek vores undergrafik og dokumentation.

InterRep

Omdømme er nøglen til tillid. Folk bruger år på at opbygge deres omdømme på centraliserede sociale platforme, men de skal starte fra ingenting, hver gang de begynder at bruge en ny app. InterRep sigter mod at gøre omdømme bærbart for at udvide de sammensatte fordele ved pålidelige menneskelige interaktioner på tværs af nettet. Tjek dette blogindlæg for den første meddelelse og repoen. I det seneste kvartal har vi udvidet rækken af ​​sociale beviskilder til POAP og e-mail og har kurateret grupper:on-chain og off-chain via en Telegram-bot. Vi laver et redesign af brugergrænsefladen, forbedrer interaktionen med klientapplikationer og forbereder en live-lancering.

Semaphore / ZK-Keeper

Semaphore er en nul-viden gadget, som giver brugerne mulighed for at bevise deres medlemskab af et sæt uden at afsløre deres oprindelige identitet. Samtidig giver det brugerne mulighed for at signalere deres godkendelse af en vilkårlig streng. Det er designet til at være et simpelt og generisk privatlivslag for Ethereum dApps. Brugssager omfatter privat afstemning, whistleblowing, mixere og anonym godkendelse. Med ZK-Keeper fokuserer vi på at holde Semaphore opdateret med de nyeste zk-værktøjer og integrere det med andre projekter som InterRep. Vi har nye biblioteker til håndtering af semaforbeviser og identiteter. Implementeringen er nu udført oven på Halo2, og vi gør den klar til at blive brugt i browseren.

RLN

RLN (Rate Limiting Nullifier) ​​er en konstruktion baseret på nul-viden beviser, der muliggør forebyggelse af spam for decentraliserede, anonyme miljøer. I anonyme miljøer er entiteternes identitet ukendt. Vi har for nylig udgivet et forklarende blogindlæg for at få flere mennesker begejstrede for ideen. Vi har afsluttet research omkring "Feasibility analysis for ETH2 Validator privacy using RLN". Vi arbejder på at produktionsalisere projektet "Privat instant chat-app ved hjælp af RLN og Interrep". Vi hjælper også med at integrere ZK-Keeper-pluginnet i RLN-projekterne.

Protokolunderstøttelse

Forfattet af Tim Beiko

Protocol Support (PS)-teamet blev dannet i 2021 for at øge antallet af måder, hvorpå de teams, der bygger eller interagerer med Ethereum-baselaget, understøttes. Teamets hovedfokus er at gøre det muligt for kerneudviklere at sende netværksopgraderinger på Ethereums eksekveringslag.

Til dette formål blev Berlin, London og Arrow Glacier indsat i år. Ud over disse brugte PS betydelige kræfter på at arbejde hen imod The Merge, først med Rayonism, derefter Amphora-værkstedet og nu Kintsugi Devnet!

Dette accelererende tempo og omfanget af ændringer har krævet mere opsøgende kontakt til Ethereum-fællesskabet, hvilket fik vores team til at organisere hyppige fællesskabsopkald. I løbet af disse blev applikations-, infrastruktur- og værktøjsudviklere inviteret til at diskutere, hvordan de bedst understøtter protokolopgraderinger og giver en glidende overgang for deres brugere. Sideløbende med disse opkald har teamet holdt adskillige foredrag og offentliggjort adskillige indlæg om den ændrede Ethereum-køreplan, såsom denne seneste opdatering af alle kerneudviklere, dette stykke i Bankless og dette seneste indlæg om Merge og applikationslaget i EF-bloggen.

Ud over protokolopgraderinger har PS-teamet taget to store initiativer for at sikre, at klientteams er godt understøttet. Først blev et klientincitamentsprogram annonceret for at give teams Ethereum-tilpassede langsigtede incitamenter. Programmet giver klientteams et sæt af 144 validatorer, som de skal køre ved hjælp af deres software. Forudsat at hold bliver ved med at opfylde visse præstationsbenchmarks på mainnet, overdrages disse validatorer gradvist til holdene, som frit kan enten likvidere dem eller holde dem kørende for at indsamle belønninger og gebyrer. Dette program tilpasser teams med Ethereum, sikrer, at de "dogfooder" deres kunder på mainnet, og at de bliver ved med at levere effektiv software.

For det andet blev et Core Developer Apprenticeship Program lanceret. Dette program gav stipendier og mentorskab til selvstyrende personer, der ønskede at dykke dybt ned i protokoludvikling. CDAP blev lanceret som et eksperiment, der viste sig at være utroligt vellykket! Der blev kørt to årgange med over 25 deltagere. Heraf arbejder mindst 5 nu på fuld tid i økosystemet. Disse indledende kohorter har lært os meget om, hvad der var godt, og hvad der kunne forbedres med programmet. Forvent en fornyet CDAP i 2022!

Til sidst eksperimenterede teamet med at levere infrastruktur til klientteamene og det bredere fællesskab. Til det formål blev crawler.ethereum.org sendt og åbnet. Vi håber, at det at have en ekstra crawler kørende og tilgængelig for fællesskabet til at forbedre, ændre eller fordele hjælper med at give et bedre overblik over netværkets topologi.

Remix

Forfattet af Rob Stupay

I løbet af de sidste 6 måneder har Remix-teamet skruet bagsiden af ​​vores app af for at foretage en omfattende omledning. Den første blandt disse ændringer var det fortsatte arbejde med at flytte vores kode til React. Vi udvidede også vores rækkevidde ved at ringe ind på nogle effektive kanaler til nye fællesskaber og integrere nye brugere med en grundlæggende produkt-"rundvisning" af vores IDE. Vi har tilsluttet projekter til vores "oplevelse", integreret Slither og Hardhat, samt opdateret Remix VSCode-udvidelsen.

Og hvis det ikke er nok, fik vi fat i nogle værktøjer til kollaborativ kodning, forbedring af decentraliseret GIT og integration af Github. Sidst, men ikke mindst, har vi opdateret vores eksisterende plugins. Kort sagt, vi har maxet det til 11.

Se flere detaljer i vores artikel.

Robust Incentives Group

Forfattet af Barnabe Monnot

RIG (Robust Incentives Group) bød nye teammedlemmer velkommen og deltog i mange vigtige milepæle for Ethereum-protokollen. For en hurtig genopfriskning af, hvad RIG er, og hvad vi bekymrer os om, kan du tjekke Protocol cryptoeconomics med RIG, præsenteret af Barnabé på EthCC i juli.

På Proof-of-Stake-konsensussiden fandt Caspar, der sluttede sig til os som fuldtidsforsker tidligere i år, et problem med det nuværende gaffelvalg, skrevet op som Tre angreb på Proof-of-Stake Ethereum. Heldigvis er der en stærk kandidatfix, der for nylig blev slået sammen i konsensusspecifikationerne, efter mange produktive diskussioner med Stanfords Tse Lab, som var medforfatter til papiret "Three attacks". Caspar og andre foreslog også en anden afbødning ("foreslårsynsfusion"), som stadig er under forskning. Se Caspar hos Liscon, der præsenterer sine resultater!

Shyam, som først kom til os som forskningspraktikant sidste sommer og nu er forskningsassistent ved RIG, udgav en række notesbøger, der udforsker beacon-kædestatistikken fra mange unikke vinkler, inklusive oceaniske spil og ulighed. Shyam har også arbejdet på en udvidelse af vores Beacon runner PoS-simuleringsmotor, der inkluderer forstærkningslæring. Tjek hans foredrag på EDCON!

Blok 12.965.000, 5. august, 12:33:42 UTC, var en vigtig dato for os:Londons hårde gaffel blev aktiveret, og med den, EIP-1559. I løbet af det sidste år har vi udgivet en række notebooks, der præsenterer forskellige simuleringer af den nye gebyrmarkedsmekanisme, som satte scenen for yderligere analyse efter lanceringen. Barnabé rapporterede nogle resultater tidligt efter, og skrev sammen med medforfattere (inklusive Shyam) et papir i længere form, Transaction Fees on a Honeymoon:Ethereums EIP-1559 One Month Later. Artiklen er motiveret af 1559-opdateringsreglens adfærd i den virkelige verden og åbner nye forskningsretninger for forbedringer af reglen.

RIG arbejdede også tæt sammen med cadCAD Edu-teamet i forberedelsen af ​​en online masterclass i validatorøkonomi, understøttet af en fuldt udbyggelig model for Ethereum-økonomi (i Python).

Slangetæmmere [Python Ecosystem]

Forfattet af Keri Clowes

I anden halvdel af 2021 gennemførte Snake Charmers-teamet de nødvendige ændringer på tværs af økosystemet for at understøtte Londons hårde gaffel. Dette involverede omfattende, grundlæggende ændringer i hele vores stack, især i Py-EVM, Ethereum Tester, Web3.py og eth-account. Der var også indsendt to fejlbelønninger for Py-EVM, som er blevet rettet. Vi har øget indsatsen for at generere undervisningsindhold og lagt større vægt på udviklerrelationer. Og som altid er der løbende fællesskabssupport, problemtriage og bug squashing på tværs af vores Python-værktøjer.

Fe-lang

Forfattet af Grant Wuerker

I løbet af de sidste 6 måneder har Fe-teamet reduceret følgende udgivelser:

0.11.0-alfa "Karlite" (2021-12-02)

  • understøttelse af flere filer
  • funktionsdefinitioner på strukturer

v0.10.0-alpha "Jade" (2021-10-32)

  • Konstanter og funktioner på modulniveau
  • usikker support

v0.9.0-alpha "Iridium" (2021-9-29)

  • selverklæringer i funktionssignaturer

v0.8.0-alpha "Haxonite" (2021-8-31)

  • forespørgselsbaseret analyse ved hjælp af Salsa

0.7.0-alfa "Galaxite" (2021-07-27)

  • Solidity ABI-dekodningstjek

0.6.0-alfa "Feldspat" (2021-06-10)

  • ingen bemærkelsesværdige funktioner

Hvis du gerne vil vide mere om vores fremskridt i løbet af de sidste 6 måneder, kan du tjekke følgende ressourcer:

  • udgivelsesside
  • blog
  • 2021-mål

Portal

Forfattet af Piper Merriam

Dette år har været et stort år for Portalnetværket. Vi startede i år med en idé og kun en løs plan for, hvordan man opbygger et peer-to-peer-netværk, der kunne levere letvægtsadgang til Ethereum-protokollen. Vi har nu tre uafhængige teams og implementeringer og er godt i gang med at lancere det indledende testnet, som skal udvikle sig til et fuldt funktionelt netværk inden udgangen af ​​2022.

EF Portal-teamet har arbejdet hårdt på Trin, en portalklient skrevet i Rust. EF Javascript-teamet har også arbejdet på Ultralight, en portalklient skrevet i Typescript med det formål at kunne køres i browseren. Holdet fra Status.im har også arbejdet på Fluffy, en portalklient beregnet til integration med Status ethereum-klient- og tegnebogsløsningerne.

I løbet af dette år har vi løst det tidligere uløste problem med, hvordan man distribuerer den nuværende Ethereum-stat på en måde, der er befordrende for effektiv opbevaring og genfinding. Vi etablerede Portal Wire Protocol, en udvidelsesbar basisprotokol, der er grundlaget for alle de netværk, der udgør Portal Network. Vi havde også fornøjelsen af ​​at arbejde med flere deltagere i Core Developer Apprenticeship-programmet, som brugte Portal Network-projekterne som et startpunkt for at komme ind i Core Protocol-udvikling.

Sikkerhed [Sikkerhed/Konsensustest]

Forfattet af sikkerhedsteamet (sikkerheds-/konsensustests)

På sikkerheds- og testsiden er der blevet givet megen opmærksomhed til London-opgraderingen og den kommende fusion. Vi har lavet opdateringer om værktøjer til testforfattelse og fortsatte med at forbedre referencetestene.

Soliditet

Forfattet af Franziska Heintel

I andet halvår af dette år udgav vi Solidity-versionerne 0.8.8, 0.8.9, 0.8.10 og 0.8.11:

  • Solidity 0.8.8 giver dig brugerdefinerede værdityper som en stor ny funktion. Det forbedrer også tilsidesættende grænsefladefunktioner, læsning fra uforanderlige genstande og mere.
  • Solidity 0.8.9 er en ren fejlrettelsesudgivelse og retter to vigtige fejl, men med lav sværhedsgrad:
    • Underskrevne uforanderlige fejl
    • Bug med brugerdefinerede værdityper
  • Solidity 0.8.10 contains external function call optimizations, enables the new EVM code generator for pure Yul mode and can report contract invariants and reentrancy properties through the SMTChecker.
  • Solidity 0.8.11 adds a first implementation of a Language Server and allows a safer way to perform ABI-encoding.

Moreover, several Solidity team members presented at ETHGlobal’s Developer Tool Summit:

  • Hari with “What’s New in Solidity”
  • Franzi with “Next Level Source Verification with Sourcify”

The Solidity documentation got a few upgrades, most notably, we…

  • updated the resources section with general resources, Ethereum IDEs, editor integrations, Solidity tools, Solidity parsers and grammars.
  • added the functionality to open code examples in the documentation directly in Remix.

Lastly, we launched our yearly Solidity Developer Survey. If you are a Solidity developer, please take 10 minutes to share your feedback and take part in the survey here. The survey will be open until 31st of December 2021.

Oh and we’re hiring! Have a look at our C++ Engineer Solidity opening.

ZoKrates

Authored by Thibaut Schaeffer

In the second half of 2021, ZoKrates advanced on different fronts:

Language

  • Type aliasing, as well as the ability to make function calls in constant definitions
  • Support for the ternary expression syntax
  • Enable constant generics on structs

Proof systems

  • Reduction of the deployment cost for some Solidity verifiers
  • Expose recursive verification in the standard library
  • Add support for Groth16 MPC ceremonies (coming soon)

Compiler performance

  • Extensive work on reducing memory and time requirements of the compiler (coming soon with metrics!)

For a full list of the changes, check out the changelog


Ethereum
  1. Blockchain
  2. Bitcoin
  3. Ethereum
  4. Digital valutaveksling
  5. Minedrift