В 2023 году мы провели аудит цепей Halo2 от @axiom_xyz, которые сейчас используются в их продукте OpenVM, это виртуальная машина ZK, которая позволяет генерировать доказательства ZK для произвольных программ на Rust.