!
Достоверный редакционный контент, проверенный ведущими экспертами отрасли и опытными редакторами. Раскрытие рекламы
Sonic Labs оправдывает свое имя и усердно трудится в лаборатории над новой исследовательской работой. Это не просто теоретический документ: он дал реальное применение в области консенсуса блокчейна, и библиотека формальной проверки, разработанная Sonic Labs, теперь является открытым исходным кодом и доступна на Github.
Команда Sonic Labs, конечно, наиболее известна тем, что спроектировала цепочку Sonic Layer-1, которая восстала из пепла Fantom. Sonic использует DAG (Directed Acyclic Graph) для своего консенсуса, и именно в этой области команда Labs, вполне естественно, выбрала сосредоточить свои усилия. Хотя последующая библиотека верификации, которую они разработали, имеет последствия для EVM-сети Sonic, она также применима ко всем существующим и будущим цепочкам на основе DAG, где она имеет потенциал значительно повысить безопасность, предотвращая появление ошибок.
Sonic Labs дает DAG'ам второй шанс
Дизайн консенсуса блокчейна — это сложная тема, требующая знаний исследователей в области математики, криптографии и теории игр. Хотя команда Sonic Labs хорошо подготовлена в этих областях, она привлекла несколько экспертов для углубленного изучения DAG с целью сделать их проверяемо безопасными.
Разработанная в партнерстве с ведущими логиками из Университета Сиднея и INRIA, библиотека использует помощник доказательства TLA+ для предоставления модульных, переиспользуемых компонентов. Это упрощает процесс верификации для разработчиков, позволяя им легко моделировать и подтверждать безопасность протоколов на основе DAG. Библиотека включает в себя проверенные доказательства для основных протоколов, таких как DAG-Rider, Cordial Miner, Bullshark, Hashgraph и Aleph, с консенсусным протоколом Sonic, валидированным как производный.
Учитывая ценность, которая сейчас проходит через блокчейн-экосистемы, всем нам выгодно делать их безопаснее. Однако это легче сказать, чем сделать, поскольку стандартные процедуры аудита отнюдь не являются безупречными, и не редкость, когда уязвимости проникают в систему, которые затем эксплуатируются с разрушительными последствиями.
Сделать блокчейн безопаснее для всех
Подход Sonic Labs к формальной верификации использует строгие математические доказательства для устранения ошибок, обеспечивая надежное выполнение протоколов в каждом возможном сценарии. Библиотека не только проверяет существующие протоколы, но и предоставляет разработчикам возможность проектировать новые системы на основе DAG или улучшать текущие. Sonic Labs уже применил свой собственный инструмент для доказательства того, что небезопасное поведение математически невозможно в блокчейне Sonic.
Впервые представленная на NASA Formal Methods 2025 в Уильямсбурге, Вирджиния, в середине июня, библиотека добавляет ценный защитный инструмент в арсенал разработчиков блокчейнов. Поскольку модульный дизайн становится стандартным способом создания блокчейнов, риск возникновения угроз безопасности возрастает. Например, многие провайдеры Blockchain-as-a-Service позволяют командам создавать и развертывать пользовательскую сеть всего за несколько кликов. Но если они решат изменить параметры механизма консенсуса в процессе, существует вероятность непреднамеренного введения уязвимости.
Это всего лишь одна область, в которой библиотека формальной верификации Sonic Labs имеет очевидное применение. Но она также имеет ценность для оценки существующих цепочек на основе DAG. Уязвимости могут оставаться нераскрытыми в дикой природе в течение многих лет, прежде чем, в лучшем случае, белый хакер заметит их, и они будут исправлены. В худшем случае они попадают в руки черного хакера, который может их использовать.
Как подводит итог главный научный сотрудник Sonic Labs доктор Бернхард Шольц: "В блокчейне сбои безопасности часто происходят из-за предположений, которые остаются непроверенными до тех пор, пока не становится слишком поздно. С этой библиотекой мы переходим от надежды к доказательству, предлагая инструменты для проверки с математической точностью, что протокол будет вести себя безопасно при всех условиях." С открытой библиотекой, теперь доступной для разработчиков web3, ответственность лежит на них, чтобы взять этот инструмент и использовать его на полную мощность.
! Редакционный процесс для bitcoinist сосредоточен на предоставлении тщательно исследованного, точного и беспристрастного контента. Мы придерживаемся строгих стандартов источников, и каждая страница проходит тщательную проверку нашей командой ведущих экспертов в области технологий и опытных редакторов. Этот процесс обеспечивает целостность, актуальность и ценность нашего контента для наших читателей.
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Sonic Labs усиливает безопасность Блокчейн с новой Формальной верификацией библиотеки | Bitcoinist.com
! Достоверный редакционный контент, проверенный ведущими экспертами отрасли и опытными редакторами. Раскрытие рекламы Sonic Labs оправдывает свое имя и усердно трудится в лаборатории над новой исследовательской работой. Это не просто теоретический документ: он дал реальное применение в области консенсуса блокчейна, и библиотека формальной проверки, разработанная Sonic Labs, теперь является открытым исходным кодом и доступна на Github.
Команда Sonic Labs, конечно, наиболее известна тем, что спроектировала цепочку Sonic Layer-1, которая восстала из пепла Fantom. Sonic использует DAG (Directed Acyclic Graph) для своего консенсуса, и именно в этой области команда Labs, вполне естественно, выбрала сосредоточить свои усилия. Хотя последующая библиотека верификации, которую они разработали, имеет последствия для EVM-сети Sonic, она также применима ко всем существующим и будущим цепочкам на основе DAG, где она имеет потенциал значительно повысить безопасность, предотвращая появление ошибок.
Sonic Labs дает DAG'ам второй шанс
Дизайн консенсуса блокчейна — это сложная тема, требующая знаний исследователей в области математики, криптографии и теории игр. Хотя команда Sonic Labs хорошо подготовлена в этих областях, она привлекла несколько экспертов для углубленного изучения DAG с целью сделать их проверяемо безопасными.
Разработанная в партнерстве с ведущими логиками из Университета Сиднея и INRIA, библиотека использует помощник доказательства TLA+ для предоставления модульных, переиспользуемых компонентов. Это упрощает процесс верификации для разработчиков, позволяя им легко моделировать и подтверждать безопасность протоколов на основе DAG. Библиотека включает в себя проверенные доказательства для основных протоколов, таких как DAG-Rider, Cordial Miner, Bullshark, Hashgraph и Aleph, с консенсусным протоколом Sonic, валидированным как производный.
Учитывая ценность, которая сейчас проходит через блокчейн-экосистемы, всем нам выгодно делать их безопаснее. Однако это легче сказать, чем сделать, поскольку стандартные процедуры аудита отнюдь не являются безупречными, и не редкость, когда уязвимости проникают в систему, которые затем эксплуатируются с разрушительными последствиями.
Сделать блокчейн безопаснее для всех
Подход Sonic Labs к формальной верификации использует строгие математические доказательства для устранения ошибок, обеспечивая надежное выполнение протоколов в каждом возможном сценарии. Библиотека не только проверяет существующие протоколы, но и предоставляет разработчикам возможность проектировать новые системы на основе DAG или улучшать текущие. Sonic Labs уже применил свой собственный инструмент для доказательства того, что небезопасное поведение математически невозможно в блокчейне Sonic.
Впервые представленная на NASA Formal Methods 2025 в Уильямсбурге, Вирджиния, в середине июня, библиотека добавляет ценный защитный инструмент в арсенал разработчиков блокчейнов. Поскольку модульный дизайн становится стандартным способом создания блокчейнов, риск возникновения угроз безопасности возрастает. Например, многие провайдеры Blockchain-as-a-Service позволяют командам создавать и развертывать пользовательскую сеть всего за несколько кликов. Но если они решат изменить параметры механизма консенсуса в процессе, существует вероятность непреднамеренного введения уязвимости.
Это всего лишь одна область, в которой библиотека формальной верификации Sonic Labs имеет очевидное применение. Но она также имеет ценность для оценки существующих цепочек на основе DAG. Уязвимости могут оставаться нераскрытыми в дикой природе в течение многих лет, прежде чем, в лучшем случае, белый хакер заметит их, и они будут исправлены. В худшем случае они попадают в руки черного хакера, который может их использовать.
Как подводит итог главный научный сотрудник Sonic Labs доктор Бернхард Шольц: "В блокчейне сбои безопасности часто происходят из-за предположений, которые остаются непроверенными до тех пор, пока не становится слишком поздно. С этой библиотекой мы переходим от надежды к доказательству, предлагая инструменты для проверки с математической точностью, что протокол будет вести себя безопасно при всех условиях." С открытой библиотекой, теперь доступной для разработчиков web3, ответственность лежит на них, чтобы взять этот инструмент и использовать его на полную мощность.
! Редакционный процесс для bitcoinist сосредоточен на предоставлении тщательно исследованного, точного и беспристрастного контента. Мы придерживаемся строгих стандартов источников, и каждая страница проходит тщательную проверку нашей командой ведущих экспертов в области технологий и опытных редакторов. Этот процесс обеспечивает целостность, актуальность и ценность нашего контента для наших читателей.