Os termos DeFi, definidos

Serviços financeiros — negociação, empréstimo, staking — geridos por contratos inteligentes públicos em vez de bancos ou corretoras, abertos a qualquer pessoa com uma carteira. ler mais ›

A blockchain programável sobre a qual corre a maior parte do DeFi; a BlazePhoenix implanta o mesmo bytecode em Ethereum e nas suas L2s (Base, Optimism, Arbitrum, Robinhood Chain). ler mais ›

Uma rede EVM (chain id 4663) onde a BlazePhoenix está implantada e ligada a sete venues; ETH nativo, WETH embrulhado e a stablecoin USDG, com um explorador Blockscout. ler mais ›

A stablecoin do dólar norte-americano usada como o ativo de cotação profundo na Robinhood Chain (0x5fc5…d168); a BlazePhoenix faz a ponte de rotas multi-hop através dela e do WETH. ler mais ›

O design AMM canónico (V2/V3) em cujas pools reside a maior parte da liquidez de DEX; a BlazePhoenix roteia através dele e de oito formatos de venue. ler mais ›

A diferença entre o preço que viste e o preço que obtiveste, causada pelo mercado a mexer-se entre a cotação e a execução. Limita-la com um limite de saída mínima (minOut). ler mais ›

A parte do teu custo que tu próprio causas: negociar contra uma pool finita move o preço à medida que retiras tokens. Uma pool fina pune o tamanho com mais dureza. ler mais ›

Dois montes de tokens que um contrato inteligente guarda para que qualquer pessoa possa negociar contra eles. A razão entre os montes fixa o preço; a profundidade real on-chain decide o teu custo. ler mais ›

Uma fórmula que precifica negociações a partir dos saldos de uma pool em vez de um livro de ordens. O produto constante (x·y=k) tem sempre uma cotação; o impacto no preço é onde te cobra. ler mais ›

Um mercado onde as negociações são executadas diretamente on-chain contra contratos inteligentes, sem que qualquer custodiante alguma vez detenha os teus fundos. ler mais ›

Uma ferramenta que roteia uma troca por muitas pools para a melhor execução. A BlazePhoenix calcula a cotação on-chain, portanto nenhum servidor off-chain é tido como de confiança. ler mais ›

Código implantado numa blockchain que corre exatamente como foi escrito, sem que nenhum administrador o possa alterar ou parar depois de os seus poderes serem renunciados. ler mais ›

Profundidade de pool anunciada que o contrato da pool não detém de facto on-chain — o slippage que realmente pagarias e os tokens que um honeypot não consegue pagar. ler mais ›

Um token concebido para que as compras tenham sucesso e as vendas falhem, através de lógica de contrato oculta. O gráfico sobe enquanto quase ninguém consegue sair. ler mais ›

Uma fraude de saída em que insiders drenam a liquidez de um token ou despejam supply oculto, colapsando o preço até zero. ler mais ›

O lucro que os bots extraem ao reordenar, inserir ou censurar transações num bloco — a força por trás dos ataques sandwich. ler mais ›

Ver uma transação pendente e saltar-lhe à frente para lucrar com o movimento de preço que ela irá causar. ler mais ›

Uma ponte que alimenta um contrato inteligente com dados externos (como preços) — e uma superfície de ataque clássica quando o feed pode ser manipulado. ler mais ›

A perda que um provedor de liquidez sofre quando os dois tokens da pool divergem no preço, em comparação com simplesmente detê-los. ler mais ›

Alguém que deposita ambos os tokens numa pool para ganhar uma parte das suas taxas de negociação, assumindo em troca o risco de impermanent loss. ler mais ›

O total de ativos depositados num protocolo — uma métrica de popularidade, não uma garantia de segurança; a profundidade real de liquidez é aquilo para onde consegues efetivamente sair. ler mais ›

A market cap é preço × supply (uma manchete); a liquidez é aquilo para onde consegues efetivamente sair. Quando a cap se ergue sobre a profundidade real, a maior parte desse valor é inalcançável. ler mais ›

Uma demonstração verificável on-chain de que um protocolo detém ativos suficientes para cobrir o que deve — verificável sem confiar na equipa. ler mais ›

A menor quantidade de saída que aceitarás numa troca; se a negociação não a conseguir entregar, tem de reverter em vez de preencher pior. ler mais ›

O mesmo ETH embrulhado como um token ERC-20 padrão para que os contratos o tratem de forma uniforme. Sempre resgatável 1:1; não é um ativo diferente. ler mais ›

Permissão permanente para que um contrato mova o teu token. Sobrevive à negociação, portanto aprovações infinitas são um risco vivo que deves rever e revogar. ler mais ›

Um token concebido para manter um valor fixo, normalmente $1, lastreado por moeda fiduciária, cripto ou um algoritmo. O peg só é tão forte quanto o design que o sustenta. ler mais ›

A taxa de rede paga para executar uma transação on-chain, precificada na moeda nativa da chain e variando com o congestionamento. ler mais ›

Software que guarda as chaves privadas que controlam os teus fundos on-chain — não os fundos em si. A seed phrase É os fundos; nunca a partilhes. ler mais ›

Uma propriedade que permanece verdadeira sob toda transformação permitida de um sistema. Na BlazePhoenix, a segurança É uma invariante: a transação que a quebraria não pode existir. ler mais ›

Uma lei que afirma que uma quantidade mensurável nunca muda à medida que um sistema evolui. O livro de staking obedece a uma — valor que entra é igual a valor contabilizado — imposta por transação. ler mais ›

Provar que o software está correto por matemática em vez de o testar por exemplos. Os contratos guiados por invariantes empurram a propriedade para o runtime: a própria EVM recusa estados que a violem. ler mais ›

Um design em que cada pedido carrega tudo o que é necessário — nenhuma sessão armazenada para corromper. O Core da BlazePhoenix é uma biblioteca pura: sem armazenamento, sem dono, sem caminho de upgrade. ler mais ›

Assinas um RESULTADO desejado e solvers off-chain competem para o preencher. Poderoso, mas o leilão é uma camada de confiança — a aposta oposta a calcular a rota on-chain. ler mais ›

Representar frações com inteiros escalados (aqui WAD = 1e18) porque a EVM não tem floats. A correção exige uma multiplicação de precisão total para que o produto escalado nunca transborde. ler mais ›

Um localizador iterativo de raízes que duplica os seus dígitos corretos a cada passo (convergência quadrática). A BlazePhoenix usa a sua forma modular para inverter um divisor ímpar em seis passos, de 4 bits a 256. ler mais ›

Ganhar recompensas em tokens por fornecer capital a um protocolo. A BlazePhoenix paga dois fluxos distintos — emissão e juro de mutuários — a partir de dois acumuladores sobre uma única base de stake, sem subsídio cruzado. ler mais ›

O autor pseudónimo do whitepaper do Bitcoin (2008), cuja frase de abertura — pagamentos sem uma instituição financeira — define a visão de minimização de confiança que o Nakamoto Test mede. ler mais ›

Cofundador da Ethereum; o seu whitepaper de 2014 generalizou a remoção de confiança do Bitcoin, dos pagamentos para computação arbitrária — a linhagem sobre a qual todo protocolo sério de contratos inteligentes é construído. ler mais ›

A TAXA de piso de saída mínima que o Router re-deriva ON-CHAIN na execução a partir de montantes medidos: os chamadores podem apertá-la, nunca relaxá-la. A taxa é limitada para nunca cair abaixo de 80%, e é aplicada à cotação on-chain do último hop antes da taxa do protocolo. ler mais ›

Formaliza Minimum output (minOut).

A mesma garantia aplicada a cada perna de uma rota dividida em vez de ao total: cada perna tem de entregar pelo menos 8,000 pontos base da sua saída planeada, de modo que uma rota não possa esconder uma perna má atrás de uma boa. ler mais ›

Formaliza Minimum output (minOut).

O campo de aptidão de pool: um contador de trocas roteadas que decai no relógio de parede — reduzindo-se para metade a cada cerca de 6.8 horas de silêncio e chegando a zero após cerca de 9 dias — ponderado por baldes de log-depth, com bónus de ponte e concentração. A posição só se ganha sendo roteado através, e decide quais venues são consideradas, nunca o que qualquer uma delas paga. ler mais ›

Formaliza Liquidity pool.

A única equação a que o livro de staking obedece, imposta por transação pelo guarda conserves: qualquer transação que a quebraria reverte, e qualquer pessoa pode ler o resultado gratuitamente em qualquer bloco. ler mais ›

Formaliza Conservation law.

O filtro de credibilidade ancorado na pool com o maior saldo REAL de tokenOut — a verdade vota com capital, não com mera existência. Aumenta o custo de um ataque em vez de fornecer robustez estatística: um atacante que genuinamente é a pool mais profunda controla a âncora. ler mais ›

Formaliza Blockchain oracle.

A largura desse filtro: um candidato cuja taxa fica fora de ±4% da âncora é descartado antes do roteamento. Um único candidato nunca é filtrado, uma vez que uma banda em torno de uma observação não carrega informação. A largura é uma decisão de produto, não uma quantidade derivada. ler mais ›

Formaliza Blockchain oracle.

A ordem pela qual as venues devem juntar-se a uma rota sob a divisão ótima: preço spot ajustado por taxa γy/x decrescente, o retorno marginal de cada venue a input zero, computável apenas a partir das reservas, sem oráculo e sem simulação. ler mais ›

Formaliza Automated market maker (AMM).

Toda decisão de roteamento — admissão, ordenação, divisão e os pisos — computada apenas a partir do estado on-chain da pool e de constantes do contrato. O protocolo não consome qualquer fonte de preço externa, portanto não herda os modos de falha de nenhum oráculo e não consegue importar a manipulação de nenhum. ler mais ›

Formaliza Blockchain oracle.

Uma garantia cujas restrições são impostas on-chain pelo código que executa a negociação, em vez de produzidas off-chain e meramente validadas. Uma afirmação sobre ONDE vive uma garantia: auditável em vez de prometida — não automaticamente mais forte, mas verificável. ler mais ›

Formaliza Decentralized exchange (DEX).

Recotação de nível de execução por extração-de-revert: correr a troca real da pool dentro de uma chamada, reverter, descodificar os deltas — o revert é a resposta, não um erro. ler mais ›

Formaliza Automated market maker (AMM).

Uma única função de cotação que abrange oito espécies de AMM — matemática de forma fechada onde as fórmulas são verdade, perguntar-à-pool onde a replicação poderia mentir. ler mais ›

Formaliza Automated market maker (AMM).

O estado de trabalho inteiro de uma pool empacotado numa única palavra de armazenamento de 256 bits, de modo que pontuar um candidato custe um único SLOAD em vez de vários. ler mais ›

Formaliza Smart contract.

Derivação de endereço CREATE2 através de oito formatos de venue — o endereço de uma pool legítima é computável antes de ela existir, portanto a personificação torna-se uma incompatibilidade de endereço. ler mais ›

Formaliza Smart contract.

O registo de venues que aprende liquidez ao executá-la: cada troca liquidada incrementa ou insere uma pool; o decaimento de vitalidade e a expulsão ordenada por Ψ curam-no sem qualquer keeper. ler mais ›

Formaliza Decentralized exchange (DEX).

Cinco perguntas falsificáveis — liquidação, verificação, sobrevivência, permissão, transparência — que medem qualquer protocolo contra a visão fundadora dos whitepapers do Bitcoin e da Ethereum. ler mais ›

Formaliza Decentralized finance (DeFi).

Governar um sistema por uma invariante matemática verificada na fronteira, falhando fechado na violação — o padrão por trás do protocolo, e um modelo para alinhar agentes de IA. ler mais ›

Formaliza Invariant (mathematics).

A multiplicação-depois-divisão de 512 bits (mulDiv) por onde flui cada proporção da BlazePhoenix: o produto intermédio nunca transborda, portanto nenhuma recompensa, razão ou fatia de juro se desvia por um único wei. ler mais ›

Formaliza Fixed-point arithmetic.

Dois acumuladores ao estilo MasterChef sobre uma única base de stake — emissão sobre stake efetivo impulsionado, juro apenas para poupadores puros — de modo que nenhum papel de staking subsidia outro, tudo sob uma única invariante de solvência. ler mais ›

Formaliza Yield farming.