DeFi 용어를, 정의하다

금융 서비스 — 거래, 대출, 스테이킹 — 를 은행이나 브로커 대신 공개 스마트 컨트랙트가 운영하며, 지갑만 있으면 누구나 이용할 수 있습니다. 더 읽기 ›

대부분의 DeFi가 그 위에서 돌아가는 프로그래밍 가능한 블록체인. BlazePhoenix는 Ethereum과 그 L2(Base, Optimism, Arbitrum, Robinhood Chain)에 동일한 바이트코드를 배포합니다. 더 읽기 ›

BlazePhoenix가 배포되어 일곱 개 거래장에 연결된 EVM 네트워크(chain id 4663). 네이티브 ETH, 래핑된 WETH, USDG 스테이블코인을 갖추고 있으며 Blockscout 익스플로러가 있습니다. 더 읽기 ›

Robinhood Chain에서 깊은 호가 자산으로 쓰이는 미국 달러 스테이블코인(0x5fc5…d168). BlazePhoenix는 이것과 WETH를 통해 멀티홉 경로를 이어줍니다. 더 읽기 ›

대부분의 DEX 유동성이 그 풀에 존재하는 정본 AMM 설계(V2/V3). BlazePhoenix는 이것과 여덟 가지 거래장 형태에 걸쳐 경로를 잡습니다. 더 읽기 ›

본 가격과 실제로 받은 가격 사이의 간극으로, 호가와 체결 사이에 시장이 움직여 생깁니다. 최소 출력 하한(minOut)으로 상한을 둡니다. 더 읽기 ›

스스로 일으키는 비용 부분: 유한한 풀을 상대로 거래하면 토큰을 가져갈수록 가격이 움직입니다. 얕은 풀일수록 큰 규모를 가장 혹독하게 벌합니다. 더 읽기 ›

스마트 컨트랙트가 보유하여 누구나 상대로 거래할 수 있는 두 무더기의 토큰. 두 무더기의 비율이 가격을 정하고, 실제 온체인 깊이가 당신의 비용을 결정합니다. 더 읽기 ›

오더북 대신 풀의 잔액으로부터 거래를 가격 매기는 수식. 상수곱(x·y=k)은 언제나 호가를 내며, 가격 영향은 그것이 당신에게 수수료를 매기는 지점입니다. 더 읽기 ›

거래가 스마트 컨트랙트를 상대로 온체인에서 직접 체결되며, 어떤 수탁자도 당신의 자금을 보유하지 않는 시장입니다. 더 읽기 ›

최선의 체결을 위해 여러 풀에 걸쳐 스왑을 라우팅하는 도구. BlazePhoenix는 호가를 온체인에서 계산하므로 오프체인 서버를 신뢰할 필요가 없습니다. 더 읽기 ›

블록체인에 배포된 코드로, 작성된 그대로 정확히 실행되며, 그 권한이 포기된 뒤에는 어떤 관리자도 바꾸거나 멈출 수 없습니다. 더 읽기 ›

풀의 컨트랙트가 온체인에서 실제로는 보유하지 않는 광고된 풀 깊이 — 당신이 실제로 치르게 될 슬리피지이자, 허니팟이 지급할 수 없는 토큰입니다. 더 읽기 ›

숨겨진 컨트랙트 로직을 통해 매수는 성공하고 매도는 실패하도록 설계된 토큰. 차트는 오르는데 거의 아무도 빠져나갈 수 없습니다. 더 읽기 ›

내부자가 토큰의 유동성을 빼내거나 숨겨진 물량을 투매하여 가격을 0으로 붕괴시키는 출구 사기. 더 읽기 ›

봇이 한 블록 안의 트랜잭션을 재배열, 삽입 또는 검열하여 뽑아내는 이익 — 샌드위치 공격 뒤에 있는 힘입니다. 더 읽기 ›

대기 중인 트랜잭션을 보고 그 앞으로 끼어들어, 그것이 일으킬 가격 변동에서 이익을 얻는 것. 더 읽기 ›

외부 데이터(가격 등)를 스마트 컨트랙트에 공급하는 다리 — 그리고 그 피드가 조작될 수 있을 때의 전형적인 공격 표면입니다. 더 읽기 ›

풀에 넣은 두 토큰의 가격이 벌어질 때 유동성 공급자가 입는 손실로, 단순히 그것들을 보유했을 경우와 비교한 것입니다. 더 읽기 ›

두 토큰을 모두 풀에 예치하여 그 거래 수수료의 몫을 벌고, 그 대가로 비영구적 손실 위험을 지는 사람. 더 읽기 ›

프로토콜에 예치된 자산의 총합 — 인기 지표일 뿐 안전 보장은 아닙니다. 실제 유동성 깊이야말로 당신이 실제로 빠져나갈 수 있는 곳입니다. 더 읽기 ›

시가총액은 가격 × 공급량(헤드라인)이고, 유동성은 당신이 실제로 빠져나갈 수 있는 곳입니다. 시총이 실제 깊이를 압도할 때, 그 가치의 대부분은 닿을 수 없습니다. 더 읽기 ›

프로토콜이 자신이 진 빚을 감당할 만큼의 자산을 보유하고 있음을 검증 가능하게 온체인으로 입증하는 것 — 팀을 신뢰하지 않고도 확인할 수 있습니다. 더 읽기 ›

스왑에서 당신이 받아들일 최소 출력량. 거래가 그것을 내줄 수 없으면, 더 나쁜 조건으로 체결하는 대신 반드시 되돌려야(revert) 합니다. 더 읽기 ›

컨트랙트가 균일하게 다룰 수 있도록 표준 ERC-20 토큰으로 래핑된 같은 ETH. 언제나 1:1로 상환 가능하며, 다른 자산이 아닙니다. 더 읽기 ›

당신의 토큰을 옮기도록 컨트랙트에 부여된 상시 허가. 거래가 끝나도 남아 있으므로, 무한 승인은 검토하고 취소해야 할 현존하는 위험입니다. 더 읽기 ›

보통 $1이라는 고정 가치를 유지하도록 설계된 토큰으로, 법정화폐, 암호화폐 또는 알고리즘으로 뒷받침됩니다. 페그는 그 뒤의 설계만큼만 견고합니다. 더 읽기 ›

온체인에서 트랜잭션을 실행하기 위해 지불하는 네트워크 수수료로, 해당 체인의 네이티브 코인으로 가격이 매겨지고 혼잡도에 따라 달라집니다. 더 읽기 ›

당신의 온체인 자금을 통제하는 개인 키를 보관하는 소프트웨어 — 자금 그 자체가 아닙니다. 시드 문구가 곧 자금입니다. 절대 공유하지 마십시오. 더 읽기 ›

시스템의 허용된 모든 변환 아래에서 참으로 유지되는 성질. BlazePhoenix에서는 안전성이 곧 불변량입니다: 그것을 깨뜨릴 트랜잭션은 존재할 수 없습니다. 더 읽기 ›

측정 가능한 양이 시스템이 변해도 결코 바뀌지 않는다고 말하는 법칙. 스테이킹 장부는 그 하나를 따릅니다 — 들어온 가치는 계상된 가치와 같으며 — 트랜잭션마다 강제됩니다. 더 읽기 ›

예시로 시험하는 대신 수학으로 소프트웨어의 정확성을 증명하는 것. 불변량 주도 컨트랙트는 그 성질을 런타임에 밀어 넣습니다: EVM 자체가 위반하는 상태를 거부합니다. 더 읽기 ›

각 요청이 필요한 모든 것을 지니는 설계 — 손상될 저장된 세션이 없습니다. BlazePhoenix Core는 순수 라이브러리입니다: 저장소도, 소유자도, 업그레이드 경로도 없습니다. 더 읽기 ›

원하는 결과에 서명하면 오프체인 솔버들이 그것을 채우려 경쟁합니다. 강력하지만 그 경매는 신뢰가 필요한 계층입니다 — 경로를 온체인에서 계산하는 것과 정반대의 베팅입니다. 더 읽기 ›

EVM에는 부동소수점이 없으므로 스케일된 정수로 분수를 표현합니다(여기서 WAD = 1e18). 정확성은 스케일된 곱이 결코 넘치지 않도록 전정밀도 곱셈을 요구합니다. 더 읽기 ›

각 단계마다 정확한 자릿수를 두 배로 늘리는 반복적 근 찾기 기법(이차 수렴). BlazePhoenix는 그 모듈러 형태를 사용해 홀수 제수를 4비트에서 256비트까지 여섯 단계로 역산합니다. 더 읽기 ›

프로토콜에 자본을 공급하여 토큰 보상을 버는 것. BlazePhoenix는 두 갈래의 서로 다른 흐름 — 발행과 차입자 이자 — 을 단일 스테이크 기반 위의 두 누산기로부터, 상호 보조 없이 지급합니다. 더 읽기 ›

비트코인 백서(2008)의 가명 저자로, 그 첫 문장 — 금융 기관 없는 결제 — 은 Nakamoto Test가 견주는 신뢰 최소화 비전을 정의합니다. 더 읽기 ›

Ethereum의 공동 창립자. 그의 2014년 백서는 비트코인의 신뢰 제거를 결제에서 임의의 연산으로 일반화했습니다 — 모든 진지한 스마트 컨트랙트 프로토콜이 이어받는 계보입니다. 더 읽기 ›

Router가 실행 시 측정된 수량으로부터 온체인에서 다시 도출하는 최소 출력 하한 비율: 호출자는 그것을 조일 수는 있어도 결코 늦출 수 없습니다. 이 비율은 80% 아래로 결코 떨어지지 않도록 고정되며, 프로토콜 수수료 전에 마지막 홉의 온체인 호가에 적용됩니다. 더 읽기 ›

형식화 대상 Minimum output (minOut).

합계가 아니라 분할 경로의 각 레그에 적용되는 동일한 보장: 모든 레그는 계획된 출력의 최소 8,000 베이시스 포인트를 내줘야 하므로, 경로가 좋은 레그 뒤에 나쁜 레그를 숨길 수 없습니다. 더 읽기 ›

형식화 대상 Minimum output (minOut).

풀 적합도 필드: 실제 벽시계 시간으로 감쇠하는 라우팅된 스왑 카운터 — 침묵 약 6.8시간마다 절반으로 줄고 약 9일 후 0에 도달 — 로그 깊이 버킷으로 가중되며, 브리지와 집중도 보너스가 붙습니다. 지위는 오직 경로로 통과됨으로써만 얻어지고, 어떤 거래장이 고려되는지를 결정할 뿐 각자가 무엇을 지급하는지는 결코 결정하지 않습니다. 더 읽기 ›

형식화 대상 Liquidity pool.

스테이킹 장부가 따르는 단 하나의 방정식으로, conserves 가드에 의해 트랜잭션마다 강제됩니다: 그것을 깨뜨릴 어떤 트랜잭션도 되돌려지며, 누구나 어느 블록에서든 그 결과를 무료로 읽을 수 있습니다. 더 읽기 ›

형식화 대상 Conservation law.

가장 큰 실제 tokenOut 잔액을 지닌 풀에 닻을 내린 신빙성 필터 — 진실은 단순한 존재가 아니라 자본으로 투표합니다. 통계적 견고성을 제공하기보다 공격의 비용을 끌어올립니다: 진정으로 가장 깊은 풀인 공격자가 그 닻을 지배합니다. 더 읽기 ›

형식화 대상 Blockchain oracle.

그 필터의 폭: 비율이 닻의 ±4% 밖에 있는 후보는 라우팅 전에 버려집니다. 단일 후보는 결코 걸러지지 않는데, 하나의 관측을 둘러싼 밴드는 어떤 정보도 담지 않기 때문입니다. 그 폭은 도출된 양이 아니라 제품 차원의 결정입니다. 더 읽기 ›

형식화 대상 Blockchain oracle.

최적 분할 아래에서 거래장이 경로에 합류해야 하는 순서: 수수료 조정 현물가 γy/x의 내림차순으로, 각 거래장의 입력 0에서의 한계 수익이며, 오라클도 시뮬레이션도 없이 준비금만으로 계산됩니다. 더 읽기 ›

형식화 대상 Automated market maker (AMM).

모든 라우팅 결정 — 진입, 순서 매김, 분할, 그리고 하한 — 이 온체인 풀 상태와 컨트랙트 상수만으로 계산됩니다. 프로토콜은 어떤 외부 가격 소스도 소비하지 않으므로 어떤 오라클의 실패 양식도 물려받지 않으며 그것의 조작을 들여올 수도 없습니다. 더 읽기 ›

형식화 대상 Blockchain oracle.

그 제약이 오프체인에서 생성되어 단지 검증되는 것이 아니라, 거래를 실행하는 코드 자체에 의해 온체인에서 강제되는 보장. 보장이 어디에 존재하는가에 관한 진술입니다: 약속되는 것이 아니라 감사 가능한 것 — 자동으로 더 강한 것은 아니지만 확인 가능합니다. 더 읽기 ›

형식화 대상 Decentralized exchange (DEX).

되돌림 추출을 통한 실행 등급 재호가: 풀의 실제 스왑을 한 호출 안에서 돌리고, 되돌리고, 델타를 디코딩합니다 — 되돌림은 오류가 아니라 답입니다. 더 읽기 ›

형식화 대상 Automated market maker (AMM).

여덟 가지 AMM 종을 아우르는 하나의 호가 함수 — 수식이 진리인 곳에서는 닫힌 형태의 수학을, 복제가 거짓말할 수 있는 곳에서는 풀에게 묻기. 더 읽기 ›

형식화 대상 Automated market maker (AMM).

풀의 전체 작동 상태를 하나의 256비트 저장 워드에 담으므로, 한 후보를 채점하는 데 여러 번이 아니라 단 한 번의 SLOAD가 듭니다. 더 읽기 ›

형식화 대상 Smart contract.

여덟 가지 거래장 형태에 걸친 CREATE2 주소 도출 — 정당한 풀의 주소는 그것이 존재하기 전에 계산할 수 있으므로, 사칭은 주소 불일치가 됩니다. 더 읽기 ›

형식화 대상 Smart contract.

유동성을 실행함으로써 유동성을 학습하는 거래장 레지스트리: 결제된 모든 스왑이 풀을 갱신하거나 삽입하고, 활력 감쇠와 Ψ 순위 축출이 키퍼 없이 그것을 선별합니다. 더 읽기 ›

형식화 대상 Decentralized exchange (DEX).

다섯 가지 반증 가능한 질문 — 결제, 검증, 존속, 허가, 투명성 — 이 비트코인과 Ethereum 백서의 창립 비전에 견주어 어떤 프로토콜이든 측정합니다. 더 읽기 ›

형식화 대상 Decentralized finance (DeFi).

경계에서 검사되고 위반 시 안전하게 닫히는 수학적 불변량으로 시스템을 다스리는 것 — 프로토콜 뒤에 있는 패턴이자 AI 에이전트를 정렬하기 위한 템플릿입니다. 더 읽기 ›

형식화 대상 Invariant (mathematics).

BlazePhoenix의 모든 비율이 흐르는 512비트 곱한 뒤 나누기(mulDiv): 중간 곱은 결코 넘치지 않으므로, 어떤 보상, 비율, 이자 조각도 단 1wei도 어긋나지 않습니다. 더 읽기 ›

형식화 대상 Fixed-point arithmetic.

단일 스테이크 기반 위의 두 MasterChef식 누산기 — 발행은 부스트된 유효 스테이크에, 이자는 순수 예치자에게만 — 이므로 어떤 스테이킹 역할도 다른 것을 보조하지 않으며, 모두 하나의 지급 능력 불변량 아래에 있습니다. 더 읽기 ›

형식화 대상 Yield farming.