cryptosnif
FR ↗
EnglishFrançaisPortuguês (Brasil)EspañolLa langue conserve ce sujet. Le pays se choisit séparément sur les pages de services.
Crash test / Plateforme de contrats intelligents / CT-SOL-001

Solana (SOL)

solana-mainnet · Actif natif · pilot-1
Le verdict

Non noté · 0% Couverture des preuves

Promesse documentée. Vérification indépendante en attente.

Les preuves disponibles sont insuffisantes pour attribuer une note globale. La description du mécanisme demande une vérification de son fonctionnement actuel.

Consulter les preuves
Non notéNote globale / 100
0%Couverture des preuves
13 contrôles en attente85% de couverture et 3 contrôles essentiels requis pour une note
2026-10-03Documentation vérifiée · Méthode candidate 0.1.0

Revue documentaire · Relecture · translation-1-3fa8dff55046

La revue des sources explique les mécanismes documentés. Les contrôles indépendants du réseau restent à réaliser.

Promesse et périmètre

Ce dossier examine le SOL natif sur le réseau solana-mainnet. Le focus est strictement limité aux mécanismes documentés : exécution des instructions, calculs de frais épinglés par version, paramètres d'inflation par défaut et l'interface en ligne de commande (CLI) d'activation de fonctionnalités Agave. Nous analysons comment ces composants sont définis dans le code et la documentation. Cette revue n'évalue pas les performances du réseau en direct, la disponibilité actuelle des validateurs ou les coûts de transaction en temps réel. Elle exclut également toute évaluation de la sécurité opérationnelle indépendante ou du statut d'audit.

Exécution des instructions et atomicité

Les transactions Solana consistent en des instructions, qui sont les opérations individuelles que les programmes exécutent. Une propriété technique clé décrite dans la documentation est l'atomicité. Cela signifie que au sein d'une seule transaction, soit toutes les instructions réussissent et leurs changements d'état sont appliqués, soit elles échouent et leurs changements d'état d'instruction sont annulés. Bien que ce mécanisme assure une cohérence interne pour une transaction spécifique, il ne prouve pas que les applications sont exemptes de bugs, ni ne garantit la fiabilité globale du réseau. Les audits indépendants de contrats intelligents spécifiques restent hors du périmètre de cette observation.

Mécanique des frais et calculs épinglés par version

Les frais sur Solana sont payés en SOL et comprennent un frais de base et un frais de priorisation optionnel. La documentation indique que le frais de base est divisé équitablement, avec 50% brûlés et 50% alloués au validateur. Le frais de priorisation va entièrement au validateur. Ces règles décrivent la logique de distribution prévue mais ne mesurent pas les coûts en direct ou l'émission nette. Dans le client Agave v4.3.0, la brûlure du frais de base est calculée à l'aide d'une arithmétique entière à 50%. La portion non brûlée et la totalité du frais de priorité sont ajoutées à un dépôt collecteur. Si ce dépôt échoue, la totalité du montant est brûlée. Selon un indicateur de fonctionnalité, le destinataire peut être l'identité du leader ou un collecteur autorisé associé au compte de vote du leader.

Exemple hypothétique de calcul de frais

Pour illustrer l'arithmétique sans impliquer de valeurs réseau en direct, nous présentons un scénario hypothétique basé sur les calculs originaux de Cryptosnif. Supposons un frais de base de 5000 lamports (l'unité de frais entière dans cet exemple) et un frais de priorité de 1000 lamports. Le total des frais est de 6000 lamports. Dans des conditions normales avec un dépôt accepté, 2500 lamports sont brûlés (50% du frais de base), et 3500 lamports vont au collecteur (2500 restants du frais de base plus 1000 de priorité). Si le dépôt collecteur échoue, tous les 6000 lamports sont brûlés. Dans un cas avec un frais de base impair de 5001 lamports et un frais de priorité de 1000 lamports, le calcul de la brûlure utilise la division plancher : floor(5001 * 50 / 100) égale 2500 lamports brûlés. Le collecteur reçoit 3501 lamports. Ces entrées sont purement illustratives et n'établissent pas les frais réels sur le mainnet ni ne fournissent une base pour une comparaison de coût avec d'autres réseaux comme Ethereum.

Paramètres d'inflation par défaut

Le package solana-inflation version 3.2.0 définit une formule par défaut pour le taux d'inflation annuel total : max(0.015, 0.08*(1-0.15)^year). Ce modèle supporte des configurations d'inflation désactivée, fixe et complète. Il est crucial de distinguer ces valeurs par défaut du code de la configuration observée sur le mainnet. La formule représente un calendrier théorique, pas une émission réalisée, des dates calendaires ou des changements nets de l'offre. De plus, l'inflation totale diffère du rendement d'un détenteur de staking. Une année modèle dans ce contexte n'a pas d'origine calendaire établie dans cette revue.

Illustration du taux d'inflation

L'application de la formule par défaut donne des taux spécifiques pour des années modèles hypothétiques. À l'année modèle 0, le taux est de 8%. À l'année modèle 1, il baisse à 6.8%. À l'année modèle 2, il est de 5.78%. La réduction est de 15% du taux précédent chaque année jusqu'à atteindre le plancher de 1.5%. Le pourcentage s'applique au taux précédent chaque année modèle. Ces chiffres illustrent le comportement mathématique des paramètres par défaut. Ils ne prédisent pas l'inflation future, l'offre en circulation ou les rendements pour les stakers sur le réseau en direct.

CLI d'activation de fonctionnalités et vérifications de préparation

Le CLI de fonctionnalité Agave v4.3.0 vérifie l'identité de genèse d'un cluster et interroge l'état du compte avant de construire une transaction signée d'activation de fonctionnalité. Sa vérification de préparation ordinaire compare les ensembles de fonctionnalités logicielles rapportés contre des statistiques montrant qu'au moins 95% du stake et 95% des nœuds RPC (serveurs d'interface de requête) rapportent le même ensemble de fonctionnalités que le CLI. Le CLI expose un chemin de force explicite qui contourne cette vérification locale de bon sens. Cependant, cette dérogation ne prouve pas que des utilisateurs arbitraires peuvent activer des fonctionnalités ou contraindre chaque validateur à adopter une règle. L'autorisation de transaction, les comptes de fonctionnalité, les signatures et le comportement du client déployé nécessitent une vérification séparée. Cette observation identifie un mécanisme de contrôle des changements mais ne confirme pas qui détient les clés d'activation ou quelles fonctionnalités sont actuellement actives.

Inconnues et limitations

Plusieurs éléments critiques restent non vérifiés dans cette revue pilote. La concentration actuelle de la propriété, les pouvoirs de contrôle privilégiés, l'utilisation mesurée indépendamment, l'historique de remédiation des incidents et la liquidité localement exécutable sont inconnus. La présence d'une dérogation de force dans le CLI n'équivaut pas à un pouvoir administratif illimité, car les règles de consensus et l'adoption par les validateurs sont des couches distinctes. De même, les divisions de frais documentées ne reflètent pas les résultats économiques en direct. Aucune transaction réseau ou activation n'a été effectuée par Cryptosnif lors de cette analyse.

Conséquences et verdict

La couverture des preuves est insuffisante pour un score global. Un mécanisme documenté seul ne peut établir la résilience actuelle, la sécurité ou les rendements attendus. La distinction entre les valeurs par défaut du code et le déploiement en direct est significative ; inférer l'offre nette ou le rendement de staking à partir de formules est invalide. Pour les comparaisons, différents intrants de frais ne peuvent établir un gagnant en termes de coût sans données normalisées et mesurées. Le verdict reste en attente de vérification indépendante. Des observations réseau reproductibles, des cartes de contrôle actuelles, des règles d'approvisionnement documentées et des registres d'incidents indépendants permettraient d'évaluer les vérifications en attente.

01 / Faits établis

Faits établis

Le document primaire ci-dessous est accessible et décrit la promesse du projet. Les contrôles indépendants de fonctionnement restent à réaliser.

Affirmation du projet

Extrait du rapport en anglais

The Solana documentation presents a network for applications and transactions. Documentation describes the proposed mechanisms; current operation requires independent observation. [1]

02 / Inconnues

Ce qui reste inconnu

La concentration des détenteurs, les pouvoirs de contrôle, l’usage actuel, les incidents et la liquidité locale restent à vérifier.

Preuves insuffisantes

Les preuves disponibles sont insuffisantes pour attribuer une note globale. La description du mécanisme demande une vérification de son fonctionnement actuel.

03 / Crash test

Chaque contrôle demande ses preuves.

Méthode candidate 0.1.0. Les résultats inconnus sont exclus du calcul de la note.
ContrôlePoidsRésultat
Identité exacte de l’actifEssentiel3%Vérification en attente
Usage observable15%Vérification en attente
Rôle économique du token10%Vérification en attente
Mécanismes d’offreEssentiel10%Vérification en attente
Concentration des détenteurs8%Vérification en attente
Captation de valeur7%Vérification en attente
Pouvoirs de contrôleEssentiel10%Vérification en attente
Vérification de la sécurité7%Vérification en attente
Processus de décision8%Vérification en attente
Responsabilités7%Vérification en attente
Historique des incidents6%Vérification en attente
Continuité du fonctionnement4%Vérification en attente
Conditions d’exécution5%Vérification en attente

Contrôles propres à la famille: Indépendance des validateurs, mises à jour, exécution et frais.

04 / Preuves

Consulter les preuves

Les sources de cette analyse

Les titres et résumés des sources sont en anglais.

Agave v4.3.0: pinned feature activation CLI

The Agave v4.3.0 feature CLI checks a cluster's genesis identity and queries account state before constructing a signed feature-activation transaction. Its ordinary readiness check compares reported software feature sets with 95% of stake and 95% of RPC nodes in the collected version statistics. The CLI exposes an explicit force path that bypasses this local sanity check. That override does not prove that arbitrary users can activate arbitrary features or compel every validator to adopt a rule: transaction authorization, feature accounts, signatures and deployed client behavior require separate checks. This code observation identifies a change-control mechanism. The present holders of activation keys, actual activated features, network adoption and independence of operators remain unverified. No network transaction or activation was performed by Cryptosnif.

Collecte . Périmètre : documentation. Le fonctionnement actuel du réseau reste à vérifier.

Consulter la source primaire ↗

Empreinte SHA-256: c86ede94111a431391d1fa78f6d485ebe2516c743c391ab34d22e2f9141e971d

Solana documentation: transaction fees

Solana documentation describes fees paid in SOL with a base fee and an optional prioritization fee. It states that the base fee is divided 50% burned and 50% to the validator, while the prioritization fee goes entirely to the validator. These documented rules do not measure live costs, utilization or net issuance.

Collecte . Périmètre : documentation. Le fonctionnement actuel du réseau reste à vérifier.

Consulter la source primaire ↗

Empreinte SHA-256: 74d412e5f13f34905db9f2e2a89b46e59ce6bddba5c2eec826a863e29571f309

Solana documentation: transactions

Solana documentation describes transactions containing instructions, the individual operations that programs execute. Execution is atomic: all instructions succeed or their state changes revert. This technical property does not prove independent audits of applications, absence of bugs, or present network reliability.

Collecte . Périmètre : documentation. Le fonctionnement actuel du réseau reste à vérifier.

Consulter la source primaire ↗

Empreinte SHA-256: 7a548186f39a719651621e614984d7603ab6305108181ef92eab7d63198d7649

Solana SDK 3.2.0: pinned inflation model

The solana-inflation 3.2.0 source, matched to its package commit, defines a default total annual rate of max(0.015, 0.08*(1-0.15)^year). It also supports disabled, fixed and full inflation configurations. The default total model differs from the separate validator/foundation allocation functions. These are code parameters, not observed mainnet configuration, realized issuance, calendar dates, net supply change or a staking holder's yield. A model year has no calendar origin established in this review. Original Cryptosnif calculation (platform-mechanisms-1) gives default total annual inflation rates 8%, 6.8% and 5.78% at model years 0, 1 and 2, with a 1.5% floor. The reduction is 15% of the rate each model year until the floor, not a reduction of 15 percentage points. This illustrates defaults only, not today's mainnet inflation, a future dated forecast, circulating supply or staking returns.

Collecte . Périmètre : documentation. Le fonctionnement actuel du réseau reste à vérifier.

Consulter la source primaire ↗

Empreinte SHA-256: 0ee7728aa0e22ae15f189f23dd69b478ee697b0e4eab90e59e4d06a380d4f06f

Agave v4.3.0: pinned transaction fee distribution

Agave v4.3.0 computes the ordinary base-fee burn with integer arithmetic at 50%, adds the unburned base portion and the entire priority fee to a collector deposit, then attempts that deposit. A failed deposit is also burned. Depending on a feature flag, the recipient is the leader identity or a permitted collector associated with the leader's vote account. This reviewed client version does not establish current feature activation, deployed versions, live transaction cost, total issuance or beneficial control. Illustrative inputs stay within non-overflowing fee amounts. Original Cryptosnif arithmetic (platform-mechanisms-1) assumes a hypothetical base fee 5000 lamports and priority fee 1000 lamports with accepted deposit: total 6000, burned 2500, collector 3500 lamports. With a failed collector deposit, all 6000 lamports are burned. With odd base fee 5001 and priority 1000 the accepted-deposit burn is floor(5001*50/100)=2500 and collector 3501. These hypothetical inputs do not establish fees on the live network or a comparison of cost against Ethereum.

Collecte . Périmètre : documentation. Le fonctionnement actuel du réseau reste à vérifier.

Consulter la source primaire ↗

Empreinte SHA-256: 78c933830667e2c6c155820ecf2b799a77cf4227e1634d37ef04737e13c2811b

[1] Solana documentation primaireAffirmation du projet

Extrait du rapport en anglais

The project publishes the mechanism described above.

Observation 2026-10-03 · Valide jusqu’au 2026-11-02

Consulter la source primaire ↗

Seuls les résumés originaux sont distribués. Les données de marché brutes sous licence restent privées.

05 / Prochaine révision

Ce qui modifierait ce verdict

Des observations reproductibles du réseau, une cartographie des pouvoirs et une vérification des règles d’offre permettraient de compléter les épreuves.

Aucune correction enregistrée pour pilot-1. Les révisions conservent leurs sources et les verdicts précédents.

Poursuivre la recherche