На що спрямовані теореми
Теореми зосереджені на Ironwood, запланованому оновленні консенсусних правил Zcash. Помилки підробки — це клас вразливостей, які дозволяють зловмиснику створювати монети з нічого — катастрофічний збій для будь-якої криптовалюти. Використовуючи формальну верифікацію, дослідники можуть математично довести, що певні властивості виконуються для кожного можливого виконання коду, а не покладатися лише на ручні аудити чи тестування.
2700 теорем охоплюють основну логіку захищених транзакцій Ironwood, де баланси та суми транзакцій зашифровані. Докази перевіряють, що система забезпечує інваріанти пропози
