La începutul secolului trecut, dacă voiai o mașină, trebuia să cauți cel mai cunoscut mecanic local. El îți va construi manual fiecare rotiță și bielă, în funcție de nevoile tale. Dacă mașina se strica, nimeni altcineva nu putea să o repare, deoarece fiecare componentă avea specificații care existau doar în mintea lui. Asta se numește „meșteșug”, dar și „barieră tehnologică”.
Ulterior, linia de asamblare Ford a apărut. Componentele au fost standardizate, iar procesul de asamblare a devenit transparent. Mecanicii au rămas fără locuri de muncă? Nu, ei au devenit ingineri șefi, iar cei care nu își permiteau o mașină au început să conducă fiecare câte un model T.
Dezvoltarea ZK (dovezi zero-knowledge) este acum în acea „era a atelierelor manuale”.
一、 Costisitorul “preot al criptografiei”
În cercul blockchain, dezvoltatorii ZK sunt cei care stau în vârful piramidei. Ei sunt ca o grupă de „preoți” care stăpânesc vechile incantații, păzind curbele eliptice, angajamentele polinomiale și logica circuitelor R1CS, despre care oamenii obișnuiți nici nu au auzit.
Dacă ești un dezvoltator Web3 obișnuit, care vrea să adauge o funcție de „vot privată” sau „anonimizare” aplicației tale, ai doar două opțiuni:
Bătălie matematică： Petrecând doi-trei ani pentru a studia acele lucrări criptografice obscure, înainte de a scrie cod, transformă-te într-un semi-matematician.
Cumpărarea de talente： Plătind sume exorbitante pentru a angaja acei experți ZK extrem de rari.
Rezultatul este evident. Cele mai multe echipe s-au uitat la facturi și la programul de lucru, și au oftat în cele din urmă: „Lasă, confidențialitate sau nu, vorbim mai târziu.” Aceasta este motivul pentru care domeniul ZK este apreciat, dar nu aduce rezultate.
二、 Violent拆解：Compact 的“降维打击”
@MidnightNetwork Compact, care este în curs de dezvoltare, este, în esență, o mișcare de „de-sfințire”.
Dacă dezvoltarea tradițională ZK este ca „măcinarea lentă a lentilelor”, atunci Compact oferă „măcinare automată completă”.
Compact este inteligent pentru că nu a inventat un nou limbaj înalt, ci a ales să „paraziteze” pe TypeScript. Aceasta este o strategie extrem de vicleană și practică. Ce este TypeScript? Este limba maternă a inginerilor frontend, este șurubul cel mai matur din industria internetului.
Compact 的平坦化，体现在三个层面的“消解”：
Descompunerea logică： Dezvoltatorii nu mai trebuie să se gândească la „cum să transforme logica de afaceri în constrângeri polinomiale”. Trebuie doar să folosești if-else, loop și function familiare pentru a descrie regulile de afaceri, restul este lăsat compilatorului.
Descompunerea identității： În trecut aveai nevoie de un „expert în criptografie”, acum ai nevoie doar de un „programator care înțelege puțin logica”. Aceasta înseamnă că costul organizațional pentru dezvoltarea aplicațiilor de confidențialitate s-a transformat din „caut un unicorn” în „angajarea muncitorilor calificați”.
Descompunerea mentalității： Când scrii cod, nu trebuie să te îngrijorezi constant dacă dovezile matematice de bază sunt solide. Compilatorul Compact îți va genera automat descrierile circuitelor de bază și materialele doveditoare. Este ca și cum ai scrie cod într-o limbaj de înalt nivel, fără a te îngrijora cum funcționează registrele CPU.
三、 Structura de piață în „cutremur”
Așa cum arată acel videoclip care te învață să schimbi ecranul telefonului, atunci când o „problemă dificilă” devine „ușoară”, schimbările care apar nu sunt doar legate de eficiență.
Primul este colapsul puterii de stabilire a prețurilor.
În trecut, proiectele ZK își permiteau să ceară sume exorbitante pentru finanțare, într-o mare măsură din cauza „premiului pentru raritate”. Când Compact permite celor zece milioane de dezvoltatori TypeScript să scrie contracte de confidențialitate, acest premiu se va reduce rapid. „Misterul” tehnologiei a dispărut, iar în locul lui a apărut „competiția scenariilor de aplicare”.
În al doilea rând, „explozia speciilor” în ecosistemul aplicațiilor.
De ce sunt puține aplicații ZK acum? Pentru că costurile sunt prea mari, toată lumea se teme să joace în domeniul financiar (DeFi), care este de mare valoare și cu randamente mari. Dar, dacă costul de dezvoltare scade la o zecime din cel original, acele scenarii care par „nu atât de profitabile, dar foarte utile” vor începe să apară.
Un sistem de evaluare anonim pentru angajați.
Un protocol de reputație descentralizat bazat pe protecția confidențialității.
O dovadă de împrumut care nu necesită expunerea soldului pentru a demonstra capacitatea de active.
Aceste lucruri nu puteau fi realizate în „era manuală”, deoarece investițiile în cercetare și dezvoltare nu își recuperau costurile. Dar după popularizarea Compact, toate acestea se vor transforma în „pluginuri mici” la îndemână.
四、 Ideal și realitate în “vale morții”
Dar, pe de altă parte, după ce am schimbat ecranul telefonului, am descoperit o problemă: deși ecranul a fost schimbat, sigiliul nu a fost aplicat uniform, iar impermeabilitatea este practic distrusă. Acesta este efectul secundar al „planificării” - un prag mai mic nu înseamnă că nu sunt capcane.
Midnight 的 Compact 同样面临这个挑战。白皮书写得再漂亮，编译器翻译得再智能，如果产出的电路效率低下（Proof size 太大或验证时间太长），或者在极端边界条件下会出现安全漏洞，那么开发者依然不敢大规模迁移。
Dezvoltatorii sunt o grupă de oameni foarte practici. Toleranța lor față de instrumente este extrem de scăzută：
Documentație： Dacă caut o eroare și nu găsesc soluția, plec imediat.
Debugging： Dacă scriu greșit logica, iar compilatorul îmi dă mesajul „Eroare necunoscută”, cu siguranță voi sparge tastatura.
Compatibilitate： Poate să se integreze fără probleme în fluxul meu de dezvoltare existent?
Midnight spune că vor oferi un set complet de medii de dezvoltare și cadre de suport, ceea ce sună foarte bine, dar adevăratul câmp de luptă este în primele trei luni după lansarea mainnet-ului. În acea perioadă, cât de repede se rezolvă bug-urile apărute în comunitate și cât de frecvent se actualizează tutorialele decid direct dacă va deveni noul standard din industrie sau se va transforma într-un „jucărie de laborator care arată bine, dar nimeni nu o folosește”.
五、 Concluzie: Viitorul după planificare
Am crezut întotdeauna că un semn al maturității tehnologiei este că devine „insensibilă”.
Când cumperi ceva pe Taobao, nu trebuie să știi cum funcționează baza de date distribuită la nivel de bază; când deschizi o pagină web, nu trebuie să știi cum funcționează protocolul TCP/IP. ZK ar trebui să fie la fel.
Obiectivul Compact ar trebui să fie să facă cuvântul „dovada zero-knowledge” să dispară din discuțiile dezvoltatorilor. Oamenii nu mai discută despre „cum îmi scriu un circuit ZK”, ci despre „ce funcționalitate a realizat contractul meu de confidențialitate”.
Așa cum spune comentariul din secțiunea de comentarii a videoclipului de schimbare a ecranului: „Deci așa era, pot scrie și eu.”
Dacă acea zi va veni cu adevărat, aplicațiile de confidențialitate își vor începe cu adevărat narațiunea. Dacă va reuși sau nu, nu ne uităm la PPT, ci la înregistrările de commit de pe GitHub după lansarea mainnet-ului.
