zkVM uusimmat Tässä raportoimme zkVM-ekosysteemin johtavien rakentajien edistymisestä, dokumentoiden viimeaikaisia merkittäviä julkaisuja, teknisiä läpimurtoja ja yleisiä päivityksiä. Esiintyjinä: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm ja @ProjectZKM. 🔹 Katso lisää raportteja eri puolilta alaa 🔹

Brevis 🔹 ProverNetin valkoinen kirja 🔹 @brevis_zk julkaisi ProverNet-whitebookinsa, jossa kuvataan hajautettu markkinapaikka, jossa sovellukset pyytävät ZK-testauskapasiteettia ja erikoistuneet todistajat kilpailevat sen toimittamisesta: Järjestelmä käyttää totuudenmukaista verkkokaksoishuutokauppamekanismia, joka yhdistää heterogeeniset työkuormat sopiviin resursseihin samalla kun palvelun laatu varmistetaan taloudellisten kannustimien avulla. ProverNet esittelee BREV-tokenin maksuihin, sijoituksiin ja hallintaan, ja beta-pääverkko, jossa on yksinkertaistettu huutokauppa, on suunnitteilla pian lanseerattavaksi. 🔹 Media 🔹 Äskettäisessä @HouseofZK Radio -jaksossa @no89thkey Brevisin toinen perustaja kertoi, miten tiimi siirtyi DeFi-juuristaan todennettavien laskentatoimien rakentamiseen ja lähes reaaliaikaiseen todistamiseen: Hän puhui Pico zkVM:stä, Pico Prism -hajautetun toiston käytöstä, jota käytetään @Ethereum lohkon testaukseen, sekä siitä, miten Brevisin modulaarinen koprosessoriarkkitehtuuri tukee ketjun sisäistä lojaalisuutta, virtaviivaistettuja palkkioita ja CEX/DEX-silta-integraatioita. Koko podcast: 🔹 Tapahtumia 🔹 Brevis isännöi ja osallistui useisiin keskeisiin sessioihin @EFDevcon, tuoden käytännön näkökulmia todennettavissa oleviin laskennan ja siirtymän kohti off-chain-pohjaisia, todistuspohjaisia suoritusmalleja: • Brevis piti ZKONNECTiä, jossa House of ZK toimi yhteisjuontajana, keskittyen siihen, miten zkVM:t, ZK-koprosessorit, zkML ja zkTLS siirtyvät konsepteista tuotantoon. Ohjelmassa korostettiin todennettavan laskennan, ketjun välisen datan käytön ja tekoälypäättelyn käytännön käyttöönottoja sekä useita pääpuheenvuoroja ja keskusteluja, joissa kerrottiin, miten tiimit soveltavat ZK-infrastruktuuria todellisiin sovelluksiin. • Michael, piti pääpuheenvuoron Verifying Intelligence 3.0 -tapahtumassa, jonka järjesti House of ZK ja jonka juontajana toimi Brevis: Hän selitti, miksi suurin osa lohkoketjulaskennasta siirtyy ketjun ulkopuolelle ja vahvistetaan ZKP:iden kautta, esittäen Brevisin äärettömänä laskentakerroksena, joka suorittaa raskasta logiikkaa off-chain-tilassa ja palauttaa tiiviit, todennettavissa olevat tulokset. Esityksessä käsiteltiin Pico zkVM:ää, reaaliaikaista Ethereum-testausta, Brevisin modulaarista arkkitehtuuria sekä nykyisiä integraatioita, jotka tukevat älykkäitä DeFi-ratkaisuja, yksityisyyttä suojaavia varmennuksia ja jatkuvia kannustimia. 🔹 Kumppanuuksia 🔹 Lopuksi Brevis ja @vana esittelivät yhteisen mallin yksityisen datan hyödyntämiseksi tekoälyssä yhdistämällä todennetut syötteet paikalliseen laskentaan, joka ei paljasta raakadataa: Brevis zkTLS todistaa datan alkuperän, kun taas Pico zkVM käsittelee sen käyttäjän laitteella. Vana hallinnoi suostumusta ja palkintoja, antaen kehittäjille varmennettuja mittareita ja antaen käyttäjille täyden hallinnan omiin tietoihinsa. 🔹 Katso lisää raportteja eri puolilta alaa 🔹

Jolt (@a16zcrypto) 🔹 Ethproofs-kutsu 🔹 @SuccinctJT, @a16zcrypto:n tutkija, esiintyi äskettäisessä @eth_proofs-puhelussa. Hän korosti, miten nykyiset zkVM:t ohjaavat prover-muistia jakamalla jäljet lohkoihin ja rekursiivisesti aggregioimalla todistukset, mutta tämä lisää monimutkaisuutta, bugiriskiä ja suorituskykykustannuksia. Aikaleima - 32:30: Justin jatkoi selittämällä, miten Jolt aikoo korvata tämän suoratoistomenetelmällä, joka rajoittaa toisto-muistin lähes muutamaan gigatavuun riippumatta syklimäärästä. Kaksi noin kahdestakymmenestä vaaditusta Sumcheck-komponentista on jo suoratoistossa, ja jäljellä olevan työn odotetaan valmistuvan pian. 🔹 Tutkimus 🔹 Justin julkaisi myös artikkelin, joka perustui kyselyn tuloksiin, jossa keskityttiin siihen, miten nykyaikainen SNARK-suunnittelu saavuttaa nopean todistamisen keskittymällä summatarkistusprotokollaan: Artikkelissa selitetään, miksi menetelmät kuten eräarviointi, hakuargumentit, virtuaalipolynomit ja pienen arvon säilyttäminen vähentävät todistustyön ja sitoutumisen kustannuksia. Joltin käyttäminen pääasiallisena tapaustutkimuksena osoittaa, miten toistuvan laskennallisen rakenteen hyödyntäminen mahdollistaa tehokkaat zkVM:t ja ohjaa tulevia suorituskyvyn parannuksia. 🔹 Katso lisää raportteja eri puolilta alaa 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden julkaisi Testnet v0.12:n, joka tuo mukanaan merkittäviä päivityksiä yksityisyyskuluihin, avainten hallintaan, osoitteiden käsittelyyn ja kehittäjätyökaluihin: Versio lisää uuden osoitemuodon, jossa on salaustuki, yksityisen muistiinpanokerroksen @Nethermind:llä, ECDSA-allekirjoituksen esikäännöiden kautta sekä parannuksia solmun datankäsittelyyn. Se sisältää myös perussuojat transaktiotietojen näkyvyyteen, uuden midenup-asennusohjelman virtaviivaiseen käyttöönottoon, omistetun devnetin kokeiluihin sekä useita virtuaalikoneen tason parannuksia kompositiivuuteen ja virheenkorjaukseen. 🔹 Julkaisut 🔹 Projekti julkaisi artikkelin, jossa selitetään, miten yksityiset multisig-järjestelmät tulevat toteuttamiskelpoisiksi uuden järjestelmän, Private State Managementin, avulla, jonka kehitettiin yhdessä @OpenZeppelin:n kanssa: Artikkeli selittää, miksi perinteiset multisig-järjestelmät perustuvat jaettuun julkiseen tilaan, miten Midenin yksityisyysmalli monimutkaistaa koordinointia ja miten PSM:n synkronointi-, koordinointi- ja todennuskerrokset pitävät yksityiset tilit linjassa. Se päättyy esimerkkeihin käytännön käyttötapauksista ja toteaa, että varhainen Proof-of-Concept on jo saatavilla. 🔹 Tapahtumia 🔹 Vuonna @EFDevcon Miden juonsi ja osallistui useisiin tapahtumiin, mukaan lukien: • Privacy Salon, Midenin järjestämä tapahtuma, joka kokosi rakentajia, tutkijoita ja perustajia lyhyisiin, ideoihin perustuviin keskusteluihin ja avoimiin keskusteluihin yksityisyydestä, hajautetuista järjestelmistä sekä krypton, web3:n ja perinteisen rahoituksen kehittyvistä leikkauspisteistä. • Verifying Intelligence 3.0, jonka järjesti @HouseofZK, jossa @huitseeker, Midenin insinöörijohtaja, puhui zkVM:ien roolista zkML:ssä, selitti eroja päättelyjen ja koulutuksen todistamisen välillä, TEE:n rajoituksia sekä sitä, miten Midenin suunnittelu tukee käytännöllisiä, vastustajankestäviä tekoälyn varmennusskenaarioita. Aikaleima - 02:50:12: 🔹 Integraatiot 🔹 Projekti esitteli kaksi uutta kumppanuutta, jotka laajentavat ekosysteemiä yksityisyyden, perehdytyksen ja infrastruktuurin parissa, mukaan lukien: • @get_para: Integroitu Para:n upotettu lompakko ja hajautettu MPC-tunnistautuminen, mikä mahdollistaa saumattoman ja ei-säilyttävän käyttöönoton Miden-sovelluksissa. Yhteistyö toi mukanaan salasanattoman kirjautumisen, välittömän lompakon luomisen ja kitkattomat käyttäjävirrat, mikä sovitti Para:n UX-pinon Midenin vaatimustenmukaiseen yksityisyysmalliin tukemaan yksityisiä DeFi-, fintech-, peli- ja institutionaalisia sovelluksia, jotka perustuvat ZK-suoritukseen: • @gateway_eth: Yhteistyössä Midenin skaalautuvan, yksityisyyteen keskittyvän lohkoketjuverkon yritystason infrastruktuurin tarjoamiseksi. Kumppanuus takaa korkean saatavuuden, nopean datan saatavuuden ja operatiivisen luotettavuuden Midenin skaalatessa, kun Gateway käyttää ydinkomponentteja, kuten natiivisiltaa, provereita ja lohkonhallintaohjelmaa tukemaan Midenin reunasuoritusarkkitehtuurin käyttöönottoa: 🔹 Katso lisää raportteja eri puolilta alaa 🔹

Yhteys 🔹 DEX Alpha 🔹 @NexusLabs lanseerasi Alpha-version hajautetusta ikuisesta futuuripörssistään osana Testnet III:ta, tarjoten yksinkertaistettun, ei-säilyttävän CLLAB-alustan, joka perustuu varmennettavaan infrastruktuuriin: Julkaisu keskittyy keskeisiin kaupankäyntitoimintoihin, virtaviivaistettuun perehdytykseen ja testirahastoihin todellisten varojen sijaan. Vaikka käyttöliittymä on minimaalinen, taustalla oleva tilauskirja on suunniteltu matalan viiveen suorituskykyyn ja laajenee yhteisön ohjaaman palautteen sekä asteittain käyttöön otettujen kryptografisten todistusten avulla. 🔹 Verkon tila 🔹 Nexus julkaisi marraskuun verkkoraporttinsa: Kohokohtia ovat: • Verkko käsitteli 87,198 miljoonaa tapahtumaa, joista 87,038 miljoonaa on toteutettu, mikä osoittaa korkeaa luotettavuutta ja hyvin pientä aukkoa aloitetun ja lopullisen toiminnan välillä. • Todistusten läpimenokyky muuttui kuukauden aikana 5 810:stä 4,16 todistukseen sekunnissa, mikä heijastaa vakaamman todistustason paluuta lokakuun nopean nousun jälkeen. • Vahvistettujen sopimusten määrä nousi 2,548 miljoonaan, mikä osoittaa kehittäjien jatkuvaa luottamusta testausympäristöön korkeammasta viiveestä ja hillitystä läpäisynopeudesta huolimatta. • Transaktiomaksut olivat keskimäärin 0,048 NEX, mikä piti varmennettavuuden kustannukset alhaisina ja jätti tilaa nopealle iteraatiolle ja säännöllisille ketjun sisäisille vuorovaikutuksille. 🔹 Tapahtumia 🔹 Nexusin päätutkija @JensGroth16 osallistui @HouseofZK:n Verifying Intelligence -tapahtumassa @EFDevcon nuotion äärellä keskusteluun, jossa keskusteltiin, miten ZKP:t kehittyivät varhaisesta teoreettisesta työstä nykyisiin sovelluksiin todennettavissa tekoälyssä: Hän kuvasi Nexuksen painopistettä yhdistää todistettavissa oleva oikeellisuus taloudelliseen turvaan ja korosti tarvetta standardeille, koulutukselle ja laajemmalle institutionaalisille luottamuksille, jotta todennettavat järjestelmät olisivat käyttökelpoisia ja laajasti omaksuttuja. 🔹 Katso lisää raportteja eri puolilta alaa 🔹

Risc Zero & Boundless 🔹 Ethproofs-kutsu 🔹 Viimeisimmässä @eth_proofs Call #6:ssa @BruestleJeremy, @RiscZero:n toimitusjohtaja ja perustaja, kertoi, kuinka tiimi onnistui käynnistämään oikean Linux-ytimen zkVM:n sisällä lisättyään Risc-V S-mode -tuen, täyden MMU:n ja virtualisoidun muistin. Aikaleima - 20:30: Demossa näytettiin useita prosesseja käynnissä ja lähes deterministinen ympäristö, joka soveltuu laajemmille ohjelmistopinoille. Risс Zero aikoo julkaista tämän seuraavassa piirijulkaisussa, kun proverin kehitys jatkuu. 🔹 Tapahtumia 🔹 @boundless_xyz osallistui useisiin tapahtumiin Devconnectin aikana Buenos Airesissa, mukaan lukien: • Whitepaper-lukutilaisuus, jonka @HouseofZK järjesti yhteistyössä @WPReadingClub:n ja @invisiblgarden:n kanssa, jossa Boundless, @citrea_xyz, @MinaProtocol ja @o1_labs osallistuivat pyöreän pöydän keskusteluihin viimeaikaisista tutkimuskehityksistä ja nousevista ideoista Web3:n ja ZK:n ekosysteemissä. • Verifying Intelligence 3.0 -paneeli, jossa @reka_eth, Boundlessin markkinointijohtaja, osallistui keskusteluun ihmisen panoksen todistamisesta tekoälyn ja robotiikan muovaamana aikakautena, yhdessä puhujina @humpty0x @OntologyNetwork:sta, @zKsisyfos @StarkWareLtd:sta, @DacEconomy @ProjectZKM:sta ja @Viggy_117 @eigencloud:sta. Aikaleima - 00:57:54: 🔹 Katso lisää raportteja eri puolilta alaa 🔹

Ytimekäs 🔹 SP1 Hypercube 🔹 @SuccinctLabs raportoi, että sen SP1 Hypercube zkVM:n uusin versio pystyy todistamaan 99,7 % @ethereum L1-lohkoista alle 12 sekunnissa 16 RTX 5090 -näytönohjaimella, mikä jatkaa sen aiempaa reaaliaikaista todistusvaihetta: Julkaisu tuo mukanaan merkittäviä suorituskyvyn parannuksia, kaikkien RISC-V-rajoitteiden virallisen varmennuksen, läheisyysaukon konjektuuririippuvuuksien poistamisen sekä uusia turvatoimia. Hypercube suorittaa tarkastuksia ja julkaistaan avoimena lähdekoodina sekä Succinct Prover Networkin kautta. 🔹 Tutkimus 🔹 Äskettäisessä tutkimuksessa, jonka ovat laatineet @ronrothblum, Succinctin kryptografian johtaja @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) ja @kleptographic (@NYU_Courant), kirjoittajat esittelevät TensorSwitchin, lähes optimaalisen hash-pohjaisen polynomisitoutumismenetelmän: Se käsittelee kahta päärajoitusta hajautuspohjaisissa SNARG-malleissa: todisteajan ja suurten todistuskoojen. Tensor-koodien ja interaktiivisten oraakkelitodistusten avulla TensorSwitch saavuttaa sitoutumisen ja avausajat lineaarisesti syötteen kooltaan, alilineaaristen hajautuskustannusten ja asymptoottisesti minimien varmennuskyselyiden osalta ilman luotettavaa laitteistoa tai ryhmäpohjaista kryptografiaa 🔹 C2PA 🔹 Succinct on liittynyt @C2PA_org:een ja työskentelee yhdessä muiden osallistujien kanssa kehittäen avoimia standardeja digitaalisen sisällön varmennukseen: Kun tekoälyn tuottama media lisääntyy, projekti ottaa käyttöön ZK-varmennuksen vahvistaakseen alkuperätyönkulkuja yksityisyyden ja skaalautuvien todistusten avulla. Succinct pyrkii tukemaan yhtenäisiä metatietostandardeja ja parantamaan yhteensopivuutta eri alustojen välillä. Liittymällä C2PA:han projekti aikoo osallistua tutkimukseen ja auttaa sisällön aitoustyökalujen käyttöönotossa käytännön tilanteissa. 🔹 OP Succinct Lite 🔹 @Celo päivitti Sepolia-testiverkkonsa OP Succinct Liteen Jello hardforkin kautta, lähestyen pääverkon lanseerausta: Aiemmin tänä vuonna Celo siirtyi Ethereum L2:een tukemaan oikeita maksuja ja oli ensimmäinen ketju, joka otti käyttöön OP Succinct Lite -version EigenDA v2:lla. 🔹 Katso lisää raportteja eri puolilta alaa 🔹

ZKM 🔹 Tilintarkastus 🔹 ZKM:n Ziren käy läpi @VeridiseInc:n auditointia Picus-varmennusalustalla: Veridise mukautti Zirenin Plonky3-rajoitteita ja suoritti analyysit @AuditHubDev. Alkuperäiset tulokset vahvistivat deterministisen käyttäytymisen yhteen- ja vähennyskäyttäytymisessä AddSub-piirissä. Tiimit aikovat laajentaa varmennuksen koko piireihin ja integroida tarkistukset ZKM:n kehitystyönkulkuun. 🔹 Julkaisut 🔹 @ProjectZKM julkaisi artikkelin, jossa selitetään, miten GKR-protokolla varmistaa aritmeettisia piirilaskentoja tarkistamalla rekursiivisesti johdonmukaisuutta piirikerrosten välillä monimuuttujaisella Sumcheck-protokollalla: Teos selittää kerrostetun piirirakenteen, monilineaaristen laajennusten roolin, miten Sumcheck pelkistää verifioinnin pistearvioinneiksi ja miten rekursio päättyy syöttökerrokseen. Se osoittaa, miksi GKR on tehokas suurille piireille ja perustavanlaatuinen nykyaikaisissa ZK-järjestelmissä. 🔹 Tapahtumia 🔹 ZKM julkaisi artikkelin heidän ajastaan @EFDevcon:ssa, jonka kohokohtia olivat: • ZKONNECT by @brevis_zk ja House of ZK: ZKM:n teknologiajohtaja @sd_eigen liittyi reaaliaikaiseen testauspaneeliin EVM Proven in 10 Seconds, jossa keskusteltiin GPU-kiihdytetystä todistusjärjestelmästä. • Tietojen tarkistaminen House of ZK:n ja Brevisin toimesta: Stephen puhui ZK-pohjaisesta yksityisyydestä tekoälytyönkuluissa ja tarkasteli Zirenin auditointia @VeridiseInc:n kanssa. Toinen perustaja @DacEconomy liittyi tekoäly- ja työpaneeliin, joka keskittyi ihmisen panosten varmistamiseen. • @EtherArgentina Hackathon: ZKM sponsoroi tapahtumaa, jossa Stephen toimi tuomarina ja koulutusjohtaja @alicelingl mentoroi tiimejä. • Native BTCFi Summit by @babylonlabs_io and @build_on_bob: keskusteluja @Bitcoin rahoituksesta ja BTC:n skaalaamisesta. • StarkConnect by @Starknet: Stephen osallistui sessioon Bitcoinin skaalaamisesta Starknetin, @AlpenLabs:n ja @atomiqlabs:n kanssa. • ZK Real World Summit: paneeli yksityisyyttä säilyttävistä ketjuista, joissa on @MantaNetwork, @ZKVProtocol ja @nillion. • Cultural Vivo by @invisiblgarden: ZKM palasi sponsoriksi tukemaan ZK:n ja tekoälyrakentajien keskusta. 🔹 Katso lisää raportteja eri puolilta alaa 🔹