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.
Research
Introduction to proving software correct instead of only testing it.
Research
Case study of the 2026 under-constrained Orchard circuit.
Research
How Zcash answered the Orchard bug with a machine-checked proof.
