Oto mój nowy artykuł na temat znajdowania błędów w poprawności w obwodach ZK, z konkretnymi przykładami w Circom, Cairo i Rust. Link w odpowiedzi.
Link:
172