не думайте, що багато хто знає, наскільки неймовірно складною є математика, що лежить в основі доказів ZK. Коли пруфи в 1000 разів дорожчі за рідні, кожну функцію потрібно ретельно оптимізувати. Саме тому створення готової до виробництва zkVM зайняла роки.