Доказательства с нулевым разглашением теперь и в биткоине, конкуренция накаляется, поскольку разработчики стремятся оптимизировать и масштабировать доказательства с нулевым разглашением.
Доказательства с нулевым разглашением (ZK) быстро стали одним из самых обсуждаемых элементов технологии блокчейн. В последние дни технология была развернута в основной сети Ethereum, но теперь множество новых команд работают над масштабированием и оптимизацией технологии для биткоина.
Швейцарская некоммерческая ассоциация ZeroSync Association, базирующаяся в Цуге (Швейцария), является одной из нескольких организаций, которые в настоящее время работают над разработкой доказательств с нулевым разглашением для биткоина.
Что такое доказательства с нулевым разглашением?
Базовая технология доказательств ZK теоретически позволяет пользователям проверять состояние и историю транзакций блокчейна биткоина, не загружая всю цепочку и не доверяя третьей стороне.
В то время как многочисленные отчеты о других накопительных пакетах были сосредоточены на уровне 2, развернутом в основной сети Ethereum, ассоциация ZeroSync, планирует усилить оптимизацию и безопасность своего накопительного пакета ZK в ближайшие недели.
Доказательства ZK — это по сути, две стороны, подтверждающие свою личность друг другу, без раскрытия какой-либо другой информации третьей стороне, которая может лишь наблюдать.
Конкуренция в области технологий с нулевым знанием накаляется
К ZeroSync присоединились другие разработчики, заинтересованные в конфиденциальности, безопасности и доступе к крупнейшим и наиболее важным блокчейнам в мире.
Такие проекты как StarkWare , которые сначала протестировали на Ethereum, также начали переходить на биткоин.
Теперь, когда накопительные пакеты ZK пересматривают модели проверки состояния сети, начинается гонка за долю рынка, поскольку недавно созданные разработчики ZK оптимизируют и начинают масштабироваться.
Соучредитель StarkWare Эли Бен-Сассон имеет докторскую степень. Он получил степень доктора теоретической информатики и изучает доказательства ZK с 2001 года. Он занимал исследовательские должности в престижных учреждениях, таких как Институт перспективных исследований в Принстоне, Гарварде и Массачусетском технологическом институте, и считается одним из ведущих специалистов по математике.
StarkWare использует то, что известно как автономный подход Prover и on-chain Verifier, чтобы разблокировать массовую масштабируемость, позволяя обрабатывать большие вычисления вне блокчейна, обеспечивая при этом их целостность в цепочке с минимальными накладными расходами.
StarkEx, Cairo и Starknet — вот некоторые из продуктов, которые они разработали для достижения этой цели, и наряду с ZeroSync и другими, такими как Polygon с их недавним введением zkEVM, идет гонка по разработке оптимизированных и масштабируемых решений для популярных основных сетей.
