Os Coprocessadores de Zero-Knowledge (ZK Coprocessors) constituem um avanço inovador na tecnologia blockchain, conjugando a computação fora da cadeia com a verificação na cadeia. Permitem que as cadeias de blocos executem tarefas complexas ou tarefas que envolvam grandes volumes de dados sem comprometer a segurança nem a descentralização. Ao gerar provas criptográficas, os ZK Coprocessors asseguram a fiabilidade dos cálculos realizados fora da cadeia, sem necessidade de os repetir no livro-razão público. Este curso proporciona uma compreensão aprofundada dos ZK Coprocessors, abordando desde os conceitos fundamentais e as bases criptográficas. Apresenta também aplicações no mundo real e futuras linhas de investigação. O curso visa aproximar o conhecimento, tanto para principiantes como para desenvolvedores de blockchain experientes que desejam aprofundar os seus conhecimentos neste campo emergente.
O curso organiza-se em cinco módulos que evoluem progressivamente dos fundamentos para temas avançados. No primeiro módulo, são introduzidos os conceitos fundamentais de coprocessadores, provas de conhecimento zero e o respetivo papel nas arquiteturas modulares de blockchain. Os módulos seguintes aprofundam a arquitetura técnica, as plataformas e ferramentas, aplicações práticas em DeFi e comunicação entre blockchains, terminando com uma análise prospetiva sobre desafios e tendências de investigação. O conteúdo está redigido numa linguagem clara e acessível, sem sacrificar a profundidade técnica. Todos os módulos incluem diagramas e infografias para facilitar a visualização dos processos técnicos pelos formandos. Exemplos de projetos reais, como Space & Time, RISC Zero e Lagrange, permitem aos participantes relacionar a teoria com as evoluções mais recentes do setor.