Charles Hoskinson lançou um guia gratuito de 337 páginas sobre provas de conhecimento zero no GitHub, direcionado a desenvolvedores e construtores de tecnologia de privacidade Midnight em todo o espaço ZK.
Charles Hoskinson publicou um livro técnico de 337 páginas sobre sistemas de provas de conhecimento zero. Gratuito. No GitHub. Aberto para qualquer pessoa ler, adaptar ou construir.
O fundador da Cardano e da IOG partilhou o lançamento no X como @IOHK_Charles, confirmando o título do livro “O Truque Mágico de Sete Camadas: Um Guia Completo para Sistemas de Provas de Conhecimento Zero.” Hoskinson publicou-o há dois dias. O repositório já contém o PDF completo, o código-fonte em Markdown e o pipeline de construção num só lugar.
O livro começa com uma única frase de Hoskinson que define todo o tom. As provas ZK permitem que você prove que algo é verdade sem revelar por que é verdade. Essa única ideia, escreve ele, está dentro de uma indústria de $2 trilhões, quatro décadas de matemática e um problema que a maioria das pessoas ainda não consegue explicar claramente.
O Que Está Realmente Dentro de 337 Páginas
Catorze capítulos. Três partes. Cerca de 5.280 linhas de Markdown antes de se tornar um PDF.
A Parte I cobre os fundamentos. O que as provas ZK fazem, por que são importantes agora e a primeira verdadeira decisão de design que qualquer sistema ZK enfrenta — configuração confiável versus configuração transparente. A Parte II entra em detalhes no núcleo técnico. Um capítulo por camada: linguagens de programação, geração de testemunhas, aritmética, sistemas de provas, primitivas criptográficas e verificação on-chain.
Essa seção sobre linguagens de programação não é uma leitura casual. Hoskinson destaca o que ele chama de problema do circuito sub-constrangido — responsável por 67% das vulnerabilidades ZK no mundo real. Esse número por si só torna a Parte II digna de tempo para qualquer desenvolvedor que trabalhe próximo a sistemas ZK.
A Parte III aborda o quadro geral. Uma decomposição de confiança completa com sete cenários de falha, uma comparação do panorama zkVM, análise de mercado em seis segmentos e sete questões de pesquisa em aberto. Sem resoluções limpas. Apenas as questões difíceis que o campo ainda não respondeu.
Um estudo de caso Midnight está na Parte III. Isso não é uma nota de rodapé — é um capítulo completo.
O Argumento Central do Livro
As provas ZK não eliminam a confiança. Elas a dividem em sete partes mais fracas.
Cada parte é testável de forma independente. Cada uma é substituível de forma independente. Cada uma pode falhar de forma independente. Essa decomposição, argumenta Hoskinson através do README do repositório GitHub, é o verdadeiro truque que a tecnologia realiza — não mágica, mas redução estruturada do risco em partes gerenciáveis.
Os capítulos 2 e 10 são o que ele chama de paredes portantes. O capítulo 2 trata da configuração. O capítulo 10 trabalha a decomposição da confiança na íntegra. Pulando esses dois, o resto do livro perde sua fundação.
Os caminhos de leitura integrados no livro refletem como as pessoas realmente abordam este material de forma diferente. Quarenta e cinco minutos para um executivo cobrindo apenas os destaques. Duas horas para um engenheiro que trabalha nas Partes I e II. Mais de quatro horas para um pesquisador que passa por tudo, incluindo as sete questões em aberto no Capítulo 14.
Midnight É o Verdadeiro Contexto Aqui
Hoskinson posicionou o Midnight como uma camada de privacidade cross-chain construída sobre a Cardano, usando criptografia de conhecimento zero como sua espinha dorsal através do Bitcoin, XRP e outras redes. Uma base de desenvolvedores que não compreende os fundamentos ZK não pode construir com confiança sobre essa infraestrutura.
Esse contexto torna este livro um investimento técnico direto no futuro do Midnight. Não marketing. Uma fundação técnica de 337 páginas para quem se apresentar para construir.
O livro percorre um único exemplo para ancorar a teoria. Uma prova de Sudoku 4×4 passa do programa para a testemunha, para as restrições até um certificado selado em cada camada. Uma computação rastreada por todo o caminho. É o tipo de dispositivo que separa livros escritos para impressionar de livros escritos para realmente ensinar.
Os debates em torno da confiança ZK e da confiabilidade institucional têm aquecido em todo o espaço. O fundador da zkSync recentemente reagiu fortemente contra a crítica pública de Canton à segurança das provas ZK nas finanças institucionais — argumentando que arquiteturas em camadas capturam falhas antes que se espalhem. O framework de decomposição da confiança de Hoskinson no Capítulo 10 aborda a mesma classe de questões sob um ângulo diferente.
Gratuito, Licenciado e Pronto para Construir
O PDF completo está disponível em github.com/CharlesHoskinson/sevenlayer. Licenciado sob Creative Commons Attribution 4.0 International. Uso comercial permitido. O único requisito é crédito.
O PDF foi construído para telas. Modo escuro, cabeçalhos Outfit, destaque de sintaxe personalizado, acentos em gradiente de azul para roxo. Não otimizado para impressão. O código-fonte para você construí-lo você mesmo — Python, Pandoc, XeLaTeX — está incluído no mesmo repositório.
Isenção de responsabilidade: As informações contidas nesta página podem ser provenientes de terceiros e não representam os pontos de vista ou opiniões da Gate. O conteúdo apresentado nesta página é apenas para referência e não constitui qualquer aconselhamento financeiro, de investimento ou jurídico. A Gate não garante a exatidão ou o carácter exaustivo das informações e não poderá ser responsabilizada por quaisquer perdas resultantes da utilização destas informações. Os investimentos em ativos virtuais implicam riscos elevados e estão sujeitos a uma volatilidade de preços significativa. Pode perder todo o seu capital investido. Compreenda plenamente os riscos relevantes e tome decisões prudentes com base na sua própria situação financeira e tolerância ao risco. Para mais informações, consulte a
Isenção de responsabilidade.
