1d siden
Når jeg ser vitalik nevne Brevis, ser det ut til at L1-utvidelse er veldig viktig. I Ethereum-veikartet er det et konsept: "off-chain computing, on-chain verification"-modell, Eigenlayer, Succinct og Zksync har lignende ideer, noe som indikerer at det er en konsensus i bransjen om at hvis du virkelig ønsker å desentralisere L1-ekspansjon, kan du dra nytte av off-chain-fordeler; Brevis brukte også denne modellen, så hva er forskjellen mellom Brevis og Brevis? La oss kort forstå hva som er modusen "off-chain computation, on-chain verification"? For å gjøre det lettere for mer vanlige brukere å forstå, kan en forenklet analogi brukes til å "beregningsmessig verifisere på kjeden" som "kondenserer" off-chain fakta (beregnede resultater eller data) til et kortfattet bevis eller sammendrag, som deretter verifiseres på kjeden. Til en viss grad ligner ideen på L2 Rollup, som pakker og kondenserer flere transaksjoner til en batch og sender dem til L1 for verifisering og utførelse. Gjennom matematikk komprimeres en stor mengde beregningsarbeid utenfor kjeden til små biter av informasjon, som effektivt kan behandles på dyre kjeder med lav gjennomstrømning, og dermed løse blokkjedeskalerbarhetsproblemet. Kjernemekanismen til Brevis er å utføre effektiv beregning utenfor kjeden, generere ZK-bevis og deretter fullføre verifisering på kjeden raskt og kostnadseffektivt, uten å utføre hele den komplekse beregningen på nytt. Dette er ikke nytt, og Brevis skiller seg ut på det: * Kombinasjon av allsidighet og dedikert optimalisering Brevis' teknologistabel er modulær i design, med Pico zkVM som sin universelle verifiserbare databehandlingsmotor som støtter ZK-bevisgenerering for enhver beregning. Utviklere skriver kode i Rust uten ZK-ekspertise, og plattformen håndterer automatisk bevisgenerering, noe som senker inngangsbarrieren for utviklere til å bygge komplekse kryptografiske applikasjoner (teknologi abstraherer ZK-kompleksitet og lar utviklere bygge applikasjoner som om de skrev vanlig kode). Den modulære arkitekturen støtter tillegg av spesifikke koprosessorer, og i tillegg til generell oppgjør, kan den også optimaliseres for komplekse beregninger i spesifikke scenarier for å oppnå mer målrettede forbedringer. Den har en innebygd protokollprosessor kalt ZK Data Coprocessor, som er designet for blokkjedehistorisk dataanalyse og kan løse problemet med "hukommelsestap" i smarte kontrakter (manglende evne til å få tilgang til historiske data billig). Det er i Hente og analysere data utenfor kjeden, gi resultater og bevis, og sikre dataeksistens og beregningskorrekthet. For eksempel kan pancakeswap bruke Brevis-kroker for å oppnå gebyrrabatter basert på brukerens handelsvolum; Uniswap bruker Brevis for gassrefusjoner. De oppnår betydelige kostnadsbesparelser mens de implementerer komplekse funksjoner gjennom zK Data Coprocessor. * Gi en "akselerator" for Ethereum L1 Pico Prism er en av Brevis' nøkkelteknologier, som har gjort et gjennombrudd innen multi-server GPU-klynger, og støtter "sanntidsbevis" av Ethereum L1. Dette "sanntidsbeviset" kan forstås som hver blokk (én side med transaksjonsposter) av Ethereum L1, som kan "stemples" med kryptografi på noen få sekunder for å bekrefte at det er riktig, og du trenger ikke å beregne på nytt om det er pålitelig eller ikke. I henhold til den nåværende Ethereum Foundation-referansen for sanntidsbevis, for den nåværende L1-blokken med en gassgrense på 45 millioner, oppnår den 99,6 % dekning (< 12-sekunders bevis) og 96,8 % sanntidsdekning ( <10 sekunder); Gjennomsnittlig bevistid er 6.04 sekunder for en 36M gassblokk og 6.9 sekunder for en 45M gassblokk. Maskinvaren er 64 RTX 5090 GPUer og koster $128K. Dataene ovenfor ser profesjonelle ut, men for den gjennomsnittlige brukeren kan dataene være ufølsomme. For enkelhets skyld kan vi forenkle analogien med å installere en akselerator for Ethereum L1 i Pico Prism. Tidligere trengte Ethereum alle noder for å beregne hver blokk på nytt, men med teknologier som Pico Prism kan den "kondenseres" (raskt generere et bevis, superkomprimert sammendrag), slik at nettverket kan verifisere på sekunder uten å dobbelttelle per node. Dette betyr at Ethereum L1 vil bli raskere, billigere og mer effektiv, og kan håndtere mer komplekse implementeringer uten å ofre desentralisering og sikkerhet. Hvis den forrige Ethereum lignet på veteransykler, med Brevis' Pico Prism-teknologi, ble Ethereum-oppgraderingen en bil. Denne akselerasjonseffekten kan låse opp flere scenarier, for eksempel sanntids AI-drevet DeFi-utlån, spill på kjeden, anonym stemmegivning, etc. DeFi-scenario: Tidligere kunne smarte kontrakter på Ethereum L1 bare se på saldoen for å låne penger, og kunne ikke analysere brukerens robusthet basert på brukerens historiske transaksjonsdata (fordi massiv historisk dataanalyse ikke kunne gjøres). Basert på brukerens DeFi-transaksjonshistorikk utleder kontrakten en kredittscore og gir en personlig rente. I tillegg, for høyfrekvente scenarier, som flash-lån, fullføres lån/investering/tilbakebetaling av penger i én blokk, og AI optimaliserer banen i sanntid for å unngå "glidning"-tap. Ligner på desentralisert Robinhood. I tillegg kan det være høyfrekvente auksjoner, som kan fullføre hundrevis eller tusenvis av bud per minutt. On-chain-spill: Tidligere ønsket L1 å bygge et flerspillerspill (som on-chain Axie Infinity), og blokkeringsbekreftelsen var 12 sekunder per runde, noe som fikk spillere til å fryse og avgiftene til å skyte i været. Gjennom Pico Prism støtter den "simulering av sanntidsspill", og off-chain-serveren beregner skade og andre verdier, og bruker ZK-bevis for å avgjøre L1 hver runde, og simulerer "sanntids"-spill for å oppnå en bedre spillopplevelse. Anonymt stemmescenario på kjeden: For øyeblikket er L1-stemmegivning gjennomsiktig, enkel å spore eller manipulere, og kompleks statistikk er dyr og treg. Ved å implementere "null-kunnskap om personverndatabehandling" gjennom Pico Prism, kjører L1 høyfrekvente personvernapplikasjoner, som kan realisere høyfrekvente anonyme stemmer for DAO-styring og produsere resultater i sanntid. Hva scenariene ovenfor betyr for Ethereum kan låse opp flere DeFi og andre applikasjonsscenarier, bringe flere eiendeler til L1-nedbør, gi flere transaksjoner og likviditet og større aktivitet. Når det gjelder hvilke scenarier som kan kjøres i fremtiden, må det fortsatt testes i spesifikk praksis. *Gradvis implementert Ifølge offentlig informasjon er Brevis i en gradvis distribusjon, der 147.5 millioner ZK-bevis har blitt generert; mer enn 190 000 unike brukere; Støtte for 5 blokkjeder; Mer enn 20 store partnere (f.eks. Metamask, Linea, etc.) er for tiden integrert i eksisterende applikasjoner, for eksempel årlige belønninger gjennom Brevis-teknologi og Incentra-plattformen; PancakeSwap implementerer rabatter basert på data som handelsvolum; Linea distribuerer 1 milliard LINEA-tokens basert på blant annet brukerbidrag.
2d siden
Spent på å se @brevis_zk's Pico Prism gå inn på ZK-EVM-testarenaen! Et viktig skritt fremover i ZK-EVM som beviser hastighet og mangfold.
Vis originalen
36,2k
102
Innholdet på denne siden er levert av tredjeparter. Med mindre annet er oppgitt, er ikke OKX forfatteren av de siterte artikkelen(e) og krever ingen opphavsrett til materialet. Innholdet er kun gitt for informasjonsformål og representerer ikke synspunktene til OKX. Det er ikke ment å være en anbefaling av noe slag og bør ikke betraktes som investeringsråd eller en oppfordring om å kjøpe eller selge digitale aktiva. I den grad generativ AI brukes til å gi sammendrag eller annen informasjon, kan slikt AI-generert innhold være unøyaktig eller inkonsekvent. Vennligst les den koblede artikkelen for mer detaljer og informasjon. OKX er ikke ansvarlig for innhold som er vert på tredjeparts nettsteder. Beholdning av digitale aktiva, inkludert stablecoins og NFT-er, innebærer en høy grad av risiko og kan svinge mye. Du bør nøye vurdere om handel eller innehav av digitale aktiva passer for deg i lys av din økonomiske tilstand.