Новая технология доказательства с нулевым разглашением (ZK-proof) предназначена для улучшения возможности доступа и проверки исторических данных из блокчейна Ethereum (ETH), при этом глубокая проверка цепочки считается барьером удобства использования сети.
Технологическая фирма Herodotus выпустила свой сетевой аккумулятор, который использует криптографию с доказательством хранения, позволяя пользователям проверять данные из любой точки блокчейна Ethereum без необходимости обращения к третьей стороне. В решении используется технология STARK от StarkWare, технология ZK-proof, изобретенная математиком Эли Бен-Сассоном.
StarkWare представила Геродоту специально созданный экземпляр своей службы общего доказательства SHARP, которая обеспечивает повышенную эффективность масштабирования с использованием рекурсивных доказательств. Последний позволяет виртуальной машине предоставлять «доказательства доказательств», генерируя доказательства транзакций или блоков параллельно и в реальном времени и объединяя их в последующее доказательство.
Связанный: Больше TPS, меньше газа: Ethereum L2 Starknet обрисовывает улучшения производительности
На более техническом уровне аккумулятор действует как кеш, в котором хранятся заголовки блоков. Если аккумулятор имеет заголовок в своем кэше, соответствующее вычисление доказательства сохранения может использовать его для проверки.
Если заголовок не кэширован, то проверяющий должен сгенерировать подтверждение, охватывающее запрошенный диапазон блоков, добавить заголовок блока в аккумулятор, а затем завершить запрошенное вычисление доказательства сохранения.
Как следует из названия, встроенный аккумулятор по сути накапливает доказательства, которые объединяют предыдущие доказательства, радикально сокращая время, необходимое для проверки блокчейна Ethereum и связанных с ним данных в любой момент истории сети.
Главный технолог Геродота Марчелло Бардус отмечает, что эта технология устраняет необходимость проходить весь блокчейн в самом блокчейне:
«Мы можем сделать это вне цепочки, сгенерировать аккумулятор и просто выбрать один конкретный блок, не повторяя всю цепочку в самой цепочке».
Starkware отмечает, что Storage Proofs может оказаться новаторской альтернативой межсетевым мостам, которым приходится полагаться на сторонние оракулы для отслеживания и проверки данных.
Связанный: StarkNet пересматривает язык программирования Cairo, чтобы стимулировать его внедрение среди разработчиков
Соучредитель Herodotus Кацпер Козиол добавил, что аккумулятор — это инновация, в которой Ethereum давно нуждается, чтобы соответствовать принципам прозрачности и доступности блокчейна. По сути, эта технология позволит любому пользователю получить доступ к любой точке истории Эфириума.
«Это будет очень мощно. Впервые в истории блокчейн люди смогут доказать правильность любого аспекта чьей-либо информации в цепочке».
Обе команды подчеркивают потенциал доказательств хранения для создания «приложений, эквивалентных Web2», используя новаторскую возможность автономного доступа и проверки данных блокчейна Ethereum.
Восстановление учетной записи рекламируется как один из потенциальных вариантов использования, когда возможность проверки данных в цепочке может быть использована для запуска пресловутого «переключателя мертвеца» или для автоматизации страховых протоколов, которые используют исторические события в цепочке для запуска выплат по смарт-контрактам.
