Термины DeFi, определённые

Финансовые услуги — торговля, кредитование, стейкинг — управляемые публичными смарт-контрактами вместо банков или брокеров, доступные каждому, у кого есть кошелёк. подробнее ›

Программируемый блокчейн, на котором работает большинство DeFi; BlazePhoenix развёртывает один и тот же байткод на Ethereum и его L2 (Base, Optimism, Arbitrum, Robinhood Chain). подробнее ›

Сеть EVM (chain id 4663), где BlazePhoenix развёрнут и связан по семи площадкам; нативный ETH, обёрнутый WETH и стейблкоин USDG, с обозревателем Blockscout. подробнее ›

Стейблкоин доллара США, используемый как глубокий котировочный актив в Robinhood Chain (0x5fc5…d168); BlazePhoenix прокладывает многошаговые маршруты через него и WETH. подробнее ›

Канонический дизайн AMM (V2/V3), в пулах которого находится большая часть ликвидности DEX; BlazePhoenix маршрутизирует через него и восемь форм площадок. подробнее ›

Разрыв между ценой, которую вы видели, и ценой, которую вы получили, вызванный движением рынка между котировкой и исполнением. Вы ограничиваете его лимитом минимального вывода (minOut). подробнее ›

Часть ваших затрат, которую вы создаёте сами: торговля против конечного пула сдвигает цену по мере того, как вы забираете токены. Тонкий пул наказывает объём сильнее всего. подробнее ›

Две кучи токенов, которые держит смарт-контракт, чтобы любой мог торговать против них. Соотношение куч задаёт цену; реальная глубина on-chain определяет ваши затраты. подробнее ›

Формула, которая оценивает сделки по балансам пула, а не по книге ордеров. Постоянное произведение (x·y=k) всегда имеет котировку; влияние на цену — это то, чем оно берёт с вас плату. подробнее ›

Площадка, где сделки исполняются напрямую on-chain против смарт-контрактов, и никакой хранитель никогда не держит ваши средства. подробнее ›

Инструмент, который маршрутизирует своп через множество пулов для наилучшего исполнения. BlazePhoenix вычисляет котировку on-chain, поэтому никакому off-chain серверу не приходится доверять. подробнее ›

Код, развёрнутый в блокчейне, который выполняется в точности как написано, и никакой администратор не может его изменить или остановить после отказа от полномочий. подробнее ›

Рекламируемая глубина пула, которой контракт пула на самом деле не держит on-chain — проскальзывание, которое вы реально заплатили бы, и токены, которые honeypot не может выплатить. подробнее ›

Токен, устроенный так, что покупки проходят, а продажи не удаются, через скрытую логику контракта. График растёт, пока почти никто не может выйти. подробнее ›

Мошеннический выход, при котором инсайдеры сливают ликвидность токена или сбрасывают скрытое предложение, обрушивая цену до нуля. подробнее ›

Прибыль, которую боты извлекают, переупорядочивая, вставляя или цензурируя транзакции в блоке — сила, стоящая за сэндвич-атаками. подробнее ›

Увидеть ожидающую транзакцию и опередить её, чтобы получить прибыль от движения цены, которое она вызовет. подробнее ›

Мост, подающий внешние данные (например, цены) в смарт-контракт — и классическая поверхность атаки, когда фид можно манипулировать. подробнее ›

Убыток, который несёт поставщик ликвидности, когда два объединённых в пул токена расходятся в цене, по сравнению с простым их удержанием. подробнее ›

Тот, кто вносит оба токена в пул, чтобы зарабатывать долю его торговых комиссий, принимая взамен риск непостоянных потерь. подробнее ›

Совокупные активы, размещённые в протоколе — метрика популярности, а не гарантия безопасности; реальная глубина ликвидности — это то, во что вы фактически можете выйти. подробнее ›

Рыночная капитализация — это цена × предложение (заголовок); ликвидность — это то, во что вы фактически можете выйти. Когда капитализация возвышается над реальной глубиной, большая часть этой стоимости недостижима. подробнее ›

Проверяемая on-chain демонстрация того, что протокол держит достаточно активов, чтобы покрыть свои обязательства — проверяемая без доверия команде. подробнее ›

Наименьшая сумма вывода, которую вы примете при свопе; если сделка не может её обеспечить, она должна откатиться (revert), а не исполниться хуже. подробнее ›

Тот же ETH, обёрнутый как стандартный токен ERC-20, чтобы контракты обрабатывали его единообразно. Всегда обменивается 1:1; это не другой актив. подробнее ›

Постоянное разрешение контракту перемещать ваш токен. Оно переживает сделку, поэтому бесконечные разрешения — это действующий риск, который стоит пересматривать и отзывать. подробнее ›

Токен, устроенный так, чтобы удерживать фиксированную стоимость, обычно 1 $, обеспеченный фиатом, криптовалютой или алгоритмом. Привязка сильна лишь настолько, насколько сильна её конструкция. подробнее ›

Сетевая комиссия, уплачиваемая за исполнение транзакции on-chain, номинированная в нативной монете сети и меняющаяся в зависимости от загруженности. подробнее ›

Программное обеспечение, хранящее приватные ключи, которые контролируют ваши средства on-chain — но не сами средства. Сид-фраза И ЕСТЬ средства; никогда не делитесь ею. подробнее ›

Свойство, остающееся истинным при любом допустимом преобразовании системы. В BlazePhoenix безопасность И ЕСТЬ инвариант: транзакция, которая нарушила бы его, не может существовать. подробнее ›

Закон, утверждающий, что измеримая величина никогда не меняется по мере эволюции системы. Книга стейкинга подчиняется одному — стоимость на входе равна учтённой стоимости — обеспечиваемому в каждой транзакции. подробнее ›

Доказательство корректности программного обеспечения математикой вместо тестирования на примерах. Контракты, управляемые инвариантами, вносят свойство в исполнение: сама EVM отвергает нарушающие состояния. подробнее ›

Дизайн, при котором каждый запрос несёт всё необходимое — нет хранимой сессии, которую можно испортить. BlazePhoenix Core — чистая библиотека: нет хранилища, нет владельца, нет пути обновления. подробнее ›

Вы подписываете желаемый РЕЗУЛЬТАТ, а off-chain солверы конкурируют за его исполнение. Мощно, но аукцион — это доверенный слой — противоположная ставка по сравнению с вычислением маршрута on-chain. подробнее ›

Представление дробей масштабированными целыми числами (здесь WAD = 1e18), потому что у EVM нет чисел с плавающей точкой. Корректность требует умножения с полной точностью, чтобы масштабированное произведение никогда не переполнялось. подробнее ›

Итеративный поиск корня, удваивающий число верных цифр на каждом шаге (квадратичная сходимость). BlazePhoenix использует его модулярную форму, чтобы инвертировать нечётный делитель за шесть шагов, от 4 бит до 256. подробнее ›

Заработок токен-вознаграждений за предоставление капитала протоколу. BlazePhoenix выплачивает два отдельных потока — эмиссию и процент заёмщиков — из двух аккумуляторов над одной базой стейка, без перекрёстного субсидирования. подробнее ›

Псевдонимный автор whitepaper Bitcoin (2008), чья первая фраза — платежи без финансового учреждения — определяет видение минимизации доверия, относительно которого измеряет тест Накамото. подробнее ›

Соучредитель Ethereum; его whitepaper 2014 года обобщил устранение доверия у Bitcoin с платежей на произвольные вычисления — линию, на которой строится каждый серьёзный смарт-контрактный протокол. подробнее ›

Нижняя граница минимального вывода как СТАВКА, которую Router заново выводит ON-CHAIN при исполнении из измеренных сумм: вызывающие могут ужесточить её, но никогда ослабить. Ставка зажата так, что никогда не падает ниже 80%, и применяется к on-chain котировке финального перехода до протокольной комиссии. подробнее ›

Формализует Minimum output (minOut).

Та же гарантия, применённая к каждому плечу разделённого маршрута, а не к итогу: каждое плечо должно поставить не менее 8,000 базисных пунктов своего запланированного вывода, чтобы маршрут не мог спрятать плохое плечо за хорошим. подробнее ›

Формализует Minimum output (minOut).

Поле пригодности пула: счётчик маршрутизированных свопов, затухающий по настенным часам — уполовинивающийся примерно каждые 6.8 часов тишины и достигающий нуля примерно через 9 дней — взвешенный по бакетам лог-глубины, с бонусами за мост и концентрацию. Репутация зарабатывается только тем, что через пул маршрутизируют, и она решает, какие площадки рассматриваются, но никогда — сколько любая из них платит. подробнее ›

Формализует Liquidity pool.

Единственное уравнение, которому подчиняется книга стейкинга, обеспечиваемое в каждой транзакции стражем conserves: любая транзакция, которая нарушила бы его, откатывается (revert), и любой может прочитать результат бесплатно в любом блоке. подробнее ›

Формализует Conservation law.

Фильтр правдоподобия, привязанный к пулу с наибольшим РЕАЛЬНЫМ балансом tokenOut — истина голосует капиталом, а не простым существованием. Он повышает стоимость атаки, а не обеспечивает статистическую устойчивость: атакующий, который действительно является самым глубоким пулом, контролирует якорь. подробнее ›

Формализует Blockchain oracle.

Ширина этого фильтра: кандидат, чья ставка лежит за пределами ±4% от якоря, отбрасывается до маршрутизации. Единственный кандидат никогда не фильтруется, поскольку полоса вокруг одного наблюдения не несёт информации. Ширина — это продуктовое решение, а не выведенная величина. подробнее ›

Формализует Blockchain oracle.

Порядок, в котором площадки должны присоединяться к маршруту при оптимальном разделении: убывающая спот-цена с поправкой на комиссию γy/x, предельная доходность каждой площадки при нулевом входе, вычислимая из одних резервов без оракула и без симуляции. подробнее ›

Формализует Automated market maker (AMM).

Каждое решение о маршрутизации — допуск, порядок, разделение и нижние границы — вычислено из одного лишь состояния пула on-chain и констант контракта. Протокол не потребляет внешний источник цен, поэтому не наследует режимы отказа никакого оракула и не может импортировать его манипуляцию. подробнее ›

Формализует Blockchain oracle.

Гарантия, чьи ограничения обеспечиваются on-chain кодом, исполняющим сделку, а не производятся off-chain и лишь проверяются. Утверждение о том, ГДЕ живёт гарантия: проверяемая, а не обещанная — не автоматически сильнее, но проверяема. подробнее ›

Формализует Decentralized exchange (DEX).

Переоценка уровня исполнения через извлечение из revert: запусти реальный своп пула внутри вызова, откати, декодируй дельты — revert и есть ответ, а не ошибка. подробнее ›

Формализует Automated market maker (AMM).

Одна функция котировки, охватывающая восемь видов AMM — математика в замкнутой форме там, где формулы суть истина, спроси-пул там, где репликация могла бы солгать. подробнее ›

Формализует Automated market maker (AMM).

Всё рабочее состояние пула, упакованное в одно 256-битное слово хранилища, так что оценка кандидата стоит одного SLOAD вместо нескольких. подробнее ›

Формализует Smart contract.

Вывод адреса CREATE2 по восьми формам площадок — адрес легитимного пула вычислим до того, как он существует, поэтому подмена становится несовпадением адресов. подробнее ›

Формализует Smart contract.

Реестр площадок, который учит ликвидность, исполняя её: каждый завершённый своп обновляет или вставляет пул; затухание жизненности и вытеснение по рангу Ψ курируют его без кипера. подробнее ›

Формализует Decentralized exchange (DEX).

Пять фальсифицируемых вопросов — расчёты, верификация, выживание, разрешение, прозрачность — которые измеряют любой протокол относительно основополагающего видения whitepaper Bitcoin и Ethereum. подробнее ›

Формализует Decentralized finance (DeFi).

Управление системой через математический инвариант, проверяемый на границе, с безопасным отказом при нарушении (fail closed) — паттерн, стоящий за протоколом, и шаблон для выравнивания ИИ-агентов. подробнее ›

Формализует Invariant (mathematics).

512-битное умножение-затем-деление (mulDiv), через которое проходит каждая пропорция BlazePhoenix: промежуточное произведение никогда не переполняется, поэтому ни одно вознаграждение, отношение или ломоть процентов не отклоняется ни на один вэй. подробнее ›

Формализует Fixed-point arithmetic.

Два аккумулятора в стиле MasterChef над одной базой стейка — эмиссия на усиленный эффективный стейк, процент только чистым сберегателям — так что ни одна роль стейкинга не субсидирует другую, всё под единым инвариантом платёжеспособности. подробнее ›

Формализует Yield farming.