ZkVM Siste Her rapporterer vi om fremdriften til de ledende byggerne i zkVM-økosystemet, og dokumenterer nylige betydelige utgivelser, tekniske gjennombrudd og generelle oppdateringer. Med: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm og @ProjectZKM. 🔹 Besøk for flere rapporter fra hele bransjen 🔹

Brevis 🔹 ProverNet-whitepaper 🔹 @brevis_zk lanserte sitt ProverNet-whitepaper som skisserer en desentralisert markedsplass hvor applikasjoner ber om ZK-beviskapasitet og spesialiserte provere konkurrerer om å levere den: Systemet bruker en sannferdig nettbasert dobbelauksjonsmekanisme for å matche heterogene arbeidsmengder med passende ressurser, samtidig som tjenestekvaliteten håndheves gjennom økonomiske insentiver. ProverNet introduserer BREV-tokenet for betalinger, staking og styring, og et beta-mainnet med en forenklet auksjon er planlagt lansert snart. 🔹 Media 🔹 I en nylig episode av @HouseofZK Radio dekket @no89thkey, medgründer av Brevis, hvordan teamet gikk fra sine DeFi-røtter til å bygge verifiserbar datakraft og nesten sanntidsbevis: Han snakket om Pico zkVM, Pico Prism-distribuerte prøveren som brukes til @Ethereum blokkprøving, og hvordan Brevis' modulære koprosessorarkitektur støtter lojalitet i kjeden, strømlinjeformede belønninger og CEX/DEX-brointegrasjoner. Full podkast: 🔹 Hendelser 🔹 Brevis ledet og deltok i flere nøkkelsesjoner under @EFDevcon, hvor han brakte praktiske perspektiver på verifiserbar beregning og overgangen til off-chain, bevisbaserte utførelsesmodeller: • Brevis holdt ZKONNECT, med House of ZK som medvert, med fokus på hvordan zkVMs, ZK-koprosessorer, zkML og zkTLS går fra konsepter til produksjon. Programmet fremhevet praktiske implementeringer av verifiserbar databehandling, krysskjede-datatilgang og AI-inferens, sammen med flere hovedtaler og diskusjoner som forklarer hvordan team anvender ZK-infrastruktur på reelle applikasjoner. • Michael, holdt en hovedtale på Verifying Intelligence 3.0, organisert av House of ZK og medvert av Brevis: Han skisserte hvorfor de fleste blokkjedeberegninger vil migrere utenfor kjeden og bli verifisert gjennom ZKP-er, og presenterte Brevis som det uendelige beregningslaget som utfører tung logikk utenfor kjeden og returnerer konsise, verifiserbare resultater. Foredraget omhandlet Pico zkVM, sanntids Ethereum-bevis, Brevis' modulære arkitektur og nåværende integrasjoner som driver intelligent DeFi, personvernbevarende attestasjoner og kontinuerlige insentivsystemer. 🔹 Partnerskap 🔹 Til slutt presenterte Brevis og @vana en felles modell for bruk av private data i AI ved å kombinere autentiserte input med lokal beregning som ikke gir rå informasjon: Brevis zkTLS beviser dataopprinnelsen, mens Pico zkVM behandler dem på brukerens enhet. Vana håndterer samtykke og belønninger, gir utviklere verifiserte målinger og lar brukerne beholde full kontroll over sine data. 🔹 Besøk for flere rapporter fra hele bransjen 🔹

Jolt (@a16zcrypto) 🔹 Et-bevis-kall 🔹 @SuccinctJT, forsker ved @a16zcrypto, presenterte på den nylige @eth_proofs-samtalen. Han fremhevet hvordan dagens zkVM-er kontrollerer bevisminne ved å splitte spor i biter og rekursivt aggregere bevis, men at dette øker kompleksitet, feilrisiko og ytelseskostnader. Tidsstempel - 32:30: Justin forklarte videre hvordan Jolt ønsker å erstatte dette med en streaming-tilnærming som begrenser bevisminne til noen få gigabyte, uavhengig av antall sykluser. To av omtrent tjue nødvendige Sumcheck-komponenter strømmer allerede, med det resterende arbeidet forventet ferdig snart. 🔹 Forskning 🔹 Justin publiserte også en artikkel basert på resultatene fra en undersøkelse med fokus på hvordan moderne SNARK-design oppnår rask bevising ved å fokusere på sum-check-protokollen: Artikkelen forklarer hvorfor teknikker som batchevaluering, oppslagsargumenter, virtuelle polynomer og bevaring av små verdier reduserer beviserarbeid og forpliktelseskostnader. Med Jolt som hovedcasestudie viser den hvordan utnyttelse av gjentatte beregningsstrukturer muliggjør effektive zkVM-er og veileder fremtidige ytelsesforbedringer. 🔹 Besøk for flere rapporter fra hele bransjen 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden lanserte sin Testnet v0.12, som introduserte store oppdateringer innen personvernflyter, nøkkelhåndtering, adressehåndtering og utviklerverktøy: Versjonen legger til et nytt adresseformat med krypteringsstøtte, et privat notetransportlag med @Nethermind, ECDSA-signering via prekompileringer, og forbedringer i datahåndtering i noden. Den inkluderer også grunnleggende retningslinjer for synlighet av transaksjonsdata, den nye midenup-installasjonsprogrammet for strømlinjeformet onboarding, et dedikert utviklingsnett for eksperimentering, og flere VM-nivåforbedringer for komposabilitet og feilsøking. 🔹 Publikasjoner 🔹 Prosjektet publiserte en artikkel som forklarer hvordan private multisignaturer blir gjennomførbare gjennom et nytt system kalt Private State Management, utviklet i samarbeid med @OpenZeppelin: Artikkelen forklarer hvorfor tradisjonelle multisigs er avhengige av delt offentlig tilstand, hvordan Midens personvernmodell kompliserer koordineringen, og hvordan PSMs synkroniserings-, koordinerings- og autentiseringslag holder private kontoer på linje. Den avsluttes med eksempler på praktiske brukstilfeller og påpeker at et tidlig Proof-of-Concept allerede er tilgjengelig. 🔹 Hendelser 🔹 På @EFDevcon var Miden vert for og deltok i flere arrangementer, inkludert: • Privacy Salon, et arrangement organisert av Miden som samlet byggere, forskere og grunnleggere til korte, idédrevne foredrag og åpne diskusjoner om personvern, desentraliserte systemer og de utviklende skjæringspunktene mellom krypto, web3 og tradisjonell finans. • Verifying Intelligence 3.0, organisert av @HouseofZK, hvor @huitseeker, Engineering Lead hos Miden, snakket om rollen til zkVMs i zkML, og forklarte forskjellene mellom å bevise inferenser og trening, begrensningene ved TEEs, og hvordan Midens design støtter praktiske, motstandsdyktige AI-verifiseringsscenarier. Tidsstempel - 02:50:12: 🔹 Integrasjoner 🔹 Prosjektet introduserte to nye partnerskap som utvider økosystemet innen personvern, onboarding og infrastruktur, inkludert: • @get_para: Integrerte Paras innebygde lommebok og distribuert MPC-autentisering for å muliggjøre sømløs, ikke-ansvarlig onboarding for Miden-applikasjoner. Samarbeidet introduserte passordfri innlogging, umiddelbar lommebokopprettelse og friksjonsfrie brukerflyter, og tilpasset Paras UX-stabel med Midens kompatible personvernmodell for å støtte private DeFi-, fintech-, spill- og institusjonelle applikasjoner bygget på ZK-kjøring: • @gateway_eth: Samarbeidet for å tilby infrastruktur på bedriftsnivå for Midens skalerbare, personvernfokuserte blokkjedenettverk. Partnerskapet sikrer høy tilgjengelighet, rask datatilgang og driftspålitelighet etter hvert som Miden skalerer, med Gateway som kjører kjernekomponenter som native bridge, provere og block explorer for å støtte utrullingen av Midens edge-execution-arkitektur: 🔹 Besøk for flere rapporter fra hele bransjen 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs lanserte Alpha-versjonen av sin desentraliserte evigvarende futuresbørs som en del av Testnet III, og tilbyr en forenklet, ikke-forvarende CLOB-plattform bygget på verifiserbar infrastruktur: Utgivelsen fokuserer på kjernefunksjoner innen trading, strømlinjeformet onboarding og testfond i stedet for reelle eiendeler. Selv om grensesnittet er minimalt, er den underliggende ordreboken konstruert for lav-latens ytelse og vil utvides med tilbakemeldinger fra fellesskapet og gradvis innførte kryptografiske bevis. 🔹 Nettverksstatus 🔹 Nexus publiserte sin nettverksrapport for november: Høydepunkter inkluderer: • Nettverket behandlet 87,198 millioner transaksjoner, hvorav 87,038 millioner ble fullført, noe som viser høy pålitelighet og et svært lite gap mellom initiert og ferdig aktivitet. • Bevisgjennomstrømningen justerte seg fra 5 810 til 4,16 bevis per sekund i løpet av måneden, noe som reflekterer en tilbakevending til en mer stabil bevisbaseline etter oktobers raske topp. • Verifiserte kontrakter nådde 2,548 millioner, noe som viser fortsatt tillit fra utviklerne til testmiljøet til tross for høyere ventetid og moderert gjennomstrømning. • Transaksjonsgebyrene var i gjennomsnitt 0,048 NEX, noe som holdt kostnadene ved verifiserbarhet lave og ga rom for rask iterasjon og hyppige onchain-interaksjoner. 🔹 Hendelser 🔹 Nexus Chief Scientist @JensGroth16 deltok i en peissamtale på @HouseofZK sitt Verifying Intelligence-arrangement i @EFDevcon, hvor de diskuterte hvordan ZKP-er utviklet seg fra tidlig teoretisk arbeid til dagens anvendelser innen verifiserbar AI: Han beskrev Nexus' fokus på å kombinere bevisbar korrekthet med økonomisk sikkerhet, og understreket behovet for standarder, utdanning og bredere institusjonell tillit for å sikre at verifiserbare systemer blir brukbare og bredt tatt i bruk. 🔹 Besøk for flere rapporter fra hele bransjen 🔹

Risc Zero & Boundless 🔹 Et-bevis-kall 🔹 I den nylige @eth_proofs Call #6 delte @BruestleJeremy, administrerende direktør og medgründer av @RiscZero, hvordan teamet med suksess startet opp en ekte Linux-kjerne inne i zkVM etter å ha lagt til støtte for Risc-V S-modus, full MMU og virtualisert minne. Tidsstempel - 20:30: Demonstrasjonen viste flere prosesser som kjørte og et nær-deterministisk miljø egnet for bredere programvarestabler. Risс Zero planlegger å sende dette i neste kretsutgivelse etter hvert som fremdriften på prøveren fortsetter. 🔹 Hendelser 🔹 @boundless_xyz deltok i flere arrangementer under Devconnect i Buenos Aires, inkludert: • En whitepaper-lesesesjon organisert av @HouseofZK i samarbeid med @WPReadingClub og @invisiblgarden, hvor Boundless, @citrea_xyz, @MinaProtocol og @o1_labs deltok i rundebordsdiskusjoner om nyere forskningsutvikling og nye ideer på tvers av Web3- og ZK-økosystemet. • Et panel i Verifying Intelligence 3.0, hvor @reka_eth, markedsdirektør i Boundless, bidro til en diskusjon om å bevise menneskelig bidrag i en tid preget av AI og robotikk, sammen med foredragsholdere @humpty0x @OntologyNetwork, @zKsisyfos @StarkWareLtd, @DacEconomy @ProjectZKM og @Viggy_117 @eigencloud. Tidsstempel - 00:57:54: 🔹 Besøk for flere rapporter fra hele bransjen 🔹

Konsis 🔹 SP1 Hypercube 🔹 @SuccinctLabs rapporterte at den nyeste versjonen av SP1 Hypercube zkVM kan bevise 99,7 % av @ethereum L1-blokker på under 12 sekunder på 16 RTX 5090-GPUer, og forlenger dermed deres tidligere realtidsbevis-milepæl: Utgivelsen legger til store ytelsesforbedringer, formell verifisering av alle RISC-V-begrensninger, fjerning av nærhetsgap-avhengigheter, og nye sikkerhetstiltak. Hypercube fullfører revisjoner og vil bli lansert som åpen kildekode og gjennom Succinct Prover Network. 🔹 Forskning 🔹 I en nylig studie av @ronrothblum, leder for kryptografi hos Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) og @kleptographic (@NYU_Courant), presenterer forfatterne TensorSwitch, et nesten optimalt hash-basert polynomforpliktelsesskjema: Den adresserer to hovedbegrensninger i hash-baserte SNARG-er: bevistid og store bevisstørrelser. Ved å bruke tensorkoder og interaktive orakelbevis oppnår TensorSwitch commitment og åpningstider lineært i inputstørrelse, sublineære hashingkostnader og asymptotisk minimale verifikasjonsforespørsler, uten å være avhengig av pålitelig oppsett eller gruppebasert kryptografi 🔹 C2PA 🔹 Succinct har sluttet seg til @C2PA_org, og jobber sammen med andre deltakere med å utvikle åpne standarder for digital innholdsverifisering: Etter hvert som AI-genererte medier øker, introduserer prosjektet ZK-verifisering for å styrke proveniensarbeidsflytene med personvern og skalerbare attestasjoner. Concinct har som mål å støtte enhetlige metadatastandarder og forbedre interoperabiliteten på tvers av plattformer. Ved å bli med i C2PA planlegger prosjektet å bidra med forskning og bistå i implementeringen av verktøy for innholdsautentisitet i praktiske sammenhenger. 🔹 OP: Concinct Lite 🔹 @Celo oppgraderte sitt Sepolia testnet til OP Succinct Lite via Jello hardfork, og nærmet seg lansering av hovednettet: Tidligere i år gikk Celo over til en Ethereum L2 for å støtte reelle betalinger og ble den første kjeden som tok i bruk OP Succinct Lite med EigenDA v2. 🔹 Besøk for flere rapporter fra hele bransjen 🔹

ZKM 🔹 Revisjon 🔹 ZKMs Ziren gjennomgår en revisjon av @VeridiseInc, ved bruk av deres Picus-verifikasjonsplattform: Veridise tilpasset Zirens Plonky3-begrensninger og kjørte analyser gjennom @AuditHubDev. Innledende resultater bekreftet deterministisk oppførsel for addisjon og subtraksjon i AddSub-brikken. Teamene planlegger å utvide verifiseringen til fullverdige kretser og integrere sjekker i ZKMs utviklingsarbeidsflyt. 🔹 Publikasjoner 🔹 @ProjectZKM publiserte en artikkel som forklarer hvordan GKR-protokollen verifiserer aritmetiske kretsberegninger ved rekursivt å sjekke konsistens på tvers av kretslag ved hjelp av den multivariate Sumcheck-protokollen: Artikkelen forklarer lagdelt kretsstruktur, rollen til multilineære utvidelser, hvordan Sumcheck reduserer verifikasjon til punktevalueringer, og hvordan rekursjon ender på input-laget. Det viser hvorfor GKR er effektivt for store kretser og grunnleggende i moderne ZK-systemer. 🔹 Hendelser 🔹 ZKM ga ut en artikkel om sin tid på @EFDevcon, med høydepunkter: • ZKONNECT av @brevis_zk og House of ZK: ZKM CTO @sd_eigen deltok i sanntidsprøvepanelet EVM Proved in 10 Seconds som diskuterte GPU-akselererte bevissystemer. • Verifying Intelligence by House of ZK and Brevis: Stephen snakket om ZK-basert personvern i AI-arbeidsflyter og gjennomgikk Zirens revisjon med @VeridiseInc. Medgründer @DacEconomy deltok i AI- og arbeidspanelet om verifisering av menneskelige bidrag. • @EtherArgentina Hackathon: ZKM sponset arrangementet med Stephen som dommer og utdanningsleder @alicelingl mentorteam. • Native BTCFi Summit av @babylonlabs_io og @build_on_bob: diskusjoner om @Bitcoin samordnet finans og BTC-skalering. • StarkConnect av @Starknet: Stephen deltok i en sesjon om å skalere Bitcoin med Starknet, @AlpenLabs og @atomiqlabs. • ZK Real World Summit: panel om kjeder som bevarer personvern med @MantaNetwork, @ZKVProtocol og @nillion. • Cultural Vivo av @invisiblgarden: ZKM kom tilbake som sponsor og støttet huben for ZK- og AI-byggere. 🔹 Besøk for flere rapporter fra hele bransjen 🔹