Les proves de coneixement zero (ZKPS) són cripto el que és TCP/IP a Internet: integral i, tot i així, un misteri complet per als usuaris habituals. Si heu estat en cripto durant un temps, probablement coneixeu els fonaments bàsics, com ara que els ZKP tenen la possibilitat de verificar informació sense revelar les dades subjacents. Però, més enllà d’això, un cop comencem a entrar a Snarks, Starks, FHE i altres sigles, tot es tornarà força complex.
–
Doncs podeu relaxar-vos, perquè no estem aquí per parlar de la teoria del coneixement zero: estem aquí per parlar de la pràctica examinant tres projectes blockchain que estan aprofitant les proves de ZK per resoldre problemes del món real. No es requereix cap titulació de criptografia per comprendre el que cuina i per què és un canvi de joc per a les dades onchain. Només caldrà una mica de curiositat i un coneixement bàsic de blockchain. Si teniu aquests atributs, continuem.
Espai i temps
Per a aquelles situacions en què les proves de ZK no poden esperar un altre nanosegon per calcular, l’espai i el temps són a qui truqueu. De la mateixa manera que ens referim a proves de coneixement zero com a ZKPS per raons pràctiques, l’espai i el temps són SXT. I a l’hora de lliurar dades verificables a velocitat de llamp, SXT són els professionals de ZKP als quals us dirigiu. Basat en un marc de processament transaccional/analític híbrid (HTAP), la tecnologia de SXT permet executar i verificar les consultes complexes tant en fonts de dades a la cadena com fora.
Els seus casos d’ús són tan diversos com convincents. Dins de Defi, l’espai i el temps permeten fonts de dades verificables, garantint que els preus i altres mètriques financeres siguin precises i a prova de manipulació. Per a la IA, les seves proves proporcionen entrades sense confiança, permetent als models AI operar en conjunts de dades verificats sense comprometre la privadesa. Amb el suport d’integracions amb pesos pesats com ChainLink i Microsoft Azure, l’espai i el temps fa que els ZKPS siguin una eina pràctica per a les indústries basades en dades.
Actualment, SXT es troba molt en els coprocessadors de ZK, que segons explica el cofundador Scott Dykstra, són “una nova classe d’infra blockchain que permet que els contractistes intel·ligents demostrin computacions fora de cadena sobre les dades d’Onchain existents”.
Això ho deixa a SXT per servir com a primera base de dades de confiança per als coprocessadors ZK a EVM, una tasca a la qual es fa amb aplomb.
Laboratius succints
Succints Labs, un altre innovador nord-americà com SXT, està afrontant el repte de la comunicació privada segura a través de les xarxes blockchain. El seu objectiu es centra en la missatgeria i la interoperabilitat de ZK, aprofitant un nou marc anomenat ZKWASM per permetre la generació de proves eficient per als programes de assassació web. Això permet als laboratoris succints crear proves ZK lleugeres i portàtils que es poden verificar en diverses cadenes.
El ganxo de ZKWASM rau en la seva capacitat per abstreure càlculs complexos en un format universal, cosa que facilita la desplegament de ZKPS. El protocol de missatgeria de múltiples cadenes de Labs Succint permet als blockchains compartir dades i executar transaccions de manera privada i verificable. A través de la priorització de la interoperabilitat, Succinta està establint efectivament les bases per a un paisatge blockchain altament connectat i que conserva la privadesa, amb aplicacions que van des de borses descentralitzades fins a governança de cadena creuada.
Existir
No es conforma amb el domini d’una disciplina criptogràfica, Zama és elegit a Ace Two combinant ZKPS amb un xifrat totalment homomorf (FHE), que permet càlculs en dades xifrades sense desxiframent. Aquesta fusió permet solucions avançades de càlcul privat, especialment per a casos d’ús financer en què la confidencialitat de les dades és primordial. La tecnologia de Zama permet a les institucions processar dades financeres sensibles, com ara puntuacions de crèdit o models de risc sense divulgar -la a tercers.
Si bé FHE ha estat històricament massa lent per a un ús pràctic, l’enfocament de Zama se centra en casos d’ús optimitzats, especialment dins de les finances. Des de contractes intel·ligents confidencials fins a llibres de comandes xifrades, l’objectiu és crear sistemes on no cal exposar ni la lògica d’entrada, ni de sortida ni de processament.
El ganxo de Zama és la seva capacitat per proporcionar una computació que conserva la privadesa a escala, abordant els estrictes requisits dels reguladors i empreses financeres. Per exemple, els seus sistemes poden demostrar el compliment de les regulacions contra el blanqueig de diners o verificar la integritat dels models financers sense exposar algoritmes de propietat.
La prova és fora
El que il·lustren aquests tres projectes és la creixent maduresa de la tecnologia ZK. Des de la verificació de dades i la seguretat de cadenes creuades fins al càlcul xifrat, les proves de coneixement zero ja no es limiten a les rotllets de L2 ni als dissenys a nivell de protocol. S’estan expandint ràpidament a les noves verticals i s’utilitzen per empreses per resoldre problemes del món real.
Potser el més important, les proves de ZK estan vessant la seva reputació com a persecució purament acadèmica. Amb la generació de proves de sub-segon, la composabilitat de cadena creuada i el càlcul preparat per a empreses, aquestes tecnologies finalment entren en entorns de producció. La raça de coneixement zero ja no es tracta de qui pot construir el sistema de proves més elegant: es tracta de qui pot oferir implementacions pràctiques de la tecnologia a escala, en estat salvatge. I aquesta cursa està molt en marxa.
