Сооснователь 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).
Дисклеймер: содержание этой статьи отражает исключительно мнение автора и не представляет платформу в каком-либо качестве. Данная статья не должна являться ориентиром при принятии инвестиционных решений.
Вам также может понравиться
Три основных индекса фондового рынка США резко упали, индекс Dow Jones снизился на 0,55%
Уолш: Федеральная резервная система достигнет цели по стабилизации цен.
Запасы сырой нефти в США снижаются третью неделю подряд, запасы бензина и дистиллятов увеличиваются, импорт сырой нефти из Венесуэлы достиг максимума за последние 10 лет.
По данным EIA, на неделю, заканчивающуюся 11 сентября, коммерческие запасы сырой нефти в США сократились на 640 тысяч баррелей, что меньше рыночного прогноза в 1.4 миллиона баррелей. Запасы в стратегическом нефтяном резерве уменьшились на 403 тысячи баррелей. Запасы бензина увеличились на 794 тысячи баррелей, тогда как рынок ожидал снижения на 800 тысяч баррелей. Запасы дистиллятов выросли на 1.6 миллиона баррелей, при этом рынок ожидал сохранения уровня запасов. Импорт сырой нефти из Венесуэлы достиг почти 800 тысяч баррелей, что является самым высоким показателем с 2017 года.

