Comment NexArt vérifie l'exécution de l'IA

NexArt crée des enregistrements vérifiables de l'exécution de l'IA qui peuvent être contrôlés de façon indépendante.

What NexArt is

NexArt is verifiable execution infrastructure for AI systems. It produces tamper-evident records of what your AI actually ran.
A lightweight integration captures inputs, outputs, and execution context at runtime and seals them into a single record locally.
An independent attestation node certifies each record so that no single party controls the proof.
Certification adds a third-party signature. The record can then be verified by anyone without trusting the operator.
verify.nexart.io is a public verification surface. Anyone can check a record there with no account, no login, and no dependency on NexArt.
A Project Bundle groups multiple execution steps into one verifiable artifact, covering entire workflows or agent sessions.
NexArt proves what executed. It does not prove that the output is correct or that the model behaved well.

Cinq étapes de l'exécution à la preuve

L'exécution a lieu

Votre système d'IA effectue un appel de modèle, un appel d'outil ou une décision automatisée. NexArt ne modifie pas le fonctionnement de votre système. Il s'attache à la frontière où l'exécution se produit.

Un Certified Execution Record est créé

Les entrées, sorties et le contexte d'exécution sont capturés et scellés dans un enregistrement unique à intégrité vérifiable. Cela se produit localement, au sein de votre système. L'enregistrement est autonome et portable.

Optionnel : le nœud d'attestation NexArt certifie l'enregistrement

Le nœud d'attestation NexArt signe l'enregistrement avec un reçu Ed25519 portant sur le certificateHash. Lorsque c'est disponible, un horodatage externe apporte une preuve temporelle supplémentaire par un tiers. Le nœud ne voit pas le contenu brut en mode confidentiel. La certification est distincte du scellement local.

La vérification contrôle l'enregistrement de façon indépendante

N'importe qui peut vérifier l'enregistrement sur verify.nexart.io. Aucun compte, aucune connexion, aucune clé API. La vérification recalcule le scellement et contrôle la signature. Cela fonctionne même si NexArt est hors ligne.

Les Project Bundles regroupent plusieurs exécutions

Lorsqu'un flux de travail comporte plusieurs étapes, les enregistrements individuels sont regroupés en un seul Project Bundle. Un seul artefact couvre l'ensemble de la session. Les vérificateurs contrôlent tout le flux de travail en une seule fois.

Votre systèmeexécute une opération d'IA

↓

SDK / CLIcapture et scelle l'enregistrement localement

↓optionnel

Nœudsigne et certifie l'enregistrement de façon indépendante

↓

Vérificateurcontrôle l'enregistrement sur verify.nexart.io

Ce qu'il faut savoir avant de commencer

Le SDK n'est pas le Nœud

Le SDK s'exécute localement dans votre système et crée les enregistrements. Le Nœud est un service indépendant qui les certifie. Ce sont des composants distincts avec des frontières de confiance distinctes.

Le scellement local n'est pas la certification

Sceller un enregistrement localement prouve qu'il n'a pas été altéré. La certification ajoute une attestation indépendante d'un tiers. Les deux sont utiles. La certification est optionnelle.

La vérification n'est pas un tableau de bord

verify.nexart.io est une surface de vérification publique, pas un outil de supervision. Elle contrôle si un enregistrement donné est intact. Elle n'affiche ni analytique, ni journaux, ni état du système.

NexArt prouve l'intégrité de l'exécution, pas son exactitude

Un enregistrement vérifié prouve que des entrées spécifiques ont produit des sorties spécifiques à un moment donné. Il ne prouve pas que la sortie était correcte, équitable ou appropriée.

Ce que la vérification prouve, et ce qu'elle ne prouve pas

La vérification confirme l'intégrité des champs liés au certificat et, le cas échéant, la validité de la signature du nœud d'attestation et de la preuve d'horodatage externe.

La vérification n'établit pas que la sortie de l'IA était correcte, équitable, licite ou complète. L'exhaustivité et la véracité des données d'exécution enregistrées dépendent de l'intégration et de la frontière de capture. N'importe qui peut vérifier un enregistrement public ou exporté sans compte ; créer un enregistrement attesté par le nœud nécessite des identifiants NexArt.

Prêt à commencer ?

L'adoption est progressive. Commencez par une seule exécution certifiée et étendez à partir de là.

Commencer à certifier des exécutions