DAG

Sonic Labs выпустила библиотеку для проверки безопасности DAG-протоколов

Компания Sonic Labs, стоящая за блокчейном первого уровня Sonic, выпустила новую библиотеку с открытым исходным кодом для формальной верификации DAG-протоколов. Об этом сообщили в пресс-релизе 25 июня. Разработка стала совместным проектом с логиками из Сиднейского университета и INRIA и реализована на языке TLA+, широко применяемом в критичных отраслях вроде аэрокосмической и финансовой. Новый подход к

Broxus запускает TON Factory — платформу для масштабируемых блокчейн-приложений

Инфраструктура для 35 000 транзакций в секунду Команда Broxus, один из ключевых технических партнеров экосистемы TON, анонсировала запуск TON Factory — платформы для разработки и масштабирования блокчейн-сервисов нового поколения. Проект нацелен на команды, создающие продукты в сегментах DEX, Web3-игр и Mini Apps. TON Factory предлагает готовую архитектуру, интеграционные модули и техническую поддержку. В работу уже…

Coti и его роль в современных финансовых решениях

COTI становится заметным игроком на крипторынке. Платформа развивается как быстрый и практичный финтех-инструмент, который упрощает переводы и убирает посредников из цепочки. В отличие от других проектов, COTI делает упор на приватность и скорость. В основе — собственная криптографическая технология, которая предлагает альтернативный подход к тому, как устроены финансы. Сочетание простоты, защищённости и высокого темпа делает…

Новости с тегом: DAG