ZecHub
Pesquisa
Explorando Zero-Knowledge · Privacidade · Criptografia
🔎
Série de Verificação Formal do Zcash
Uma série de três partes que explica a verificação formal a partir dos princípios básicos, aborda o bug de solidez do Orchard de 2026 e mostra como Ironwood o resolveu com uma prova matemática verificada por máquina.
Formal VerificationOrchardIronwoodProtocol Security
Research
O que é a verificação formal?
Introduction to proving software correct instead of only testing it.
Research
O Bug Orchard: Quando um Sistema de Provas Tem uma Falha
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood: Provar que o dinheiro não pode ser falsificado
How Zcash answered the Orchard bug with a machine-checked proof.