De nieuwste zkVM Hier rapporteren we over de voortgang van de toonaangevende bouwers in het zkVM-ecosysteem, waarbij we recente belangrijke releases, technische doorbraken en algemene updates documenteren. Met: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm, & @ProjectZKM. 🔹 Bezoek voor meer rapporten uit de industrie 🔹

Brevis 🔹 ProverNet Whitepaper 🔹 @brevis_zk heeft zijn ProverNet whitepaper uitgebracht waarin een gedecentraliseerde marktplaats wordt beschreven waar applicaties ZK bewijscapaciteit aanvragen en gespecialiseerde bewijsgevers concurreren om deze te leveren: Het systeem maakt gebruik van een waarheidsgetrouwe online dubbele veilingmechanisme om heterogene werklasten te matchen met geschikte middelen, terwijl de servicekwaliteit wordt afgedwongen door economische prikkels. ProverNet introduceert de BREV-token voor betalingen, staking en governance, en een beta mainnet met een vereenvoudigde veiling staat op het punt binnenkort te worden gelanceerd. 🔹 Media 🔹 In een recente aflevering van @HouseofZK Radio besprak @no89thkey, mede-oprichter van Brevis, hoe het team is overgestapt van zijn DeFi- oorsprong naar het bouwen van verifieerbare berekeningen en bijna real-time bewijsvoering: Hij sprak over de Pico zkVM, de Pico Prism gedistribueerde bewijsgever die wordt gebruikt voor @Ethereum blokbewijsvoering, en hoe de modulaire coprocesorarchitectuur van Brevis on-chain loyaliteit, gestroomlijnde beloningen en CEX/DEX brugintegraties ondersteunt. Volledige podcast: 🔹 Evenementen 🔹 Brevis heeft verschillende belangrijke sessies georganiseerd en bijgewoond tijdens @EFDevcon, waarbij praktische perspectieven op verifieerbare berekeningen en de verschuiving naar off-chain, bewijsgebaseerde uitvoeringsmodellen werden gepresenteerd: • Brevis hield ZKONNECT, met House of ZK als co-host, met de focus op hoe zkVMs, ZK coprocesoren, zkML en zkTLS van concepten naar productie gaan. Het programma benadrukte praktische implementaties van verifieerbare berekeningen, cross-chain data toegang en AI-inferentie, samen met verschillende keynotes en discussies die uiteenzetten hoe teams ZK-infrastructuur toepassen op echte applicaties. • Michael gaf een keynote op Verifying Intelligence 3.0, georganiseerd door House of ZK en co-gehost door Brevis: Hij schetste waarom de meeste blockchain-berekeningen off-chain zullen migreren en worden geverifieerd via ZKPs, waarbij Brevis wordt gepresenteerd als de oneindige computelaag die zware logica off-chain uitvoert en beknopte, verifieerbare outputs retourneert. De presentatie behandelde de Pico zkVM, real-time Ethereum bewijsvoering, de modulaire architectuur van Brevis en huidige integraties die intelligente DeFi, privacy-beschermende attestaties en continue incentivesystemen aandrijven. 🔹 Partnerschappen 🔹 Ten slotte presenteerden Brevis en @vana een gezamenlijk model voor het gebruik van privégegevens in AI door geauthenticeerde invoer te combineren met lokale berekeningen die geen ruwe informatie onthullen: Brevis zkTLS bewijst de gegevens oorsprong, terwijl Pico zkVM deze op het apparaat van de gebruiker verwerkt. Vana beheert toestemming en beloningen, waardoor ontwikkelaars geverifieerde statistieken krijgen en gebruikers volledige controle over hun gegevens behouden. 🔹 Bezoek voor meer rapporten uit de industrie 🔹

Jolt (@a16zcrypto) 🔹 Ethproofs Call 🔹 @SuccinctJT, onderzoeker bij @a16zcrypto, presenteerde tijdens de recente @eth_proofs call. Hij benadrukte hoe huidige zkVM's het geheugen van de prover beheersen door sporen in stukken te splitsen en bewijzen recursief te aggregeren, maar dat dit complexiteit, bugrisico en prestatiekosten met zich meebrengt. Tijdstempel - 32:30: Justin legde verder uit hoe Jolt van plan is dit te vervangen door een streamingbenadering die het geheugen van de prover beperkt tot enkele gigabytes, ongeacht het aantal cycli. Twee van de ongeveer twintig vereiste Sumcheck-componenten zijn al aan het streamen, met de resterende werkzaamheden die binnenkort worden verwacht te worden afgerond. 🔹 Onderzoek 🔹 Justin publiceerde ook een paper op basis van de resultaten van een enquête die zich richtte op hoe modern SNARK-ontwerp snel bewijs levert door zich te concentreren op het sum-checkprotocol: Het paper schetst waarom technieken zoals batchevaluatie, lookup-argumenten, virtuele polynomen en behoud van kleine waarden de werklast van de prover en de kosten van toewijding verminderen. Met Jolt als hoofdcasestudy laat het zien hoe het benutten van herhaalde computationele structuren efficiënte zkVM's mogelijk maakt en toekomstige prestatieverbeteringen begeleidt. 🔹 Bezoek voor meer rapporten uit de industrie 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden heeft zijn Testnet v0.12 uitgebracht, met belangrijke updates op het gebied van privacyflows, sleutelbeheer, adresverwerking en ontwikkelaarstools: De versie voegt een nieuw adresformaat toe met encryptieondersteuning, een privé notetransportlaag met @Nethermind, ECDSA-handtekeningen via precompiles, en verbeteringen in de gegevensverwerking in de node. Het bevat ook basisbeschermingen voor de zichtbaarheid van transactiegegevens, de nieuwe midenup-installateur voor gestroomlijnde onboarding, een speciale devnet voor experimenten, en meerdere VM-niveau verbeteringen voor samenstelling en debugging. 🔹 Publicaties 🔹 Het project heeft een artikel gepubliceerd waarin wordt uitgelegd hoe privé multisigs haalbaar worden door een nieuw systeem genaamd Private State Management, mede ontwikkeld met @OpenZeppelin: Het stuk schetst waarom traditionele multisigs afhankelijk zijn van gedeelde publieke staat, hoe het privacymodel van Miden de coördinatie compliceert, en hoe de synchronisatie-, coördinatie- en authenticatielagen van PSM privé-accounts op één lijn houden. Het sluit af met voorbeelden van praktische gebruikscases en merkt op dat er al een vroege Proof-of-Concept beschikbaar is. 🔹 Evenementen 🔹 Op @EFDevcon heeft Miden verschillende evenementen georganiseerd en eraan deelgenomen, waaronder: • De Privacy Salon, een evenement georganiseerd door Miden dat bouwers, onderzoekers en oprichters bijeenbracht voor korte, idee-gedreven gesprekken en open discussies over privacy, gedecentraliseerde systemen, en de evoluerende kruispunten van crypto, web3 en traditionele financiën. • Verifying Intelligence 3.0, georganiseerd door @HouseofZK, waar @huitseeker, Engineering Lead bij Miden, sprak over de rol van zkVMs in zkML, en de verschillen uitlegde tussen het bewijzen van inferentie en training, de beperkingen van TEEs, en hoe het ontwerp van Miden praktische, tegenstanders-resistente AI-verificatiescenario's ondersteunt. Tijdstempel - 02:50:12: 🔹 Integraties 🔹 Het project heeft twee nieuwe partnerschappen geïntroduceerd die zijn ecosysteem uitbreiden op het gebied van privacy, onboarding en infrastructuur, waaronder: • @get_para: Geïntegreerd Para's embedded wallet en gedistribueerde MPC-authenticatie om naadloze, niet-bewaarde onboarding voor Miden-toepassingen mogelijk te maken. De samenwerking introduceerde wachtwoordloze login, directe wallet-creatie, en moeiteloze gebruikersstromen, waarbij de UX-stack van Para is afgestemd op het compliant privacymodel van Miden om privé DeFi, fintech, gaming en institutionele toepassingen gebouwd op ZK-executie te ondersteunen: • @gateway_eth: Een partnerschap aangegaan om enterprise-grade infrastructuur te bieden voor Miden's schaalbare, privacygerichte blockchain-netwerk. Het partnerschap zorgt voor hoge beschikbaarheid, snelle gegevensaccess en operationele betrouwbaarheid naarmate Miden opschaalt, met Gateway die kerncomponenten zoals de native bridge, provers en block explorer draait om de uitrol van Miden's edge-executie-architectuur te ondersteunen: 🔹 Bezoek voor meer rapporten uit de industrie 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs heeft de Alpha-versie van zijn gedecentraliseerde perpetual futures exchange gelanceerd als onderdeel van zijn Testnet III, met een vereenvoudigd, non-custodial CLOB-platform gebouwd op verifieerbare infrastructuur: De release richt zich op kernhandel functies, gestroomlijnde onboarding en testfondsen in plaats van echte activa. Hoewel de interface minimaal is, is het onderliggende orderboek ontworpen voor lage latentieprestaties en zal het uitbreiden met feedback van de gemeenschap en geleidelijk geïntroduceerde cryptografische bewijzen. 🔹 Netwerkstatus 🔹 Nexus heeft zijn netwerkrapport van november uitgebracht: Hoogtepunten zijn: • Het netwerk verwerkte 87,198 miljoen transacties, waarvan 87,038 miljoen voltooid, wat hoge betrouwbaarheid en een zeer kleine kloof tussen geïnitieerde en voltooide activiteit aantoont. • De bewijsdoorvoer is aangepast van 5,810 naar 4.16 bewijzen per seconde gedurende de maand, wat een terugkeer naar een stabielere bewijsbasis weerspiegelt na de snelle piek in oktober. • Geverifieerde contracten bereikten 2,548 miljoen, wat aantoont dat ontwikkelaars vertrouwen blijven hebben in de bewijsomgeving ondanks hogere latentie en gematigde doorvoer. • Transactiekosten gemiddeld 0.048 NEX, waardoor de kosten van verifieerbaarheid laag blijven en er ruimte is voor snelle iteratie en frequente on-chain interacties. 🔹 Evenementen 🔹 Nexus Chief Scientist @JensGroth16 nam deel aan een fireside chat op @HouseofZK’s Verifying Intelligence evenement tijdens @EFDevcon, waar hij besprak hoe ZKPs zijn geëvolueerd van vroeg theoretisch werk naar de huidige toepassingen in verifieerbare AI: Hij schetste de focus van Nexus op het combineren van bewijsbare correctheid met economische veiligheid en benadrukte de noodzaak van standaarden, educatie en bredere institutionele vertrouwen om ervoor te zorgen dat verifieerbare systemen bruikbaar en breed geaccepteerd worden. 🔹 Bezoek voor meer rapporten uit de industrie 🔹

Risc Zero & Boundless 🔹 Ethproofs Call 🔹 In de recente @eth_proofs Call #6 deelde @BruestleJeremy, CEO en mede-oprichter van @RiscZero, hoe het team erin slaagde om een echte Linux-kernel op te starten binnen de zkVM na het toevoegen van Risc-V S-mode ondersteuning, volledige MMU en gevirtualiseerd geheugen. Tijdstempel - 20:30: De demo toonde meerdere processen die draaiden en een bijna deterministische omgeving die geschikt is voor bredere softwarestacks. Risс Zero is van plan dit in de volgende circuitrelease te verzenden terwijl de voortgang van de prover doorgaat. 🔹 Evenementen 🔹 @boundless_xyz nam deel aan verschillende evenementen tijdens Devconnect in Buenos Aires, waaronder: • Een Whitepaper Leessessie georganiseerd door @HouseofZK in samenwerking met @WPReadingClub en @invisiblgarden, waar Boundless, @citrea_xyz, @MinaProtocol en @o1_labs deelnamen aan rondetafelgesprekken over recente onderzoeksontwikkelingen en opkomende ideeën binnen het Web3 en ZK-ecosysteem. • Een Verifying Intelligence 3.0 panel, waar @reka_eth, Marketingdirecteur bij Boundless, bijdroeg aan een discussie over het bewijzen van menselijke bijdrage in een tijdperk dat wordt gevormd door AI en robotica, samen met sprekers @humpty0x van @OntologyNetwork, @zKsisyfos van @StarkWareLtd, @DacEconomy van @ProjectZKM, en @Viggy_117 van @eigencloud. Tijdstempel - 00:57:54: 🔹 Bezoek voor meer rapporten uit de industrie 🔹

Succinct 🔹 SP1 Hypercube 🔹 @SuccinctLabs meldde dat de nieuwste versie van zijn SP1 Hypercube zkVM 99,7% van de @ethereum L1-blokken kan bewijzen in minder dan 12 seconden op 16 RTX 5090 GPU's, waarmee het zijn eerdere mijlpaal voor realtime bewijzen uitbreidt: De release voegt belangrijke prestatieverbeteringen toe, formele verificatie van alle RISC-V-beperkingen, verwijdering van afhankelijkheden van de nabijheids-gat-conjectuur en nieuwe beveiligingsmaatregelen. Hypercube is bezig met audits en zal open source worden vrijgegeven en via het Succinct Prover Network. 🔹 Onderzoek 🔹 In een recente studie van @ronrothblum, Hoofd Cryptografie bij Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) en @kleptographic (@NYU_Courant), presenteren de auteurs TensorSwitch, een bijna optimale hash-gebaseerde polynomiale verbintenis schema: Het adresseert twee belangrijke beperkingen in hash-gebaseerde SNARGs: prover tijd en grote bewijsformaten. Met behulp van tensorcodes en interactieve oracle-bewijzen, bereikt TensorSwitch verbintenis- en openings tijden die lineair zijn in de invoergrootte, sublineaire hashingkosten en asymptotisch minimale verifieringsvragen, zonder te vertrouwen op een vertrouwde setup of groepsgebaseerde cryptografie. 🔹 C2PA 🔹 Succinct is lid geworden van @C2PA_org, en werkt samen met andere deelnemers aan de ontwikkeling van open standaarden voor digitale contentverificatie: Naarmate AI-gegenereerde media toeneemt, introduceert het project ZK-verificatie om de herkomstwerkstromen te versterken met privacy en schaalbare attestaties. Succinct streeft ernaar om uniforme metadata-standaarden te ondersteunen en de interoperabiliteit tussen platforms te verbeteren. Door lid te worden van C2PA, is het project van plan om onderzoek bij te dragen en te helpen bij het implementeren van tools voor contentauthenticiteit in praktische omgevingen. 🔹 OP Succinct Lite 🔹 @Celo heeft zijn Sepolia-testnet geüpgraded naar OP Succinct Lite via de Jello hardfork, en komt dichter bij de lancering van het mainnet: Eerder dit jaar is Celo overgestapt naar een Ethereum L2 om wereldwijde betalingen te ondersteunen en werd de eerste keten die OP Succinct Lite met EigenDA v2 adopteerde. 🔹 Bezoek voor meer rapporten uit de industrie 🔹

ZKM 🔹 Audit 🔹 ZKM's Ziren ondergaat een audit door @VeridiseInc, met gebruik van het Picus verificatieplatform: Veridise heeft de Plonky3-beperkingen van Ziren aangepast en analyses uitgevoerd via @AuditHubDev. De eerste resultaten bevestigden deterministisch gedrag voor optelling en aftrekking in de AddSub-chip. De teams zijn van plan de verificatie uit te breiden naar volledige circuits en controles te integreren in de ontwikkelingsworkflow van ZKM. 🔹 Publicaties 🔹 @ProjectZKM heeft een artikel gepubliceerd waarin wordt uitgelegd hoe het GKR-protocol rekenkundige circuitberekeningen verifieert door consistentie tussen circuitlagen recursief te controleren met behulp van het multivariate Sumcheck-protocol: Het stuk legt de gelaagde circuitstructuur uit, de rol van multilineaire extensies, hoe Sumcheck verificatie reduceert tot puntevaluaties, en hoe de recursie eindigt op de invoerlaag. Het toont aan waarom GKR efficiënt is voor grote circuits en fundamenteel in moderne ZK-systemen. 🔹 Evenementen 🔹 ZKM heeft een artikel uitgebracht over hun tijd op @EFDevcon, met hoogtepunten als: • ZKONNECT door @brevis_zk en House of ZK: ZKM CTO @sd_eigen nam deel aan het real-time bewijs panel EVM Proved in 10 Seconds, waar werd gesproken over GPU-versnelde bewijs systemen. • Verifying Intelligence door House of ZK en Brevis: Stephen sprak over ZK-gebaseerde privacy in AI-workflows en besprak de audit van Ziren met @VeridiseInc. Mede-oprichter @DacEconomy nam deel aan het AI en Werk panel over het verifiëren van menselijke bijdragen. • @EtherArgentina Hackathon: ZKM sponsorde het evenement met Stephen als jurylid en Onderwijs Lead @alicelingl die teams begeleidde. • Native BTCFi Summit door @babylonlabs_io en @build_on_bob: discussies over @Bitcoin afgestemde financiën en BTC-schaalvergroting. • StarkConnect door @Starknet: Stephen nam deel aan een sessie over het schalen van Bitcoin met Starknet, @AlpenLabs en @atomiqlabs. • ZK Real World Summit: panel over privacy-behoudende ketens met @MantaNetwork, @ZKVProtocol en @nillion. • Cultural Vivo door @invisiblgarden: ZKM keerde terug als sponsor ter ondersteuning van de hub voor ZK- en AI-bouwers. 🔹 Bezoek voor meer rapporten uit de industrie 🔹