Le projet Redox OS a présenté le gestionnaire de paquets pkgar, écrit en Rust

Développeurs du système d'exploitation Redox, écrit en utilisant le langage Rust et le concept de micro-noyau, a été présentée un nouveau gestionnaire de paquets pkgar. Dans le cadre du projet, un nouveau format de paquets, une bibliothèque de fonctions de gestion des paquets et un outil en ligne de commande pour créer et extraire une collection de fichiers vérifiée cryptographiquement sont développés. Le code de pkgar est écrit en Rust et est distribué sous licence MIT.

Le format pkgar ne revendique pas d'universalité et est optimisé pour les spécificités du système d'exploitation Redox OS. Le gestionnaire de paquets prend en charge la vérification de la source par signature numérique et le contrôle d'intégrité. Les sommes de contrôle sont calculées à l'aide de la fonction de hachage blake3. La fonctionnalité liée à la vérification de pkgar peut être accessible sans la sauvegarde réelle de l'archive du paquet, en manipulant uniquement la partie en-tête. En particulier, le paquet se compose d'un fichier en-tête (.pkgar_head) et d'un fichier de données (.pkgar_data). Un paquet complet correctement signé (.pkgar) peut être obtenu en joignant simplement le fichier d'en-tête avec le fichier de données (« cat example.pkgar_head example.pkgar_data > example.pkgar »).

Le fichier d'en-tête contient des sommes de contrôle distinctes pour l'en-tête et les structures de paramètres du fichier de données, ainsi qu'une signature numérique pour vérifier le paquet. Le fichier de données inclut une énumération séquentielle de tous les fichiers et répertoires fournis dans le paquet. Avant chaque élément de données, une structure de métadonnées est fournie, incluant une somme de contrôle pour les données même, la taille, les droits d'accès, le chemin relatif du fichier à installer et le décalage des paramètres du prochain élément de données. Si, lors d'une mise à jour, des fichiers individuels n'ont pas changé et que la somme de contrôle correspond, ils sont ignorés et ne sont pas téléchargés.

La validité de la source peut être vérifiée en obtenant uniquement le fichier d'en-tête, tandis que la validité du fichier de données sélectionné peut être vérifiée en téléchargeant uniquement les structures de paramètres de ce fichier et en s'assurant de leur conformité avec la somme de contrôle validée dans le fichier d'en-tête. Les données elles-mêmes peuvent être vérifiées après leur téléchargement, en utilisant la somme de contrôle de la structure de paramètres qui précède les données.

Les paquets sont initialement conçus pour permettre des compilations répétititives, ce qui signifie que la création d'un paquet pour un répertoire spécifique aboutit toujours à la formation d'un paquet identique. Après installation, seules les métadonnées sont conservées, suffisantes pour reconstruire le paquet à partir des données installées (la composition du paquet, les sommes de contrôle, les chemins et les droits d'accès sont présentes dans les métadonnées).

Les principaux objectifs de pkgar :

• Atomicité - les mises à jour sont appliquées autant que possible automatiquement.
• Économie de bande passante - les données ne sont transmises sur le réseau que lors du changement de hachage (seuls les fichiers modifiés sont téléchargés lors de la mise à jour).
• Haute performance, utilisant des algorithmes cryptographiques rapides (blake3 prend en charge le traitement parallèle des données lors du calcul du hachage). Si les données du référentiel n'ont pas été mises en cache auparavant, le hachage des données à télécharger peut être calculé pendant le téléchargement.
• Minimalisme - contrairement à d'autres formats, pkgar n'inclut que les métadonnées nécessaires à l'extraction du paquet.
• Indépendance par rapport au répertoire d'installation - le paquet peut être installé dans n'importe quel répertoire, par n'importe quel utilisateur (l'utilisateur doit avoir des droits d'écriture dans le répertoire choisi).
• Sécurité - les paquets sont toujours vérifiés cryptographiquement, et la vérification est effectuée avant d'effectuer des opérations réelles sur le paquet (d'abord, l'en-tête est téléchargé et si la signature numérique est correcte, les données sont téléchargées dans un répertoire temporaire, qui sont déplacées dans le répertoire cible après vérification).

Source : opennet.ru