Ось моя нова стаття про пошук проблем із надійністю в схемах ZK, з конкретними прикладами в Circom, Cairo та Rust. Посилання у відповідь.
Посилання:
178