Następca ZK Prover od Cysic: Graph-First 🔥 Systemy dowodzenia ZK dzielą większość wspólnych założeń architektonicznych, które nigdy nie były kwestionowane. Traktuje się funkcję Prove() jako całkowitą czarną skrzynkę. Sprzęt nigdy nie widzi całej operacji jednocześnie, widzi tylko jeden kernel na raz. To założenie nazywa się HAL. Powiem ci, dlaczego Cysic zastąpił HAL!