Polyhedra Network-pris

Forfatter: momo, ChainCatcher   Nylig har Zama, et kryptografiprosjekt med åpen kildekode som fokuserer på fullstendig homomorf kryptering (FHE), endelig lansert et testnett. På litt over et år har Zama samlet inn 130 millioner dollar gjennom to store finansieringsrunder, og verdsatt det til 1 milliard dollar. I juni 2025 avsluttet Zama en serie B-finansieringsrunde på 57 millioner dollar ledet av Pantera Capital og Blockchange. I mars 2024 fullførte Zama en finansieringsrunde ledet av Multicoin Capital and Protocol Labs, Blockchange, Stake Capital, Metaplanet, Gavin Wood, grunnlegger av Ethereum Co-creation & Polkadot, Anatoly Yakovenko og Filecoin-medgründer Juan 73 millioner dollar serie A-finansiering fra kjente institusjonelle eller individuelle investorer som Benet. Hva er Zamas åpen kildekode fullt homomorfe krypteringsteknologi? Hvorfor tiltrekker du deg store mengder penger å satse på? Hva er den siste utviklingen? Denne artikkelen har gjort en kort finkjemming. Hva er fullstendig homomorf kryptering? Hvordan er det forskjellig fra ZK? I tillegg til ZK, er en annen viktig personvernteknologi navngitt av Vitalik fullstendig homomorf kryptering (FHE). Fullstendig homomorf kryptering (FHE) gjør at vilkårlig komplekse beregninger kan utføres direkte på krypterte data uten først å dekryptere dataene. Resultatet av beregningen er fortsatt kryptert, og bare brukeren med nøkkelen kan dekryptere den for å få det endelige resultatet. Kjernefordelen med FHE er personvernet til data og beregning, selv nodene som utfører beregningen, for eksempel skyservere eller blokkjedenoder, kan ikke få tilgang til klartekstdataene. Det ser ut til å være veldig likt ZK, men begge er veldig forskjellige. FHE legger vekt på personvernbevarende databehandling, og ZK legger vekt på personvernbasert verifisering. FHE lar oss med andre ord utføre vilkårlige beregninger mens dataene er fullstendig kryptert, mens ZK lar oss verifisere at en påstand er sann uten å kjenne prosessen eller de originale dataene. De to er mer et komplementært forhold, med FHE som tilbyr kryptografisk beregning på kjeden og ZK som sikrer verifiseringspersonvern. Zamas tekniske fremgang og veikart Selv om FHE er en innovativ teknologi for å sikre personvern, har den vært vanskelig å bruke tidligere på grunn av dens lave hastighet, begrensede applikasjon og vanskeligheter for utviklere å bruke. Zama har jobbet med å løse disse tekniske problemene. Zamas offisielle whitepaper sier at Zama har utviklet svært effektiv FHE-teknologi som er 100 ganger raskere enn for fem år siden, og snart vil støtte 100+ transaksjoner per sekund med GPU-akselerasjon, eller tusenvis av transaksjoner per sekund med dedikert maskinvare som FPGA-er og ASIC-er. Når det gjelder utviklervennlighet, støtter den alle typer applikasjoner så vel som vanlige programmeringsspråk som Solidity og Python. I tillegg er Zamas FHE-teknologi post-kvantesikker, noe som betyr at det ikke er noen kjente kvantealgoritmer å knekke. I tillegg til PHE, kombinerer Zama-protokollen også flerpartsberegning (MPC) og nullkunnskapsbevis (ZK) for å kompensere for manglene ved krypteringsordninger. Nylig kunngjorde Zama lanseringen av et offentlig testnett. Zama。 Det ble også avslørt at hovednettet forventes å bli lansert på Ethereum i fjerde kvartal i år, og bringe konfidensialitetsfunksjoner til Ethereum. I utgangspunktet vil bare Zama-godkjente apper støttes. I tillegg planlegger Zama å gjennomføre TGE innen utgangen av året og utvide til flere EVM-kompatible kjeder. I 2026 har Zama som mål å distribuere på Solana for å støtte Solana Virtual Machine (SVM)-applikasjoner. Zama fokuserer på retningen til applikasjonen Hva er de fremtidige brukstilfellene for Zama? Zama nevnte tre typiske scenarier: kryptobetalinger, RWA og DeFi. Kryptobetaling: Zama-protokollen implementerer ende-til-ende-kryptering av stablecoin-betalinger gjennom FHE for å beskytte personvernet til kontosaldoer og overføringsbeløp, og legger samtidig inn samsvarsfunksjoner (som KYC/AML) i smarte kontrakter for å støtte kredittkortbetalinger, lønn, grenseoverskridende pengeoverføringer og andre scenarier for å møte konfidensialitets- og samsvarskravene til finansielle transaksjoner på kjeden. RWA: Zama gjør det mulig for tradisjonelle finansinstitusjoner å tokenisere eiendeler (f.eks. fondsandeler, aksjer, obligasjoner) på offentlige blokkjeder (f.eks. Ethereum, Solana), og opprettholde konfidensialitet for handelsaktivitet og investoridentiteter. KYC/AML-kontroller utføres direkte gjennom smarte kontrakter, noe som eliminerer behovet for en privat blokkjede, noe som muliggjør interoperabilitet mellom etater. DeFi: Zama-protokollen støtter ende-til-ende-krypterte DeFi-transaksjoner ved å kryptere transaksjonsbeløp og aktivatyper, og løser problemet med brukernes motvilje mot å avsløre eiendeler og bot-frontløpende transaksjoner. Andre applikasjoner inkluderer konfidensielle utlån, kredittscoring på kjeden, opsjonspriser og mer for å forbedre DeFi-personvernet og brukeropplevelsen Zamas teambakgrunn Zamas evne til å sikre store pengesummer fra flere kjente investeringsinstitusjoner og individuelle investorer kan være uatskillelig fra teamets seniorbakgrunn innen kryptografi. Zama ble grunnlagt i 2020 av Dr. Rand Hindi (CEO) og Dr. Pascal Paillier (CTO), og nesten halvparten av teamet har doktorgrader i kryptografi, maskinlæring eller blokkjede. Rand Hindi, medgründer og administrerende direktør i Zama, er ekspert på kunstig intelligens og personvernteknologi med en Ph.D. i bioinformatikk med fokus på personvern og AI-applikasjoner. Han begynte å programmere i en alder av 10 og opprettet et sosialt nettverk i en alder av 14. Han grunnla Snips, en AI-taleplattform (senere kjøpt opp av Sonos), hvor han ble eksponert for fullstendig homomorf kryptering (FHE) som en kjerneteknologiretning for Zama. Hindi er også partner i Unit Ventures, hvor han har investert i flere kryptografi-, AI- og bioteknologiselskaper. Pascal Paillier, medgründer og CTO i Zama, har mer enn 25 års erfaring i IT-sikkerhetsbransjen, med fokus på design og utvikling av sikre kryptografiske primitiver (f.eks. fullstendig homomorf kryptering, anonym legitimasjon, etc.) samt kryptografisk programvare for innebygde arkitekturer (f.eks. smartkort). Pascal Paillier har publisert dusinvis av forskningsartikler på feltet og har rundt 25 patenter, hvorav mange for tiden brukes på smartkortteknologi. Pascal Paillier er også medlem av International Association for the Study of Cryptography (IACR) og har jobbet med ISO SC 27 WG 2 (Cryptography Standard), som vant Asiacrypt Best Paper Award i 2005. Pascal Paillier er også en seriegründer, etter å ha grunnlagt Zama før han grunnla CryptoExperts, et konsulentfirma for anvendt kryptografi. (Anbefalt lesning: "Intervju med Zama CEO: Hvordan bygge en markedsverdi på 400 millioner dollar på fire år" FHE "Wave Maker"? 》

For en uke i Cannes! ZK er hot igjen, og vi er her for å bygge.

Er ett hus og en kjede standard i fremtiden? Binance har valgt EVM-Layer 1, Coinbase valgte optimisme-rollup, Deutsche Bank valgte ZK-Rollup. Men disse kjedene er EVM-kompatible, vet du...... 🤓

#可验证计算 - RiscZero CEO Podcast Intervju Den raske utviklingen av AI har økt produktiviteten, men det har også redusert kostnadene ved forfalskning/svindel. Mer RWA på kjeden, men om eiendelene i kjeden er programmatisk verifisert og revidert, hvis det ikke er noen verifiseringsgaranti, står disse RWA-eiendelene overfor store risikoer, jeg husker at det var en bølge av CEX asset zk-revisjon på 23-24 år, men i fremtiden er det behov for mer RWA på kjeden, mer aktivaverifisering og sporingsrevisjon. I fremtiden vil etterprøvbarhet og prosessuell åpenhet på Internett være nøkkelfunksjoner. Det er et stort potensial for at blokkjede kan kombineres med AI/RWA, og verifiserbar databehandling er en av kjerneinfrastrukturene her. I verifiserbar databehandling @RiscZero og @boundless_xyz zk-prosjekter implementere verifiserbar databehandling gjennom RISC-V og ZK VM. Oppmerksomhet fra 2003 RiscZero har utviklet seg fra zkvm til betong zk L1. Her er et @zeroknowledgefm podcastintervju med grunnleggerne deres for å lære mer om teamet og prosjektets tekniske valg, forretningsvisjon og mer. Dette intervjuet ble gjort før utgivelsen av @boundless_xyz, men tidligere intervjuer har avslørt planene for L1. Hvordan lytter du godt på engelsk? Lytt direkte til originalen: Sammendrag av intervju: Risc0s kjerneteknologi ZK VM og RISC-V: Risc0 har bygget en ZK VM som kjører RISC-V-kode, som støtter programmer kompilert i C, C++, Rust og andre språk, som ligner på virtuelle mikrokontrollere, med nullkunnskapsegenskaper (skjulte innganger og programmer). RISC-V ble valgt: Den er egnet for implementering i ZK-kretser fordi den er åpen kildekode, fri for immaterielle begrensninger, enkel og effektiv, og har samsvarstesting og formell modellstøtte. Personvern og utvidbarhet: Støtt nullkunnskapsbevis på programutførelse og selve programmet, fokuser i utgangspunktet på utvidbarhet for å støtte kompleks applikasjonsøkologi, og personvern (for eksempel ZK-identitet) som fremtidig retning. Minne vs. ikke-deterministisk: Minne er representert som et 32-biters tall, som koder den opprinnelige tilstanden gjennom en Merkle-struktur; Ikke-deterministiske dataforespørsler støttes, og gjesten (ZK VM) ber om data fra verten og verifiserer for å opprettholde personvernet. Teknologi for å implementere og akselerere bruken av STARKs: Bruk STARK-er til å bevise gjentatte strukturer, for eksempel prosessortidstrinn, som passer til tidsberegningsutførelsesmodellen til den virtuelle maskinen. Rekursiv støtte: Under utvikling kan Rust-validatoren kjøres i ZK VM for å verifisere bevis og implementere inkrementelle bevis (f.eks. fra genesis-blokker til N+1-blokker). Maskinvareakselerasjon: for tiden opptil 30 000 sykluser/sek på M1 Pro, 1 million sykluser/sek for Metal/CUDA, og omtrent 10 millioner sykluser/sek for 3090 GPU. Akseleratorkretser som SHA-256 støttes, og endelige domene- og store heltallsanaloge akseleratorer er planlagt lagt til i fremtiden. Parallellisering: Bevisprosesser kan parallelliseres, egnet for GPU-akselerasjon, redusere ventetid og støtte storskala beregning (f.eks. kompilatorkjøring). Visjon og applikasjonssky 2.0: Målet er å bygge en desentralisert offentlig sky som støtter DeFi, spill, NFT-er og komplekse applikasjoner (som SQL-databaser, sosiale medier), og oppnår "transaksjonskostnadene er så lave at ingen måling er nødvendig". L1 Blockchain: Utvikle L1 og bruk ZK til å optimalisere konsensusmekanismen («Proof of Transaction»), som bruker mengden beregning i stedet for antall transaksjoner for å bestemme den lengste kjeden, og støtter milliarder av transaksjoner per sekund. Brukstilfeller: Disse inkluderer forsyningskjedesikkerhet (som beviser at binærfiler kommer fra revidert kildekode), sporing av fysiske eiendeler og mer. Økologi og fremtidig økologi Forbindelse: Det er planlagt å integrere med andre blokkjeder som Ethereum gjennom broer eller validatorer for å støtte verifisering av Risc0-bevis eller kjøring av EVM-er på Ethereum. Veikart: Den nåværende versjonen er åpen kildekode, og neste versjon (inkludert rekursiv og GPU-akselerasjon) vil snart være åpen kildekode. DevNet er planlagt lansert i slutten av 2022 eller begynnelsen av 2023, med betaregistreringer utgitt via Twitter og andre. Risc0 eksisterer som L1, vil den koble til andre nettverk eller nettverksklynger? Noe sånt som @VitalikButerin eth, @gavinwood er @Polkadot, Cosmos? Brian sier at det nesten helt sikkert vil koble sammen. Risc0-teknologi regnes som et allment anvendelig verktøy. Selv om den har sin egen L1-visjon, ønsker den også at denne teknologien skal tjene andre økosystemer. Utfordringer og refleksjoner om enkel programmering: Senk inngangsbarrieren for utviklere med eksisterende språk og verktøykjeder uten å måtte lære nye språk eller aritmetiske kretser. Utsikter for maskinvareakselerasjon: På kort sikt er GPUer dominerende, på grunn av umoden matematikk og lange ASIC-utviklingssykluser. FPGA-er og ASIC-er kan brukes i spesifikke SNARK-kretser. Konkurranse og posisjonering: I motsetning til andre ZK VM/EVM-prosjekter, legger Risc0 vekt på allsidighet og skalering på skynivå, med tanke på Ethereum-økosystemet og andre nettverk. Risc0 utnytter RISC-V og STARK-er til å bygge virtuelle ZK-maskiner for å løse skalerbarhetsproblemet til distribuerte systemer, med mål om å desentralisere den offentlige skyen og støtte storskala, personvernbevarende databehandling. Den nåværende åpen kildekode-versjonen er tilgjengelig, GPU-akselerasjon og rekursjonsstøtte vil snart være tilgjengelig, og det er planlagt å bygge L1 og integrere med andre økosystemer, egnet for DeFi, forsyningskjedesikkerhet og andre scenarier Hele intervjuet: Langt tekstbilde

#可验证计算 - RiscZero CEO Podcast Intervju Den raske utviklingen av AI har økt produktiviteten, men det har også redusert kostnadene ved forfalskning/svindel. Mer RWA på kjeden, men om eiendelene i kjeden er programmatisk verifisert og revidert, hvis det ikke er noen verifiseringsgaranti, står disse RWA-eiendelene overfor store risikoer, jeg husker at det var en bølge av CEX asset zk-revisjon på 23-24 år, men i fremtiden er det behov for mer RWA på kjeden, mer aktivaverifisering og sporingsrevisjon. I fremtiden vil etterprøvbarhet og prosessuell åpenhet på Internett være nøkkelfunksjoner. Det er et stort potensial for kombinasjonen av blokkjede og AI, og verifiserbar databehandling er kjernen i infrastrukturen. I verifiserbar databehandling @RiscZero og @boundless_xyz zk-prosjekter implementere verifiserbar databehandling gjennom RISC-V og ZK VM. Oppmerksomhet fra 2003 RiscZero har utviklet seg fra zkvm til betong zk L1. Her er et @zeroknowledgefm podcastintervju med grunnleggerne deres for å lære mer om teamet og prosjektets tekniske valg, forretningsvisjon og mer. Dette intervjuet ble gjort før utgivelsen av @boundless_xyz, men tidligere intervjuer har avslørt planene for L1. Hvordan lytter du godt på engelsk? Lytt direkte til originalen: Sammendrag av intervju: Risc0s kjerneteknologi ZK VM og RISC-V: Risc0 har bygget en ZK VM som kjører RISC-V-kode, som støtter programmer kompilert i C, C++, Rust og andre språk, som ligner på virtuelle mikrokontrollere, med nullkunnskapsegenskaper (skjulte innganger og programmer). RISC-V ble valgt: Den er egnet for implementering i ZK-kretser fordi den er åpen kildekode, fri for immaterielle begrensninger, enkel og effektiv, og har samsvarstesting og formell modellstøtte. Personvern og utvidbarhet: Støtt nullkunnskapsbevis på programutførelse og selve programmet, fokuser i utgangspunktet på utvidbarhet for å støtte kompleks applikasjonsøkologi, og personvern (for eksempel ZK-identitet) som fremtidig retning. Minne vs. ikke-deterministisk: Minne er representert som et 32-biters tall, som koder den opprinnelige tilstanden gjennom en Merkle-struktur; Ikke-deterministiske dataforespørsler støttes, og gjesten (ZK VM) ber om data fra verten og verifiserer for å opprettholde personvernet. Teknologi for å implementere og akselerere bruken av STARKs: Bruk STARK-er til å bevise gjentatte strukturer, for eksempel prosessortidstrinn, som passer til tidsberegningsutførelsesmodellen til den virtuelle maskinen. Rekursiv støtte: Under utvikling kan Rust-validatoren kjøres i ZK VM for å verifisere bevis og implementere inkrementelle bevis (f.eks. fra genesis-blokker til N+1-blokker). Maskinvareakselerasjon: for tiden opptil 30 000 sykluser/sek på M1 Pro, 1 million sykluser/sek for Metal/CUDA, og omtrent 10 millioner sykluser/sek for 3090 GPU. Akseleratorkretser som SHA-256 støttes, og endelige domene- og store heltallsanaloge akseleratorer er planlagt lagt til i fremtiden. Parallellisering: Bevisprosesser kan parallelliseres, egnet for GPU-akselerasjon, redusere ventetid og støtte storskala beregning (f.eks. kompilatorkjøring). Visjon og applikasjonssky 2.0: Målet er å bygge en desentralisert offentlig sky som støtter DeFi, spill, NFT-er og komplekse applikasjoner (som SQL-databaser, sosiale medier), og oppnår "transaksjonskostnadene er så lave at ingen måling er nødvendig". L1 Blockchain: Utvikle L1 og bruk ZK til å optimalisere konsensusmekanismen («Proof of Transaction»), som bruker mengden beregning i stedet for antall transaksjoner for å bestemme den lengste kjeden, og støtter milliarder av transaksjoner per sekund. Brukstilfeller: Disse inkluderer forsyningskjedesikkerhet (som beviser at binærfiler kommer fra revidert kildekode), sporing av fysiske eiendeler og mer. Økologi og fremtidig økologi Forbindelse: Det er planlagt å integrere med andre blokkjeder som Ethereum gjennom broer eller validatorer for å støtte verifisering av Risc0-bevis eller kjøring av EVM-er på Ethereum. Veikart: Den nåværende versjonen er åpen kildekode, og neste versjon (inkludert rekursiv og GPU-akselerasjon) vil snart være åpen kildekode. DevNet er planlagt lansert i slutten av 2022 eller begynnelsen av 2023, med betaregistreringer utgitt via Twitter og andre. Risc0 eksisterer som L1, vil den koble til andre nettverk eller nettverksklynger? Noe sånt som @VitalikButerin eth, @gavinwood er @Polkadot, Cosmos? Brian sier at det nesten helt sikkert vil koble sammen. Risc0-teknologi regnes som et allment anvendelig verktøy. Selv om den har sin egen L1-visjon, ønsker den også at denne teknologien skal tjene andre økosystemer. Utfordringer og refleksjoner om enkel programmering: Senk inngangsbarrieren for utviklere med eksisterende språk og verktøykjeder uten å måtte lære nye språk eller aritmetiske kretser. Utsikter for maskinvareakselerasjon: På kort sikt er GPUer dominerende, på grunn av umoden matematikk og lange ASIC-utviklingssykluser. FPGA-er og ASIC-er kan brukes i spesifikke SNARK-kretser. Konkurranse og posisjonering: I motsetning til andre ZK VM/EVM-prosjekter, legger Risc0 vekt på allsidighet og skalering på skynivå, med tanke på Ethereum-økosystemet og andre nettverk. Risc0 utnytter RISC-V og STARK-er til å bygge virtuelle ZK-maskiner for å løse skalerbarhetsproblemet til distribuerte systemer, med mål om å desentralisere den offentlige skyen og støtte storskala, personvernbevarende databehandling. Den nåværende åpen kildekode-versjonen er tilgjengelig, GPU-akselerasjon og rekursjonsstøtte vil snart være tilgjengelig, og det er planlagt å bygge L1 og integrere med andre økosystemer, egnet for DeFi, forsyningskjedesikkerhet og andre scenarier Hele intervjuet: Langt tekstbilde