Nytt innlegg på ! WHIR for Ethereum Ved: - Thomas Coratger - Giacomo Fenzi 🔗 Høydepunkter: - WHIR reduserer bevisstørrelsene betydelig, noe som gjør dem vanligvis under 100 kilobyte, noe som er avgjørende for Ethereums effektivitet. - Det gir ekstremt raske verifiseringstider, ofte innen mikrosekunder, noe som er avgjørende for applikasjoner på kjeden. - Protokollen støtter både univariate og multilineære kodinger, noe som gjør den allsidig for ulike bevissystemer. - WHIRs rekursive foldemekanisme og sumcheck-integrasjon fører til lavere spørringskompleksitet, noe som reduserer antall datapunkter som trengs for verifisering. - Den er spesielt godt egnet for applikasjoner som rollups og signaturaggregering, og adresserer fremtidige skalerbarhets- og sikkerhetsbehov i Ethereum. ELI5: WHIR er en ny metode for å verifisere matematiske bevis i Ethereum som gjør dem mindre, raskere og enklere å sjekke. Den bruker smarte teknikker for å sikre at bevisene er korrekte uten å trenge mye datakraft, noe som er viktig etter hvert som Ethereum vokser.

Nytt innlegg på ! En zkVM for genetisk programmering på Ethereum Ved: - Johba 🔗 Høydepunkter: - DeFi-protokoller sliter for tiden med å optimalisere parametere på grunn av høye kostnader og tillitsproblemer. - Den foreslåtte løsningen bruker genetisk programmering for å utvikle algoritmer utenfor kjeden, som deretter kan kjøres i en virtuell maskin med null kunnskap (zkVM) på kjeden. - PUSH3-språket er designet for dette formålet, og tillater enkle aritmetiske operasjoner som er effektive for zkVM-kjøring. - Implementeringen kan generere STARK-bevis på algoritmekjøring, noe som sikrer tillitløshet og korrekthet uten å være avhengig av eksterne validatorer. - Hvis denne tilnærmingen lykkes, kan denne tilnærmingen gjøre det mulig for DeFi-protokoller å autonomt utvikle optimaliseringsstrategiene sine, øke effektiviteten og redusere avhengigheten av menneskelig dømmekraft. ELI5: Denne forskningen introduserer en ny måte å optimalisere desentraliserte finansprotokoller (DeFi) på Ethereum ved hjelp av genetisk programmering og nullkunnskapsbevis. I stedet for å stole på dyre konsulenter eller statiske parametere, kan protokoller utvikle sine egne optimaliseringsalgoritmer utenfor kjeden og verifisere deres riktighet på kjeden uten å måtte stole på noen.

Nytt innlegg på ! Ethereum Settlement Score (ESS): Revitaliserer det rollup-sentriske veikartet Ved: - Gitpusha 🔗 Høydepunkter: - De fleste Layer 2-løsninger bruker ikke Ethereums sikkerhet effektivt, og er ofte avhengige av tredjepartsbroer i stedet. - Ethereum Settlement Score (ESS) er en ny beregning som måler hvor mye en L2 faktisk bruker Ethereums sikkerhetsfunksjoner. - Nåværende beregninger gir et misvisende inntrykk av L2-modenhet, med fokus på teoretisk sikkerhet i stedet for faktisk bruk. - Native rollups er avgjørende for å oppnå ekte Ethereum-sikkerhet uten å være avhengig av mellomledd. - Zero Knowledge-teknologi vil forbedre brukeropplevelsen ved å tillate umiddelbare uttak, noe som gjør Ethereums sikkerhet mer tilgjengelig. ELI5: Denne artikkelen snakker om hvordan Ethereums Layer 2-løsninger (L2s) ikke bruker Ethereums sikkerhet som de burde. Den introduserer en ny måte å måle hvor godt disse L2-ene gjør det når det gjelder sikkerhet og effektivitet, kalt Ethereum Settlement Score (ESS). Målet er å sørge for at L2-er virkelig drar nytte av Ethereums styrker, som å være sikre og motstandsdyktige mot sensur.

Nytt innlegg på ! På Ethereum Prover Market Design Ved: - @mikeneuder - Maryam 🔗 Høydepunkter: - Ethereums skaleringsstrategi er avhengig av ZK-bevis for å validere transaksjoner, noe som kan endre hvordan blokker behandles. - Forslagsstillere (de som lager blokker) må kanskje kjøpe bevis fra tredjeparter hvis de ikke kan generere dem selv. - To hovedmekanismer for å skaffe bevis foreslås: bevislotterier og innsatstildelinger, hver med forskjellige avveininger. - Valget mellom å bruke et lotteri eller innsatstildeling avhenger av budsjettet som er tilgjengelig for innsats; hvis det er lavt, er et lotteri bedre, mens et høyt budsjett favoriserer innsatsbevilgninger. - Praktiske hensyn for bevismarkeder inkluderer behovet for desentralisering, kostnadene ved bevisgenerering og hvordan man kan kompensere bevisere rettferdig. ELI5: Denne forskningen diskuterer hvordan Ethereum kan forbedre transaksjonsbehandlingen ved å bruke et bevissystem kalt ZK-bevis. Den utforsker hvordan folk som lager disse bevisene (kalt bevisere) kan kompenseres rettferdig, enten gjennom lotterier eller ved å kreve at de satser penger som sikkerhet. Målet er å finne den beste måten å sikre at bevisere er motiverte til å levere bevisene sine effektivt.

Nytt innlegg på ! Integrering av 3SF med ePBS, FOCIL og PeerDAS Ved: - Luca Zanolini - Roberto Saltini 🔗 Høydepunkter: - Integrasjonen av 3SF med ePBS, FOCIL og PeerDAS har som mål å forbedre blokkjedeeffektiviteten og sikkerheten ved å adressere transaksjonsinkludering og prostiller-bygger-separasjon. - Det foreslåtte systemet opererer i spor, slik at alle validatorer kan stemme på blokker hver plass, noe som forenkler prosessen og fjerner behovet for epoker eller komiteer. - FOCIL sikrer at viktige transaksjoner inkluderes i blokker ved å kreve at forslagsstillere følger inklusjonslister opprettet av en komité av validatorer, og forhindrer sensur. - ePBS formaliserer rolleskillet mellom blokkbyggere og forslagsstillere, noe som muliggjør en mer konkurransedyktig og gjennomsiktig blokkkonstruksjonsprosess. - Forskningen fremhever viktigheten av å opprettholde kjerneegenskapene til 3SF, som reorganiseringsmotstandskraft og transaksjonsinkludering, selv når man integrerer nye mekanismer. ELI5: Denne forskningen utforsker hvordan man kan kombinere en ny protokoll kalt 3SF med andre forslag for å forbedre blokkjedeytelse og sikkerhet. Den ser på hvordan disse systemene kan fungere sammen uten å forårsake problemer, og sikrer at transaksjoner inkluderes rettferdig og effektivt.

🤖Den ukentlige oppsummeringen📈 LMD GHOST med ~256 validatorer og en hurtigfølgende finalitetsgadget Av: @VitalikButerin 🔗 🔥 6 kommentarer denne uken Et forslag til Ethereum Prover-markedet Av: @_julianma 🔗 1 kommentarer denne uken Tilgangslister på blokknivå (BAL-er) Av: @nero_eth 🔗 2 kommentarer denne uken Bekreftelsesregel for Ethereum PoS Av: adiasg 🔗 1 kommentarer denne uken Har Ethereum et zk-verifiserbarhetsproblem? Av: 71104 🔗 3 kommentarer denne uken

Nytt innlegg på ! HD-lommebok for gitterkryptografi Ved: - illuzen 🔗 Høydepunkter: - Den foreslåtte HD-lommeboken bruker gitterkryptografi for å forbedre sikkerheten mot kvanteangrep, med fokus på Dilithium-signaturskjemaet. - Forskningen identifiserer to hovedutfordringer med å tilpasse gitterkryptografi for HD-lommebøker: generering av passende private nøkler og mangelen på operasjoner for ikke-herdede nøkler. - Løsningen innebærer å bruke HMAC-utgang som en kilde for å generere nøkler, noe som sikrer kompatibilitet med eksisterende lommebokstandarder som BIP32 og BIP44. - Implementeringen av lommeboken er tilgjengelig som åpen kildekode, noe som muliggjør fellesskapstesting og validering mot etablerte testvektorer. - Studien understreker viktigheten av å sikre digitale signaturer mot kvantetrusler samtidig som de nåværende hash-funksjonene opprettholdes. ELI5: Denne forskningen introduserer en ny type digital lommebok som bruker en spesiell type matematikk kalt gitterkryptografi. Det lar brukere lage mange sikre nøkler fra en enkelt sikkerhetskopifrase, noe som gjør det enklere å administrere sine digitale eiendeler, spesielt i en fremtid der kvantedatamaskiner kan bryte tradisjonelle sikkerhetsmetoder.

🤖 Ny EIP: 0000 Ved: - Anders Elowsson (@anderselowsson) -Vitalik Buterin (@vbuterin) 🔗 EIP-0000 foreslår et enhetlig flerdimensjonalt gebyrmarked for Ethereum-transaksjoner, slik at brukere kan spesifisere en enkelt samlet "max_fee" for flere ressurser. Dette tar sikte på å øke kapitaleffektiviteten ved å behandle "max_fee" som fungible på tvers av ulike ressurstyper, og dermed forenkle brukeropplevelsen og forbedre den økonomiske effektiviteten. Forslaget søker også å forene eksisterende gebyrmekanismer og legge til rette for fremtidige utvidelser til ytterligere ressurser.

Nytt innlegg på ! Sikre agent-protokoll-interaksjoner: En spesifikasjon for kanoniske EVM MCP-implementeringer Ved: - Empea-karrierekriminell 🔗 Høydepunkter: - Nåværende metoder for å integrere AI-agenter med blokkjede er usikre, og risikerer tap av midler og data. - Model Context Protocol (MCP) er foreslått som en standard for å muliggjøre sikre interaksjoner mellom agenter og Ethereum. - En trekomponentarkitektur foreslås for å skille bekymringer: en protokoll-MCP-server, en Signer MCP-server og selve agenten, noe som sikrer sikkerhet og revisjonsmuligheter. - Et koderegister på kjeden foreslås for agenter for å verifisere legitimiteten til protokollinteraksjonene deres før de utfører transaksjoner. - Forskningen understreker potensialet for at sikre agentinteraksjoner kan strekke seg utover økonomi, og påvirke områder som identitetsadministrasjon, styring og innholdsskaping. ELI5: Denne forskningen diskuterer hvordan man kan sikre at smarte dataprogrammer (agenter) trygt kan samhandle med Ethereum, en type blokkjede. Den fremhever behovet for en sikker måte å administrere disse interaksjonene på, slik at agenter kan operere uten å risikere folks penger eller data.

🤖 Ny EIP: 0000 Ved: - Alberto La Rocca (@71104) -Aryaethn (@aryaethn) 🔗 Denne EIP-en foreslår å transformere Ethereums "randao_reveal" til en verifiserbar tilfeldig funksjon (VRF) per spor ved å inkorporere forrige epokes RANDO-miks og gjeldende spornummer i de signerte dataene. Denne endringen tar sikte på å forbedre uforutsigbarheten til tilfeldighetskilden, støtte hemmelige forslagsstillervalg og eliminere visse angrepsvektorer, og dermed forbedre den generelle sikkerheten og funksjonaliteten til Ethereums konsensusmekanisme.