Σειρά επίσημης επαλήθευσης Zcash

Μια σειρά τριών μερών που εξηγεί την επίσημη επαλήθευση από τις βασικές αρχές, παρουσιάζει το σφάλμα ορθότητας Orchard του 2026 και δείχνει πώς το Ironwood το αντιμετώπισε με μια μαθηματική απόδειξη ελεγμένη από μηχανή.