HAL->Предложение по переходу на графовую систему 🔥 В первой части трилогии zkVM мы утверждали, что лучше заменить существующий HAL (аппаратный абстрактный уровень) на графоцентричную систему доказательств. И теперь у нас есть реальные данные по этому вопросу. Мы протестировали Venus (графоцентричную бэкенд-систему) на GPU и FPGA (специальные чипы) на Zisk. Мы пересмотрели изначальную идею аппаратного обеспечения ZK. Результаты, которые мы получили, показаны ниже.