Les termes DeFi, définis

Des services financiers — trading, prêt, staking — gérés par des contrats intelligents publics plutôt que par des banques ou des courtiers, ouverts à quiconque possède un wallet. en savoir plus ›

La blockchain programmable sur laquelle tourne l'essentiel de la DeFi ; BlazePhoenix déploie le même bytecode sur Ethereum et ses L2 (Base, Optimism, Arbitrum, Robinhood Chain). en savoir plus ›

Un réseau EVM (chain id 4663) où BlazePhoenix est déployé et relié à sept venues ; ETH natif, WETH enveloppé et la stablecoin USDG, avec un explorateur Blockscout. en savoir plus ›

La stablecoin du dollar américain utilisée comme actif de cotation profond sur Robinhood Chain (0x5fc5…d168) ; BlazePhoenix fait le pont de routes multi-hop à travers elle et WETH. en savoir plus ›

Le design AMM canonique (V2/V3) dans les pools duquel réside l'essentiel de la liquidité DEX ; BlazePhoenix route à travers lui et huit formes de venue. en savoir plus ›

L'écart entre le prix que vous avez vu et le prix que vous avez obtenu, causé par le marché qui bouge entre la cotation et l'exécution. Vous le plafonnez avec une limite de sortie minimale (minOut). en savoir plus ›

La part de votre coût que vous causez vous-même : trader contre une pool finie déplace le prix à mesure que vous prenez des tokens. Une pool mince punit le plus durement la taille. en savoir plus ›

Deux tas de tokens qu'un contrat intelligent détient pour que quiconque puisse trader contre eux. Le rapport entre les tas fixe le prix ; la profondeur réelle on-chain décide de votre coût. en savoir plus ›

Une formule qui fixe le prix des trades à partir des soldes d'une pool plutôt que d'un carnet d'ordres. Le produit constant (x·y=k) a toujours une cotation ; l'impact sur le prix est là où il vous facture. en savoir plus ›

Une place de marché où les trades s'exécutent directement on-chain contre des contrats intelligents, sans qu'aucun dépositaire ne détienne jamais vos fonds. en savoir plus ›

Un outil qui route un swap à travers de nombreuses pools pour la meilleure exécution. BlazePhoenix calcule la cotation on-chain, donc aucun serveur off-chain n'est de confiance. en savoir plus ›

Du code déployé sur une blockchain qui s'exécute exactement comme il a été écrit, sans qu'aucun administrateur ne puisse le modifier ou l'arrêter une fois ses pouvoirs abandonnés. en savoir plus ›

Une profondeur de pool annoncée que le contrat de la pool ne détient pas réellement on-chain — le slippage que vous paieriez vraiment et les tokens qu'un honeypot ne peut pas verser. en savoir plus ›

Un token conçu pour que les achats réussissent et que les ventes échouent, via une logique de contrat cachée. Le graphique grimpe pendant que presque personne ne peut sortir. en savoir plus ›

Une arnaque à la sortie où des initiés drainent la liquidité d'un token ou déversent une supply cachée, effondrant le prix à zéro. en savoir plus ›

Le profit que les bots extraient en réordonnant, insérant ou censurant des transactions dans un bloc — la force derrière les attaques sandwich. en savoir plus ›

Voir une transaction en attente et la devancer pour profiter du mouvement de prix qu'elle va causer. en savoir plus ›

Un pont qui alimente un contrat intelligent en données externes (comme les prix) — et une surface d'attaque classique lorsque le flux peut être manipulé. en savoir plus ›

La perte qu'encaisse un fournisseur de liquidité lorsque les deux tokens de la pool divergent en prix, comparé au simple fait de les détenir. en savoir plus ›

Quelqu'un qui dépose les deux tokens dans une pool pour gagner une part de ses frais de trading, en assumant en retour le risque d'impermanent loss. en savoir plus ›

Le total des actifs déposés dans un protocole — une métrique de popularité, pas une garantie de sécurité ; la profondeur réelle de liquidité est ce vers quoi vous pouvez réellement sortir. en savoir plus ›

La market cap, c'est prix × supply (un titre) ; la liquidité, c'est ce vers quoi vous pouvez réellement sortir. Quand la cap surplombe la profondeur réelle, l'essentiel de cette valeur est inatteignable. en savoir plus ›

Une démonstration vérifiable on-chain qu'un protocole détient assez d'actifs pour couvrir ce qu'il doit — vérifiable sans faire confiance à l'équipe. en savoir plus ›

La plus petite quantité de sortie que vous accepterez sur un swap ; si le trade ne peut pas la livrer, il doit revert plutôt que de se remplir moins bien. en savoir plus ›

Le même ETH enveloppé en token ERC-20 standard pour que les contrats le manipulent uniformément. Toujours échangeable 1:1 ; ce n'est pas un actif différent. en savoir plus ›

Une permission permanente pour qu'un contrat déplace votre token. Elle survit au trade, donc les approbations infinies sont un risque vivant que vous devriez revoir et révoquer. en savoir plus ›

Un token conçu pour maintenir une valeur fixe, généralement 1 $, adossé à de la monnaie fiat, à de la crypto ou à un algorithme. Le peg n'est aussi solide que le design qui le soutient. en savoir plus ›

Les frais de réseau payés pour exécuter une transaction on-chain, libellés dans la monnaie native de la chain et variant avec la congestion. en savoir plus ›

Un logiciel qui détient les clés privées contrôlant vos fonds on-chain — pas les fonds eux-mêmes. La seed phrase EST les fonds ; ne la partagez jamais. en savoir plus ›

Une propriété qui reste vraie sous toute transformation autorisée d'un système. Chez BlazePhoenix, la sécurité EST une invariante : la transaction qui la briserait ne peut pas exister. en savoir plus ›

Une loi affirmant qu'une quantité mesurable ne change jamais à mesure qu'un système évolue. Le livre de staking en obéit une — valeur entrante égale valeur comptabilisée — imposée par transaction. en savoir plus ›

Prouver qu'un logiciel est correct par les mathématiques au lieu de le tester par l'exemple. Les contrats pilotés par invariantes poussent la propriété dans le runtime : l'EVM elle-même refuse les états qui la violent. en savoir plus ›

Un design où chaque requête porte tout ce qu'il faut — aucune session stockée à corrompre. Le Core de BlazePhoenix est une bibliothèque pure : pas de stockage, pas de propriétaire, pas de voie de mise à niveau. en savoir plus ›

Vous signez un RÉSULTAT souhaité et des solvers off-chain se disputent pour le remplir. Puissant, mais l'enchère est une couche de confiance — le pari opposé à celui de calculer la route on-chain. en savoir plus ›

Représenter les fractions par des entiers mis à l'échelle (ici WAD = 1e18) parce que l'EVM n'a pas de floats. La justesse exige une multiplication à pleine précision pour que le produit mis à l'échelle ne déborde jamais. en savoir plus ›

Un chercheur de racines itératif qui double ses chiffres corrects à chaque étape (convergence quadratique). BlazePhoenix utilise sa forme modulaire pour inverser un diviseur impair en six étapes, de 4 bits à 256. en savoir plus ›

Gagner des récompenses en tokens pour fournir du capital à un protocole. BlazePhoenix verse deux flux distincts — émission et intérêt des emprunteurs — depuis deux accumulateurs sur une seule base de stake, sans subvention croisée. en savoir plus ›

L'auteur pseudonyme du whitepaper de Bitcoin (2008), dont la phrase d'ouverture — des paiements sans institution financière — définit la vision de minimisation de la confiance à laquelle se mesure le Nakamoto Test. en savoir plus ›

Cofondateur d'Ethereum ; son whitepaper de 2014 a généralisé la suppression de confiance de Bitcoin, des paiements au calcul arbitraire — la lignée sur laquelle bâtit tout protocole de contrats intelligents sérieux. en savoir plus ›

Le TAUX plancher de sortie minimale que le Router re-dérive ON-CHAIN à l'exécution à partir de montants mesurés : les appelants peuvent le resserrer, jamais le relâcher. Le taux est borné pour ne jamais tomber sous 80%, et il est appliqué à la cotation on-chain du dernier hop avant les frais du protocole. en savoir plus ›

Formalise Minimum output (minOut).

La même garantie appliquée à chaque branche d'une route fractionnée plutôt qu'au total : chaque branche doit livrer au moins 8,000 points de base de sa sortie prévue, de sorte qu'une route ne puisse pas cacher une mauvaise branche derrière une bonne. en savoir plus ›

Formalise Minimum output (minOut).

Le champ d'aptitude des pools : un compteur de swaps routés qui décroît sur l'horloge murale — de moitié environ toutes les 6.8 heures de silence et atteignant zéro après environ 9 jours — pondéré par des paliers de log-depth, avec des bonus de pont et de concentration. La réputation ne se gagne qu'en étant routé au travers, et elle décide quelles venues sont considérées, jamais ce que chacune d'elles paie. en savoir plus ›

Formalise Liquidity pool.

L'unique équation à laquelle obéit le livre de staking, imposée par transaction par le garde conserves : toute transaction qui la briserait revert, et quiconque peut lire le résultat gratuitement à tout bloc. en savoir plus ›

Formalise Conservation law.

Le filtre de crédibilité ancré sur la pool au plus grand solde RÉEL de tokenOut — la vérité vote avec du capital, pas avec la simple existence. Il élève le coût d'une attaque plutôt que d'apporter une robustesse statistique : un attaquant qui est réellement la pool la plus profonde contrôle l'ancre. en savoir plus ›

Formalise Blockchain oracle.

La largeur de ce filtre : un candidat dont le taux se situe hors de ±4% de l'ancre est écarté avant le routage. Un candidat unique n'est jamais filtré, car une bande autour d'une seule observation ne porte aucune information. La largeur est une décision de produit, pas une quantité dérivée. en savoir plus ›

Formalise Blockchain oracle.

L'ordre dans lequel les venues doivent rejoindre une route sous la division optimale : prix spot ajusté des frais γy/x décroissant, le rendement marginal de chaque venue à input nul, calculable à partir des seules réserves, sans oracle et sans simulation. en savoir plus ›

Formalise Automated market maker (AMM).

Chaque décision de routage — admission, ordonnancement, fractionnement et les planchers — calculée à partir du seul état on-chain de la pool et des constantes du contrat. Le protocole ne consomme aucune source de prix externe, donc il n'hérite des modes de défaillance d'aucun oracle et ne peut en importer aucune manipulation. en savoir plus ›

Formalise Blockchain oracle.

Une garantie dont les contraintes sont imposées on-chain par le code qui exécute le trade, plutôt que produites off-chain et simplement validées. Une affirmation sur l'endroit OÙ vit une garantie : auditable plutôt que promise — pas automatiquement plus forte, mais vérifiable. en savoir plus ›

Formalise Decentralized exchange (DEX).

Une recotation de niveau exécution par extraction-de-revert : lancer le vrai swap de la pool à l'intérieur d'un appel, revert, décoder les deltas — le revert est la réponse, pas une erreur. en savoir plus ›

Formalise Automated market maker (AMM).

Une unique fonction de cotation couvrant huit espèces d'AMM — mathématique en forme close là où les formules sont la vérité, demander-à-la-pool là où la réplication pourrait mentir. en savoir plus ›

Formalise Automated market maker (AMM).

L'état de travail complet d'une pool empaqueté dans un seul mot de stockage de 256 bits, de sorte que scorer un candidat coûte un seul SLOAD au lieu de plusieurs. en savoir plus ›

Formalise Smart contract.

La dérivation d'adresse CREATE2 à travers huit formes de venue — l'adresse d'une pool légitime est calculable avant même qu'elle existe, donc l'usurpation devient une non-concordance d'adresse. en savoir plus ›

Formalise Smart contract.

Le registre de venues qui apprend la liquidité en l'exécutant : chaque swap réglé incrémente ou insère une pool ; la décroissance de vitalité et l'éviction classée par Ψ le curent sans aucun keeper. en savoir plus ›

Formalise Decentralized exchange (DEX).

Cinq questions falsifiables — règlement, vérification, survie, permission, transparence — qui mesurent tout protocole face à la vision fondatrice des whitepapers de Bitcoin et d'Ethereum. en savoir plus ›

Formalise Decentralized finance (DeFi).

Gouverner un système par une invariante mathématique vérifiée à la frontière, échouant fermé en cas de violation — le motif derrière le protocole, et un modèle pour aligner les agents d'IA. en savoir plus ›

Formalise Invariant (mathematics).

La multiplication-puis-division sur 512 bits (mulDiv) par laquelle passe chaque proportion de BlazePhoenix : le produit intermédiaire ne déborde jamais, donc aucune récompense, aucun ratio ni aucune tranche d'intérêt ne dérive d'un seul wei. en savoir plus ›

Formalise Fixed-point arithmetic.

Deux accumulateurs à la MasterChef sur une seule base de stake — émission sur le stake effectif boosté, intérêt aux seuls épargnants purs — de sorte qu'aucun rôle de staking n'en subventionne un autre, le tout sous une unique invariante de solvabilité. en savoir plus ›

Formalise Yield farming.