На сайте Ethereum Foundation появилось сообщение, в котором поведали, что общими силами было проведено тестирование свежей порции. Это делалось из-за стремления создать способ верификации zk-SNARK-пруфов, которые написаны на Solidity (язык программирования для умных контрактов Эфириума).
Zk-SNARKS ― представляют собой так называемые пруфы нулевого знания, обеспечивающие сохранность определённых типов данных (к примеру, информации о том, с какого адреса шлют виртуальную валюту и сколько именно) и представляют собой ключевой компонент Z-cash.
Райтвисснер и Габисон опубликовали в блоге следующее:
«Стадия тестирования кода уже позади. Реальный, хранящий приватность трансфер Z-cash был успешно верифицирован. Все это дело длилось какие-то 42 мс ― это доказывает возможность добавления подобных «предкомпилированных» контрактов при весьма допустимых затратах.»
Источник
