Широкомасштабное внедрение ZooKeeper в реальных условиях долгое время сдерживалось двумя основными препятствиями: сложностью написания кода и высокой стоимостью вычислительных мощностей. Однако две недавно разработанные «ступенчатые функции» призваны улучшить эту ситуацию:

Одна из них — грядущая OpenVM V2 от @openvm_org, которая позволит разработчикам писать бизнес-логику на знакомом, распространенном языке, а базовый движок будет автоматически и надежно «преобразовывать» ее в доказательства ZK;

Еще одна особенность — это автоматическая прекомпиляция производственного уровня, представленная @powdr_labs. Компилятор может автоматически определять трудоемкие криптографические операции и направлять их непосредственно на оптимальное оборудование для обработки, избавляя разработчиков от необходимости вручную заниматься низкоуровневой оптимизацией.

Эти два прорыва равносильны тому, чтобы предоставить разработчикам «безошибочный компилятор» и «автоматический режим ускорения».

Но почему это выгодно для трассы ZK?

Давайте проанализируем бизнес-логику, чтобы это стало ясно: когда барьер разработки приблизится к нулю, а приложения ZooKeeper будут демонстрировать взрывной рост, это неизбежно породит огромный спрос на вычисления доказательств. В настоящее время рынок доказательств для решений ZooKeeper уже занял лидирующие позиции, но спрос на приложения ZooKeeper все еще недостаточен...

Именно поэтому открытые рынки доказательств, такие как @boundless_xyz, возлагают большие надежды на это технологическое достижение. В конце концов, без необходимости широкомасштабного применения ZK, откуда бы взялся огромный спрос на вычисления доказательств? И как можно доказать лидирующие позиции и коммерческую ценность своей технологии ZK Prove в нынешнюю эпоху технологического нигилизма?

Таким образом, появление этих двух Step Functions имеет важное значение для общего прогресса в направлении ZK. Это связано с тем, что оно полностью отделяет разработку и компиляцию фронтенда ZK от вычислительной мощности бэкенда, позволяя фронтенд-разработчикам сосредоточиться на поиске сценариев применения, в то время как центр вычислительной мощности бэкенда фокусируется на эффективности и стоимости обработки больших объемов данных.

Только когда обе стороны добьются прогресса и продемонстрируют свои достижения, трасса ZK сможет по-настоящему взлететь.