Разработчики Zcash близки к завершению математического доказательства, которое гарантирует, что новая версия их пула конфиденциальности не содержит уязвимостей, связанных с неотслеживаемой подделкой. Этот прогресс основан на формальной верификации с помощью искусственного интеллекта, что значительно сократило время проверки с нескольких лет до гораздо более короткого периода. Это развитие является важным шагом в повышении безопасности и надежности функций конфиденциальности Zcash.