Сооснователь sudoswap планирует запустить новую DEX под названием TamaSwap
По данным Foresight News, сооснователь NFT автоматизированного маркет-мейкера sudoswap Zefram Lou планирует запустить TamaSwap и утверждает, что TamaSwap является первой DEX, доказуемо не поддающейся взлому благодаря формальной верификации с использованием Lean. Этот проект базируется на классической модели xy=k, где с помощью машинной проверки доказано, что ни один отдельный атакующий, независимо от выбранных действий, не сможет извлечь ценность из системы, при этом ликвидность не уменьшается, а резервы всегда поддерживаются настоящими ERC-20 токенами.
Фронтенд TamaSwap полностью развернут на блокчейне (в соответствии со стандартами ERC-4804/ERC-5219), что обеспечивает его постоянную онлайновую доступность, отсутствие необходимости в обслуживании и устойчивость к цензуре. Кроме того, проект не взимает комиссию за протокол и поддерживает однокнопочное развертывание без кода в любой EVM-совместимой сети для любого желающего. TamaSwap построен на основе инструментальной цепочки Tama + Verity, код и формальные спецификации уже опубликованы с открытым исходным кодом на GitHub (лицензия AGPL).
Дисклеймер: содержание этой статьи отражает исключительно мнение автора и не представляет платформу в каком-либо качестве. Данная статья не должна являться ориентиром при принятии инвестиционных решений.
Вам также может понравиться
Кит HYPE перевёл на биржу 266 600 токенов за три дня, что оценивается примерно в 24,29 миллиона долларов.
Бывший высокопоставленный сотрудник Банка Японии прогнозирует: повышение ставки в октябре "вполне возможно", вероятность отсрочки до следующего года крайне низкая
Бывший исполнительный директор, отвечавший за денежно-кредитную политику Банка Японии, заявил, что центральный банк Японии может во второй месяц подряд повысить базовую процентную ставку на своем октябрьском политическом заседании, что происходит раньше, чем ожидает большинство экономистов.
Розничные инвесторы уходят, институциональные игроки берут инициативу! На фоне штормов с американскими облигациями «умные деньги» не выходят, а наоборот входят: 18.4 миллиарда долларов опционных средств влились в американский рынок акций, AI остаётся главным выбором
Последние данные показывают, что институциональные инвесторы начинают доминировать на рынке американских акций.
Акции Nidec в Японии упали на 17%
Цены на крипто
Далее
