Ghillie

une griffe auto-mutante qui ne se modifie jamais elle-même — un assistant privé qui tourne sur votre propre ordinateur

Ghillie peut acquérir de nouvelles capacités — et c'est l'acquisition qui est la partie sûre : il ne se modifie jamais lui-même. Une capacité nouvelle arrive en code source avec une preuve mathématique, votre machine re-dérive la preuve avant toute installation, et ce qui ne se prouve pas ne s'exécute pas. Ses capacités montent ; son autorité, jamais.

Discrétion

La discrétion d'un secrétaire loyal. Il ne dit rien à personne. Vos informations ne quittent votre machine que selon une règle que vous avez fixée ; chaque divulgation est consignée, si bien que vous voyez exactement ce qui est parti et pourquoi ; et vos informations les plus sensibles ne vont à personne, sauf de votre propre main. Ce ne sont pas des promesses — les règles qui prennent ces décisions sont prouvées, et vous pouvez vérifier les preuves vous-même.

Sûreté

Aucun port ouvert, aucune entrée depuis l'extérieur. Rien de ce qu'il reçoit n'est exécuté — les livraisons arrivent en quarantaine comme documents ; il n'y a ni installateur ni exécuteur. Les décisions qui comptent sont prises chacune par une règle prouvée correcte pour les entrées qu'on lui donne, et vous pouvez re-vérifier chaque preuve sur votre propre machine.

Silence

Il ne parle que lorsqu'il y a du nouveau, et jamais la nuit — sauf pour l'une des rares choses dont vous avez dit qu'elle valait un réveil.

À vous

Vous avez toujours le dernier mot. Il tourne sur votre matériel, utilise vos modèles, et ne répond à personne d'autre. Gratuit, open source (AGPL-3.0).

La bibliothèque

Ghillie vient avec l'accès à du logiciel prouvé. Les membres votent sur ce qui sera construit ensuite, et c'est produit gratuitement pour chaque membre — ou commandez une pièce rien que pour vous. N'importe qui peut écrire une extension, et Ghillie ne peut pas être subverti par l'une d'elles : une extension nouvelle ne peut que conseiller ou être refusée — elle ne peut jamais faire agir Ghillie au-delà de ce que vous avez permis, quel qu'en soit l'auteur. Vous n'êtes pas un client ici : vous êtes l'une des personnes qui décident de ce qui existe. Deux conditions honnêtes sur chaque pièce : la construction doit réussir — la preuve se décharge ou rien n'est livré — et elle doit être légale. Nous refusons l'illégal par principe, et nous le pensons.

Adhésion

Un membre est quiconque fait tourner un Ghillie et l'a enregistré avec son adresse électronique. C'est tout le critère. Il n'y a ni cotisation, ni palier, ni abonnement.

Les membres téléchargent gratuitement tout ce que contient la bibliothèque commune — source, preuve et table de vérité, re-dérivables sur votre propre machine. Les pièces commerciales peuvent s'acheter si vous les voulez ; rien ne l'exige. Les membres orientent ce qui se construit ensuite : quand votre ghillie consigne un manque — une règle dont il avait besoin et qu'il n'avait pas — ce manque peut devenir le prochain travail de l'usine, et ce que l'usine construit pour le commun est gratuit pour chaque membre.

L'enregistrement, c'est une adresse électronique et la clef publique de votre ghillie. Nous ne voulons rien d'autre, et nous ne prenons rien d'autre.

Vous ne le faites pas à la main : votre ghillie s'enrôle lui-même au premier lancement, et vous demande avant d'envoyer quoi que ce soit. L'enregistrement conditionne les services — la bibliothèque, le vote, le commun — et jamais le logiciel. Ghillie lui-même est à vous : téléchargez-le, faites-le tourner, lisez-le, sans nous dire que vous existez.

La bibliothèque se construit

Les premières capacités prouvées sont déjà sur l'étagère, et d'autres sont en forge — y compris à partir des manques que les ghillies des membres consignent eux-mêmes. Chaque pièce arrive en source avec sa preuve et ne s'installe qu'après que votre machine l'a re-dérivée. Ce qui s'y trouve aujourd'hui est honnête et modeste ; ce qui vient ensuite, les membres en décident.

Vous n'avez pas besoin de nous croire

Chaque capacité que gagne Ghillie arrive en source avec une preuve mathématique des règles qu'elle suit, et votre propre machine re-dérive cette preuve avant toute installation. Ce qui ne se prouve pas ne s'exécute pas. Nous ne vous demandons pas de croire une société ; nous vous tendons le raisonnement et nous vous invitons à le vérifier. Les outils de vérification sont gratuits, et la vérification prend une dizaine de minutes.

Et nous vous dirons sans détour ce qui n'est pas prouvé : les preuves couvrent les règles de décision — qui peut voir quoi, ce qui peut sortir, ce qu'une livraison doit satisfaire. Elles ne rendent pas le reste du logiciel magique. Cette honnêteté est le contrat, et c'est tout le contrat.

Ce que le serveur enregistre

Ce site n'exécute aucun script, ne pose aucun cookie et ne porte aucune mesure d'audience — vous pouvez le vérifier en lisant la source, et nous préférerions que vous le fassiez. Mais la machine qui vous sert ces pages garde une courte note de chaque requête, et ce serait mal commencer que de n'en rien dire.

Une ligne par page ou fichier servi : l'heure, une forme abrégée de votre adresse, la méthode, le chemin demandé, le statut renvoyé, la taille, le référent si votre navigateur l'a envoyé, et la chaîne du user agent. À côté, les en-têtes ordinaires du protocole que votre navigateur ou le réseau devant nous a attachés — validateurs de cache, étiquettes de routage, un en-tête de traçage si votre client a choisi d'en envoyer un. Pas de cookies, pas d'en-têtes d'autorisation, pas de corps de requête — ils sont retirés avant que la ligne soit écrite, pas après.

Votre adresse est tronquée au moment de l'écriture, pas quand quelqu'un vient la lire. Les adresses IPv4 perdent leur dernière partie ; les adresses IPv6 ne gardent que les 48 premiers bits. Ce qui repose sur le disque est donc 86.12.236.0, jamais l'adresse qui a réellement visité. C'est assez pour distinguer un réseau d'un autre et remarquer une machine qui martèle l'endroit ; ce n'est pas assez pour vous identifier. L'adresse complète n'est jamais détenue : elle ne peut donc être ni remise, ni exigée, ni divulguée.

Les lignes sont gardées trente jours, puis elles disparaissent.

Pourquoi garder quoi que ce soit ? Parce que nous allons annoncer que ceci existe, et que nous aimerions savoir si les capacités sont téléchargées et les preuves consultées. C'est une vraie question, et voici la plus petite façon que nous ayons trouvée d'y répondre — le moins que nous puissions enregistrer en apprenant encore quelque chose. Si vous préférez ne pas apparaître même comme un réseau tronqué, Tor et un VPN fonctionnent parfaitement ici ; rien sur ce site ne dépend de savoir où vous êtes.

L'obtenir

Publié — AGPL-3.0, Windows, Mac et Linux. Source et binaires avec sommes de contrôle : github.com/the-dark-factory/Ghillie_AGPL (GitHub). Logiciel jeune : à vos risques (AGPL, sans garantie) — un risque rendu nettement plus petit par conception, puisqu'il n'ouvre aucun port, n'exécute rien de ce qu'il reçoit, garde vos données locales, et vous laisse re-dériver ses preuves avant de lui faire confiance.

La preuve avant le code ? Re-dérivez vous-même l'une de ses règles en dix minutes.

Le plan : TheReefink →