💻 DEX, который нельзя взломать?

Взломы, хаки, дрейны, аудиты...
Все привыкли к одной и той же схеме: написал контракт - задеплоил - помолился - отправил на аудит. Дальше сторонняя команда вручную читает код и пытается найти дыры.

TamaSwap от zefram.eth (кофаундер Sudoswap) идёт от обратного. Здесь идея не в том, чтобы "лучше искать баги", а в том, чтобы по максимуму убрать места, где эти баги вообще могут появиться. Мы его вскольз упоминали на Трех Дегенах.

Механика свапов и создания пар написана не на Solidity, а на Verity — специальном языке для доказуемо корректных контрактов. Все ключевые свойства доказаны математически в Lean - языке для строгих машинно-проверяемых доказательств

Что именно доказано:
➖нельзя вытащить деньги из воздуха
➖баланс пулов всегда сходится
➖нельзя сломать контракт через reentrancy, то есть повторный вход в сделку во время её выполнения

И да, это как раз тот класс атак, на котором когда-то сгорел The DAO

Во-вторых, и это, пожалуй, самая красивая часть, интерфейс тоже живёт ончейн. Прямо в блокчейне: https://0x000000b6c9f43311303ae28d995de7fe9b266cd4.1.w3link.io/
Мы читаем блоги Виталика по его ENS, а тут выкатили рабочий DEX.

Никаких хостингов. Домен заберут, DNS подменят или доступ просто перекроют, зайти становится некуда. Здесь интерфейс можно открыть даже через web3://, то есть напрямую из блокчейна, без обычной веб-инфры.
На один вектор для атак меньше. Минусы? Чтобы обновить фронт нужно заново деплоить контракты.

По сути своей это демонстрация нового стека: Tama + Verity. Подход там такой: ты задаёшь не только код, но и набор свойств, которым этот код обязан соответствовать. А дальше тулчейн проверяет это автоматически.

Это называют secure-by-construction: когда безопасность продумывается сразу, без апдейтов и костылей. Но...

Но "provably unhackable" не означает "невозможно взломать вообще ничто и никогда". Она означает, что доказан конкретный набор свойств. А мир рисков этим не заканчивается, что-то могли забыть, что-то не знать.

По факту это один из ответов на высказывания про смерть DeFi, хотя само направление очень интересное. Если смотреть именно на безопасность, это одна из самых интересных идей за долгое время.

Talks | Chat | Links | Каналы команды

Результаты по Polymarket | 2/2

Недавно разбирали самые громкие события на Polymarket. 2 из 3 уже завершены, подводим результаты.

MicroStrategy sells any Bitcoin by May 31:

Ставили на NO, брали по 76%. Результат: NO ✅

Детали:
👍Strategy все таки продали BTC с 26 по 31 мая;
👍Продажа была раскрыта в отчете для SEC.

Но оказалась Не все так просто.

Polymarket засчитал исход NO:

Не было официальных on-chain доказательств и прямых пруфов на момент решения.

Пример того как рынок может выбивать из позиции и тех и других, учитываем это в дальнейших ставках.

Another GTA VI trailer released by May 31:

Ставили на NO, брали по 71%. Результат: NO ✅

Детали:
👍До 31 мая новый трейлер GTA VI так и не вышел;
👍Rockstar не делали анонсов;
👍Исход NO уверенно закрылся без проблем.

Оба события зашли, хоть и не без проблем, получили профит со сделок, еще и набили объемов.

Продолжаем рубрику?
👍 Делаем, заходил вместе с вами
🌭 Пока только следил

Whitelist | Chat | Twitter | Links

DSCVR Помним? А там дроп

Старый проект, про который многие забыли, запустил дроп. Привязываем EVM-кошелёк и проверяем eligibility до TGE. Phase 1 — пул на 450M $DS.

За плечами сид на $9M от Polychain и Shima ещё с 2022-го.

Успеть до 18 июня, 10:00 МСК.

😀😁😂🤣
😃😄😅😆
😉😊😋😎

Канал | Чат воркеров

😂😂😂 СИКС СЕВЕЕЕЕЕН 😂😂😂

Мы сделали лаунчпад

И считаю это неплохим поводом козырнуть, потому что это не дэшборд с перпами. И это не телеграм парсер. И это не терминал в Полимаркете. И это даже не впн - а это уже дорогого стоит

Ты можешь абсолютно в любом чате (приватном/публичном/чужом/своём) - где угодно тегнуть @blinkr_bot (так же, как это делают с @pic, @gif, @send) и попросить его задеплоить токен - он это сделает в TON

Йоу @blinkr_bot а запусти-ка токен BASE и направь комиссию @Daniel_Votesa

Мы хоть и не успели в мету MTONGA, но мы и не планировали заэкстрактить за неделю и уйти в закат - напротив, хотелось бы запустить свою мтонгу

Из коробки помимо запуска:

• Есть вариант сгенерить своему токену козырный адрес, чтобы он оканчивался как тебе по кайфу. Например, на PUMP

• Картинки можно как прикреплять в твоем сообщении, так и просто тегнуть чей-то пост с изображением (чтобы быстро реагировать на инфоповоды)

• Делегирование комиссий. Ты можешь направить комиссию с оборотки Дурову/Рохману/Охуенко/стримеру/кому угодно, привлекая внимание

• Понимает человеческую речь. И если ты просишь его отсосать хуй - я это вижу, чучело ты гороховое

🤪🤪🤪🤪🤪🤪🤪🤪🤪🤪
🤪🤪🤪🤪🤪🤪🤪🤪🤪🤪

Пока что рейт лимит включен на 1 запуск от пользователя в день, потому что запуски мы покрываем из своих денег, чтобы тебе было удобно, но задеплоить токен стоит 2$. Поэтому лучшее, что ты можешь сделать - не запускать очередной щиток, а зайти в приложение и купить/продать/потестировать/дать фидбек - это MVP, мы намеренно запустились сырыми

Так вот говоря о заработке - пока о нем речи не идет. Если деньги начнут зарабатываться, то первое, на что они пойдут - аудиты, а это не один десяток тысяч баксов + подрядчики, чтобы не сидеть еблом в мониторе 24/7, а заниматься хранением и распространением и маркетингом + пул накопить на бесплатные запуски. И потом уже все остальное

Зачем запускать щиток? Ну ты можешь сделегировать комиссию условному блогеру, запустив у него в чате мемчик и совместно с корешами закраймить/зашиллить всем в других чатах этот щиток, разогнать его (у тебя с нулевой уже есть аудитория из чата в отличие от других лаунчпадов)

Если блогер клеймит комиссию - это официальный аппрув, что он получил деньги (и он заинтересован получать их дальше). Значит, щиток тоже становится оффициальным. А ты как его запускатор смог откупить его по дешевке самым первым. Да ты можешь просто попасть в инфоповод и задеплоить мемчик в честь выпуска новых подарков/поста Дурова/трека Ивана Золо. Просто иди в тренч чаты (можно корейские/китайские/пиндосские)/блогерские чаты/тон чаты и делай грязь

TON тяжелый для билдинга - Privy не поддерживает TON (как в случае с Bankr и Base), из-за чего есть проблемы с кастодианом, много костылей

Тоже самое касается миграции токенов из бондинг курвы на DEX (сейчас 500 TON нужно накидать, чтобы не стартовать на дексе торги с нуля. Если будет актив - сделаем больше, ибо у ПампФана это 69.000$) - Uniswap v4 хуки это абсолютно дикая вещь, облегчающая девам жизнь просто ебануто. В StonFi приходится придумывать костыли так, чтобы все цифры бились и все работало хоть сколько-нибудь автоматически. Грантов нет, как-то все нативно непросто, но мы на это и не рассчитывали, честно говоря

В роадмапе куча вещей (но только в том случае, если текущему формату найдется pmf. Иначе хуячить в минус нет никакого желания):

• Трейдинговые промки
• CLI для агентов
• Функционал RickBot для TON щитков в чатах
• Оптимизация цены запусков до восьми раз

Ну и еще по мелочи. Может даже токен будет (но не жди, что я буду тебя доить через поинтовую систему), поэтому пробуй, тестируй, залетай в чужие чаты, запускай щиток для охуенко, покупай, продавай, разгружайся в гоев, фиксируй прибыль, распространяй по остальным ТОН чатам и каналам. Предлагай улучшения, подсвечивай баги, может можешь просто что-то с точки зрения билдинга/контактов в ТОН помочь - велкам

> @blinkrofficial
> @who_is_votesa
> Have Fun
🤪🤪🤪
🤪🤪🤪
🤪🤪🤪🤪
🤪🤪🤪🤪
🤪🤪🤪🤪
🤪🤪🤪🤪
Все, давай
Обнял

OKX DEX | Обмен 73.11₽ | KYC | секретов.нет | Ресурсы