Charles Hoskinson heeft een gratis 337 pagina’s tellende zero-knowledge proofs-gids op GitHub uitgebracht, gericht op Midnight-privacytechnologie-ontwikkelaars en -bouwers in de ZK-ruimte.
Charles Hoskinson publiceerde een technisch boek van 337 pagina’s over zero-knowledge proof-systemen. Vrij. Op GitHub. Iedereen kan het lezen, aanpassen of erop voortbouwen.
De oprichter van Cardano en IOG deelde de release op X as @IOHK_Charles, waarmee het boek met de titel ‘The Seven-Layer Magic Trick: A Complete Guide to Zero-Knowledge Proof Systems’ wordt bevestigd. Hoskinson plaatste het twee dagen geleden. De repository bevat al de volledige PDF, Markdown-bron en build-pijplijn op één plek.
Het boek opent met een enkele zin van Hoskinson die de hele toon zet. Met ZK-bewijzen kunt u bewijzen dat iets waar is, zonder te onthullen waarom het waar is. Dat ene idee, zo schrijft hij, zit in een industrie van twee biljoen dollar, vier decennia aan wiskunde, en een probleem dat de meeste mensen nog steeds niet duidelijk kunnen verklaren.
Wat zit er eigenlijk in 337 pagina’s
Veertien hoofdstukken. Drie delen. Ongeveer 5.280 regels Markdown voordat het een pdf wordt.
Deel I behandelt de basis. Wat ZK-proofs doen, waarom ze er nu toe doen, en de eerste echte ontwerpbeslissing waarmee een ZK-systeem wordt geconfronteerd: vertrouwde opstelling versus transparante opstelling. Deel II gaat diep in op de technische kern. Eén hoofdstuk per laag: programmeertalen, het genereren van getuigen, rekenkunde, bewijssystemen, cryptografische primitieven en verificatie in de keten.
Dat gedeelte over programmeertalen is geen gewone lectuur. Hoskinson signaleert wat hij het ‘under-constrained circuit’-probleem noemt – verantwoordelijk voor 67% van de echte ZK-kwetsbaarheden. Dat cijfer alleen al maakt Deel II de moeite waard voor elke ontwikkelaar die in de buurt van ZK-systemen werkt.
Deel III behandelt het grotere geheel. Een volledige ontleding van vertrouwen met zeven faalscenario’s, een zkVM-landschapsvergelijking, marktanalyse over zes segmenten en zeven open onderzoeksvragen. Geen zuivere resoluties. Alleen de moeilijke vragen die het veld niet heeft beantwoord.
Een Midnight-casestudy bevindt zich in deel III. Dat is geen voetnoot; het is een volledig hoofdstuk.
Het centrale argument van het boek
ZK-bewijzen elimineren het vertrouwen niet. Ze breken het in zeven zwakkere stukken.
Elk stuk is onafhankelijk testbaar. Elk is afzonderlijk vervangbaar. Elk kan onafhankelijk falen. Die ontleding, zo betoogt Hoskinson via de GitHub-repository README, is de feitelijke truc die de technologie uitvoert – geen magie, maar een gestructureerde reductie van risico’s in beheersbare delen.
De hoofdstukken 2 en 10 zijn wat hij de dragende muren noemt. Hoofdstuk 2 behandelt de installatie. Hoofdstuk 10 behandelt de vertrouwensdecompositie volledig. Sla die twee over en de rest van het boek verliest zijn basis.
De in het boek ingebouwde leespaden weerspiegelen hoe verschillend mensen deze stof daadwerkelijk benaderen. Vijfenveertig minuten voor een leidinggevende die alleen de hoogtepunten bespreekt. Twee uur voor een ingenieur die deel I en II doorwerkt. Ruim vier uur voor een onderzoeker die alles doorneemt, inclusief de zeven open vragen in hoofdstuk 14.
Middernacht is hier de echte context
Hoskinson heeft zich gepositioneerd Middernacht als een cross-chain privacylaaggebouwd op Cardano, met behulp van zero-knowledge-cryptografie als ruggengraat voor Bitcoin, XRP en andere netwerken. Een ontwikkelaarsbasis die de grondbeginselen van ZK niet begrijpt, kan niet met vertrouwen op die infrastructuur bouwen.
Die context maakt dit boek tot een directe technische investering in de toekomst van Midnight. Niet marketing. Een technische basis van 337 pagina’s voor iedereen die komt bouwen.
Het boek doorloopt één enkel voorbeeld om de theorie te verankeren. Een 4×4 Sudoku-proof draad van het programma naar de getuige van beperkingen tot een verzegeld certificaat over elke laag. Eén berekening volgde de hele weg. Het is het soort apparaat dat boeken die zijn geschreven om indruk te maken, onderscheidt van boeken die zijn geschreven om daadwerkelijk les te geven.
Debatten over het vertrouwen van ZK en de institutionele betrouwbaarheid zijn in de hele ruimte opgelaaid. De De oprichter van zkSync heeft zich onlangs hard verzet tegen de publieke kritiek van Canton op de ZK-proof veiligheidin institutionele financiën – met het argument dat gelaagde architecturen mislukkingen opvangen voordat ze zich verspreiden. Hoskinsons raamwerk voor de ontleding van vertrouwen in hoofdstuk 10 behandelt exact dezelfde categorie vragen vanuit een andere invalshoek.
Gratis, gelicentieerd en klaar om mee te bouwen
De volledige PDF is beschikbaar op github.com/CharlesHoskinson/sevenlayer. Gelicentieerd onder Creative Commons Attribution 4.0 International. Commercieel gebruik toegestaan. De enige vereiste is krediet.
De PDF is gemaakt voor schermen. Donkere modus, outfitkoppen, aangepaste syntaxisaccentuering, blauw-naar-paarse gradiëntaccenten. Niet geoptimaliseerd voor afdrukken. De broncode om het zelf te bouwen – Python, Pandoc, XeLaTeX – is opgenomen in dezelfde repository.
Bron: Live Bitcoin News
Geef een reactie