I krypto har vi blitt gode på å skalere. Oppsummeringer. DA-lag. Delte sequencere. Men når det gjelder interoperabilitet, sitter vi fortsatt fast i fortiden. Vi er avhengige av multisigs, pålitelige orakler og usikre broer for å sende meldinger mellom kjeder til tross for at vi vet at de er den mykeste angrepsflaten i krypto. @SuccinctLabs skjærer gjennom det rotet. Ikke ved å bygge et nytt meldingslag eller L2 ... Men ved å introdusere en ny primitiv: → Et universelt bevislag som gjør det mulig for enhver kjede å verifisere beregninger fra en hvilken som helst annen kjede ved hjelp av ZK. Dette snur modellen helt. I stedet for å stole på at 3rd parter bekrefter at noe skjedde på en annen kjede ... Kortfattet gir kjeder makten til å bevise det selv. Slik gjør du det: Den kortfattede stabelen I kjernen er Succinct en modulær ZK-infrastrukturstabel laget av: - SP1 zkVM – En høyytelses, åpen kildekode zkVM bygget fra bunnen av. Optimalisert for reell, generell testing, spesielt lette klienter og verifisering på tvers av kjeder. - Universal Prover Network – SP1 driver et bevislag som kan kjøre vilkårlige beregninger utenfor kjeden og produsere kortfattede bevis som kan verifiseres hvor som helst. - Kortfattet gateway – En utviklervendt API som abstraherer all ZK-kompleksiteten og lar team kjøre tillitsløs beregning utenfor kjeden uten å endre protokollen eller smarte kontrakter. Og dette er ikke vaporware. Succinct jobber allerede med: Base, Arbitrum og Optimism → for å kjøre tillitsløse L2-lysklienter Solana → Ethereum-broer → ved hjelp av zk-utprøvde blokkoverskrifter EigenLayer AVS-prosjekter → som krever off-chain testing Oppgaven er enkel: Beregning bør skje utenfor kjeden. Verifisering bør skje på kjeden. Null kunnskap gjør det mulig og skalerbart. @SuccinctLabs CT legger grunnlaget for en verden der: 1. Broer trenger ikke orakler 2. L2-er trenger ikke sentraliserte sequencer-overvåkere 3. Bitcoin kan snakke med Ethereum via bevis, ikke tillit Dette er begynnelsen på en ny kryptoprimitiv. I neste innlegg bryter vi ned SP1 zkVM og hvorfor det er den viktigste delen av puslespillet. Tagging av gigachads som kan være interessert i dette 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_
DOLAK1NG
DOLAK1NG16. juli 2025
I 2020 var morderappen DeFi. I 2021 var det NFT-er. I 2022, rollups. Nå? Det er infrastruktur som gjør dem alle komponerbare, bevisbare og skaperjusterte. Dette er fremveksten av det usynlige infrastrukturlaget, verktøyene under overflaten som driver ZK, AI, intensjoner, appkjeder og databehandling. Her er 6 av de viktigste protokollene som bygger dette grunnlaget: 1. @SuccinctLabs ZK så enkelt som kode Vil du bevise at koden din fungerer uten å skrive den om til kryptografiske kretser? Succinct bygger SP1, en zkVM som lar deg skrive vanlig Rust eller C++ og generere ZKP-er fra den. Så kommer magien: bevis utføres av et desentralisert Prover Network, hvor deltakerne byr på å generere bevis raskt og billig .... betalt i $PROVE. Succinct gjør ZK til infrastruktur du ikke engang legger merke til, bevis uten rørleggerarbeid. Perfekt for: - zkBroer - Lette klienter - AI-verifisering - Oppsummeringer Alt som trenger "beviselig beregning" ZK går fra laboratoriet → til app-native skala. 2. @Mira_Network Verifisering av AI som om det var matematikk ChatGPT kan generere svar, men hvordan vet vi at det er riktig? Mira gjør AI beviselig og tillitsminimert. Hver AI-utgang er: - Brutt inn i atomkrav - Verifisert uavhengig av "faktasjekkere" - Beskyttet med personvernbevarende kryptografi - Sertifisert på kjeden Det er null kunnskap møter null hallusinasjoner. Forestille seg: Bekreftede agentsvar i DeFi Sikre medisinske LLM-er Troverdige NPC-er i spillverdenen Beslutningsmotorer som kan revideres Mira bygger et tillitslag for AI, slik at du ikke bare bruker det, du kan tro det. 3. @cysic_xyz ZK-bevis som en desentralisert vare Alle vil ha ZKP-er. Ingen ønsker å generere dem. Cysic fikser det med Proof-of-Compute. Et desentralisert bevisnettverk av GPU-er og ASIC-er Oppgaver fra ethvert ZK-prosjekt Bevisere tjener $CYS + tokener for datastyring ($CGT) Staking + slashing + finality sikrer tillit Tenk: en åpen markedsplass for hestekrefter uten kunnskap. ZK skaleres nå som skydatabehandling. Fra lette klienter til rollups, Cysic gjør beviselig logikk kostnadseffektiv, tilgjengelig og troverdig desentralisert. 4. @Calderaxyz Samleoppdateringer som et produkt, ikke en protokoll Å lansere en kjede bør ikke ta 6 måneder. Caldera er AWS for rollups, som spinner opp høyytelses appkjeder med noen få klikk. Det syr sammen: Celestia (for datatilgjengelighet) Espresso (for desentralisert sekvensering) RISC Zero (for naturlig bevising) EVM eller tilpassede virtuelle maskiner Så DAO-er, dApps og protokoller kan gå fra 0→1 med produksjonsklasse infra. Ingen tilpasset infra. Ingen devops-mareritt. Bare raske, modulære rollups, distribuert som Shopify butikker. 5. @campnetworkxyz Det opprinnelige IP-laget til Web3 AI trenger data. Skapere trenger herkomst. Camp er en L1 for programmerbar IP. Tenk: hvert innhold får en kryptografisk ID, juridiske metadata og innebygd rettighetslogikk. Apper kan: Registrer IP La agenter lisensiere/trene på det Betal skapere basert på bruk Bevis opprinnelse og forfatterskap Hvis Caldera er AWS for rollups, er Camp kulturens Ethereum. Det gjør IP programmerbar, og lar skapere velge inntektsmodeller i stedet for å bli hentet ut. 6. @anoma Hvor intensjoner erstatter transaksjoner Blokkjeder forstår ikke hva brukerne vil ha. Anoma gjør det. Anoma behandler ikke bare transaksjoner. Den tolker intensjoner – hva brukeren prøver å oppnå. Vil du bytte ETH → stETH → stemme i en DAO? Bare si det. Vil du lage en NFT bare hvis AI-agenten din blir verifisert? Bare erklær det. Trenger du å samhandle på tvers av 4 oppsummeringer, men vet ikke hvordan du skal rute den? La Anoma finne ut av det. Anoma gjør UX fra klikkfest til begrensningsløst logikk. Intensjonsbasert utførelse er fremtiden for jevn koordinering. Dette er mine 6 toppprosjekter foreløpig, vil definitivt slippe en ny episode i nærmeste fremtid. Det er en innpakning!
10,69K