Серед усього треш-току ZKVM, який реальний стан справ для кожного підходу? Цікава ідея виникла під час спілкування з колегою: можливо, головна проблема Джолта полягає в тому, що він занадто розумний? Доведення такої кількості трюків до рівня IOP неймовірно ускладнює масштабування розробки.