Вот моя новая статья о поиске ошибок надежности в ZK-цепях с конкретными примерами на Circom, Cairo и Rust. Ссылка в ответе.
Ссылка:
177