Naglabas si Charles Hoskinson ng libreng 337-pahinang zero-knowledge proofs guide sa GitHub, na nagta-target sa mga developer at builder ng privacy ng Midnight sa buong ZK space.
Nag-publish si Charles Hoskinson ng isang 337-pahinang teknikal na libro sa mga sistema ng patunay ng zero-knowledge. Libre. Sa GitHub. Bukas para sa sinuman na magbasa, mag-adapt, o bumuo.
Ibinahagi ng tagapagtatag ng Cardano at IOG ang paglabas sa X bilang @IOHK_Charles, na nagpapatunay sa aklat na pinamagatang “The Seven-Layer Magic Trick: A Complete Guide to Zero-Knowledge Proof Systems.” Na-post ito ni Hoskinson dalawang araw na ang nakakaraan. Ang repositoryo ay naglalaman na ng buong PDF, Markdown source, at bumuo ng pipeline sa isang lugar.
Ang aklat ay bubukas sa isang pangungusap mula kay Hoskinson na nagtatakda ng buong tono. Hinahayaan ka ng mga patunay ng ZK na patunayan na totoo ang isang bagay nang hindi inilalantad kung bakit ito totoo. Ang isang ideyang iyon, isinulat niya, ay nasa loob ng $2 trilyong industriya, apat na dekada ng matematika, at isang problemang hindi pa rin maipaliwanag nang malinaw ng karamihan sa mga tao.
Ano ba talaga ang nasa loob ng 337 Pages
Labing-apat na kabanata. Tatlong bahagi. Humigit-kumulang 5,280 linya ng Markdown bago ito maging isang PDF.
Ang Bahagi I ay tumatakbo sa mga pangunahing kaalaman. Ano ang ginagawa ng mga patunay ng ZK, kung bakit mahalaga ang mga ito ngayon, at ang unang tunay na desisyon sa disenyo na kinakaharap ng anumang ZK system — pinagkakatiwalaang setup kumpara sa transparent na setup. Ang Bahagi II ay napupunta nang malalim sa teknikal na core. Isang kabanata bawat layer: programming language, witness generation, arithmetization, proof system, cryptographic primitives, at on-chain verification.
Ang seksyong iyon sa mga programming language ay hindi basta-bastang pagbabasa. Bina-flag ni Hoskinson ang tinatawag niyang under-constrained circuit problem — responsable para sa 67% ng real-world ZK vulnerabilities. Ang figure na iyon lamang ang gumagawa ng Part II na sulit ang oras para sa sinumang developer na nagtatrabaho malapit sa mga ZK system.
Ang Bahagi III ay humahawak sa mas malaking larawan. Isang buong trust decomposition na may pitong senaryo ng pagkabigo, isang zkVM landscape comparison, market analysis sa anim na segment, at pitong open research questions. Walang malinis na mga resolusyon. Ang mga mahihirap na tanong lang ang hindi nasasagot ng field.
Isang Midnight case study ang nasa loob ng Part III. Hindi iyon footnote — ito ay isang buong kabanata.
Ang Pangunahing Argumento ng Aklat
Ang mga patunay ng ZK ay hindi nag-aalis ng tiwala. Hinahati nila ito sa pitong mas mahinang piraso.
Ang bawat piraso ay malayang nasusubok. Ang bawat isa ay nakapag-iisa na mapapalitan. Ang bawat isa ay maaaring mabigo nang nakapag-iisa. Ang agnas na iyon, ayon kay Hoskinson sa pamamagitan ng GitHub repository na README, ay ang aktwal na panlilinlang na ginagawa ng teknolohiya — hindi salamangka, ngunit nakabalangkas na pagbawas ng panganib sa mga napapamahalaang bahagi.
Ang mga kabanata 2 at 10 ay tinatawag niyang mga pader na nagdadala ng karga. Ang Kabanata 2 ang humahawak sa pag-setup. Gumagana ang Kabanata 10 sa buong pagkabulok ng tiwala. Laktawan ang dalawang iyon at ang natitirang bahagi ng aklat ay mawawala ang pundasyon nito.
Ang mga landas sa pagbabasa na binuo sa aklat ay nagpapakita kung paano naiiba ang aktwal na paglapit ng mga tao sa materyal na ito. Apatnapu’t limang minuto para sa isang executive na sumasaklaw lamang sa mga highlight. Dalawang oras para sa isang engineer na nagtatrabaho sa Parts I at II. Apat na dagdag na oras para sa isang mananaliksik na pinag-aaralan ang lahat, kasama ang pitong bukas na tanong sa Kabanata 14.
Hatinggabi ang Tunay na Konteksto Dito
Nakaposisyon na si Hoskinson Hatinggabi bilang cross-chain privacy layerbinuo sa Cardano, gamit ang zero-knowledge cryptography bilang backbone nito sa Bitcoin, XRP, at iba pang network. Ang isang developer base na hindi nauunawaan ang ZK fundamentals ay hindi maaaring bumuo ng may kumpiyansa sa imprastraktura na iyon.
Ang kontekstong iyon ay ginagawang direktang teknikal na pamumuhunan ang aklat na ito sa hinaharap ng Midnight. Hindi marketing. Isang 337-pahinang teknikal na pundasyon para sa sinumang magpapakita upang bumuo.
Ang libro ay tumatakbo sa pamamagitan ng isang solong halimbawa upang maiangkla ang teorya. Isang 4×4 Sudoku proof thread mula sa programa hanggang sa saksi sa mga hadlang sa isang selyadong sertipiko sa bawat layer. Isang computation ang sinusubaybayan sa buong paraan. Ito ang uri ng device na naghihiwalay sa mga aklat na isinulat upang humanga sa mga aklat na isinulat upang aktwal na magturo.
Ang mga debate tungkol sa ZK trust at pagiging maaasahan ng institusyon ay umiinit sa buong espasyo. Ang Ang tagapagtatag ng zkSync kamakailan ay itinulak nang husto laban sa pampublikong kritika ng Canton sa kaligtasan ng patunay ng ZKsa institusyonal na pananalapi — pinagtatalunan na ang mga layered architecture ay nakakakuha ng mga pagkabigo bago sila kumalat. Ang balangkas ng pagkabulok ng tiwala ni Hoskinson sa Kabanata 10 ay tumutugon sa eksaktong parehong klase ng mga tanong mula sa ibang anggulo.
Libre, Lisensyado, at Handa nang Buuin Mula sa
Ang buong PDF ay makukuha sa github.com/CharlesHoskinson/sevenlayer. Lisensyado sa ilalim ng Creative Commons Attribution 4.0 International. Pinapayagan ang komersyal na paggamit. Credit lang ang kailangan.
Ang PDF ay ginawa para sa mga screen. Dark mode, Outfit heading, custom syntax highlighting, blue-to-purple gradient accent. Hindi na-optimize para sa pag-print. Ang source code upang bumuo nito mismo — Python, Pandoc, XeLaTeX — ay kasama sa parehong repositoryo.
Pinagmulan: Live Bitcoin News
Mag-iwan ng Tugon