Useimmat zkVM:t näyttävät hyvältä paperilla. SP1 on rakennettu todellista maailmaa varten. Concinct ei käyttänyt Risc0:aa, zkSynciä tai Polygonin zkVM:ää hyvästä syystä. SP1 ei ole kopio. Se on alusta alkaen zkVM, joka on rakennettu seuraavan sukupolven luotettavalle infralle. Tässä on syy, miksi sillä on merkitystä: Miksi rakentaa uusi zkVM? @SuccinctLabs olisi voinut valita olemassa olevat zkVM:t. Risc0, Kairo tai jopa zkEVM:t. Mutta he eivät tehneet niin, ja tässä on syy: Useimmat zkVM:t eivät ole tarpeeksi yleiskäyttöisiä Monet eivät tue rekursiota suoraan laatikosta Jotkut on yhdistetty tiiviisti mukautettuihin DSL-tiedostoihin (esim. Toiset eivät ole läpinäkyviä tai ne on upotettu syvälle suurempiin rollup-pinoihin Ytimekäs tarvitsi jotain enemmän: → zkVM, joka voi ajaa mitä tahansa ohjelmaa missä tahansa ja todistaa sen tehokkaasti. Se on SP1. Mikä on SP1? SP1 on suorituskykyinen, modulaarinen zkVM, joka on rakennettu Rutiin, joka tukee: - Yleiskäyttöinen laskenta - Tehokas rekursio - Todiste siirrettävyydestä muihin ketjuihin Ja mikä tärkeintä, avoimen lähdekoodin joustavuus Se on suunniteltu ensimmäisistä periaatteista muutaman ydinidean ympärille: • ZK:n on oltava saavutettavissa. • Todisteiden luomisen on oltava koottavissa ja todennettavissa ketjuissa. • Kehittäjien ei pitäisi joutua opettelemaan kryptografiaa käyttääkseen ZK:ta. SP1 on rakennettu mukautetulle ISA:lle (käskyjoukkoarkkitehtuurille), ei EVM:n kopiolle, mikä tekee siitä paljon tehokkaamman ja laajennettavamman. Ja sitä käytetään jo ketjujen välisten valoasiakkaiden, EigenLayer AVS:ien ja muiden virtalähteenä. Mikä tekee SP1:stä erilaisen? Muihin zkVM-järjestelmiin verrattuna SP1 erottuu joukosta muutamalla suurella tavalla: Suunniteltu todentamiseen Ei optimoitu nollatietopeleihin tai rollup-kilpailuihin, optimoitu moniketjuiseen todentamiseen. Erittäin modulaarinen Voit muokata SP1:tä, vaihtaa komponentteja ja liittyä erilaisiin todistuskäyriin tai rekursiostrategioihin. Rust-natiivi kehittäjäkokemus Kirjoita ZK-ohjelmia turvallisilla ja tehokkailla Rust-laitteilla, älä eksoottisilla DSL-tiedostoilla. Sisäänrakennettu tuki rekursiivisille todisteille Ratkaisevan tärkeää skaalautuvuuden ja koottavuuden kannalta monien ketjun ulkopuolisten tapahtumien todentamisessa ketjussa. Miksi tällä on nyt merkitystä Krypton tulevaisuus on moniketjuinen. Tämä tarkoittaa enemmän kevyitä asiakkaita, enemmän siltoja ja enemmän jaettuja testausjärjestelmiä. Mutta yhden ketjun tilan todistaminen toisessa turvallisesti vaatii zkVM-laitteita, jotka on optimoitu paitsi suorituskyvyn myös joustavuuden ja siirrettävyyden kannalta. SP1 tekee juuri niin. → Se ei ole vain ZK-primitiivi – se on luotettavattoman yhteentoimivuuden takana oleva todistemoottori. Seuraavassa viestissä erittelemme Concinct Prover Networkin: kuinka se ajaa ZK-laskentaa ketjun ulkopuolella ja mitä tämä avaa kehittäjille ja ketjuille. Tähän mahdollisesti kiinnostuneiden 👇 gigachadien merkitseminen - @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_