Guide de vérification

Rejouer les preuves, examiner les limites.

Cette page décrit les artefacts actuellement publiés et les commandes qui permettent de les examiner. Elle ne constitue ni une certification de sécurité, ni une promesse de fonctionnement en production.

Les résultats sont vérifiables sur les artefacts publiés ; ils ne remplacent pas une reproduction indépendante ni un audit externe.

01 / Implémentations de référence

Exécuter les suites publiées.

Les vérificateurs TypeScript et Python sont publiés avec leurs fixtures. Les tests confirment le comportement défini par ces artefacts ; ils ne démontrent pas, à eux seuls, une intégration externe.

Installer et lancer les tests

git clone https://github.com/SwissTokint/swisstokint-open-risk-infrastructure.git
cd swisstokint-open-risk-infrastructure
npm install
npm test

02 / Bundle déterministe

Construire puis contrôler un CAR de preuve.

Le prototype produit localement un bundle déterministe avant toute éventuelle persistance. Aucun stockage Filecoin actif n’est revendiqué par cette preuve.

Construire et vérifier

node scripts/build-filecoin-bundle.mjs schemas/examples/proof-batch-input-v0.1.json proof-batch.car
node scripts/verify-filecoin-bundle.mjs proof-batch.car

Root CID documenté

bafkreid35libc4fqwf7wjssalgjd7vfdff6cu7akwek4enqmx4u3fxl53e

À comparer avec l’artefact publié et les scripts de vérification du dépôt.

Consulter la proposition Filecoin ouverte

03 / Registre de testnet

Inspecter l’artefact Stellar.

Le contrat du registre a été déployé sur Stellar Testnet. Le testnet permet l’inspection de l’artefact, pas une revendication de préparation à la production.

Contrat Stellar Testnet

CA6V2EUEGR4HFTRK3K5XOOGENH3Q2ZSHTBMHUG4LB3YOKDOLOETK2C5W

Empreinte WASM (SHA-256)

c93cd79be735c208dc997cc942fd7219fdc16fb0445e84c30d066d431e2acb8d

Ouvrir l’artefact dans Stellar Lab

Périmètre démontré

Ce que la vérification permet — et ne permet pas — de conclure.

Peut être contrôlé

La cohérence des fixtures avec les implémentations de référence.
La construction et la vérification locales du bundle CAR publié.
La présence du contrat et de son empreinte sur Stellar Testnet.
La version et le périmètre des artefacts documentés dans le dépôt.

Reste à démontrer

Une reproduction par un tiers indépendant.
Un audit de sécurité externe.
Une intégration externe et des preuves d’interopérabilité supplémentaires.
Toute préparation à la production ou déploiement mainnet.

Étape suivante

Consulter la documentation et signaler les écarts vérifiables.

Le dépôt contient le protocole, les schémas, les scripts et les limites connues. Toute observation doit pointer vers un artefact reproductible.

Lire le README Lire la note technique