RSS Блог "След бит"
Подписаться
Глубокое погружение в схемы Halo2 от Axiom
В ходе двух аудитов в 2023 году мы рассмотрели блокчейн-систему, разработанную компанией Axiom, которая позволяет производить вычисления над всей историей Ethereum, и все эти вычисления подтверждаются ончейн с использованием доказательств с нулевым разглашением (ZKPs) посредством ZK-верифицированных операций с эллиптическими кривыми и рекурсии SNARK. Эта система построена с использованием фреймворка Halo2 — сложной, развивающейся технологии, которая создает множество проблем при создании безопасного приложения, включая потенциальные проблемы с недостаточной ограниченностью, возникающие из-за ее низкоуровневого API.
