ZecHub
Pesquisa
Explorando conhecimento zero · 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 é verificação formal?
Introduction to proving software correct instead of only testing it.
Research
O bug do 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.