Является ли локальный подход конечной игрой? В выпуске #60 House of ZK Radio исследователь @lagrangedev Франклин Делехелл настаивает на том, что каждый должен иметь возможность генерировать ZK доказательства самостоятельно - на обычном оборудовании - а не полагаться на дорогие специализированные машины или централизованные сервисы провайдеров. Текущие затраты и задержки на доказательства все еще заставляют команды обращаться к аутсорсинговым сетям; он хочет, чтобы эта зависимость исчезла. По словам Франклина, прогресс не придет от одной волшебной пилюли, а от накопительных улучшений по всем уровням: • Математика: более компактные арифметизации, поиск, стратегии рекурсии, которые уменьшают ограничения. • Программное обеспечение: лучшие компиляторы/ВМ, дизайны с учетом ОЗУ, строгие тестирования и верификация, чтобы системы могли укрепляться и стандартизироваться. • Аппаратное обеспечение: более разумное использование GPU сейчас и, со временем, специализированные ускорители. Тем временем, модульные сети провайдеров, не зависящие от системы доказательства, являются практическим мостом - масштабируя рабочие нагрузки сегодня, пока основная технология не станет достаточно быстрой для истинного локального доказательства. Смотрите полный эпизод для изложения текущего и идеального состояния ZK: