Усі погоджуються, що ZK-STARK — це топові моделі для побудови блокчейнів. Раніше так було не завжди, і добре, що це стало консенсусом. Те, що ще не має консенсусу, і я прогнозую, так і станеться: якщо ваш ланцюг базується на ZK-tech, ваша мова програмування та віртуальна машина мають бути оптимізовані для ZK. Програма, написана мовою, дружньою до ZK (наприклад, Cairo), може плавно оброблятися віртуальною машиною на базі ZK. Якщо це написано на PL, який не оптимізований для ZK (наприклад, Solidity), то вам доведеться пройти кілька обхідних шляхів, перш ніж zkVM зможе це обробити. Ці обхідні шляхи означать (1) втрату точності та ефективності, і (2) навіть ризикувати багами. Вам потрібен правильний інструмент для роботи з ZK.