Sobirana per construcció

La sobirania no és un adhesiu a la capsa. És un conjunt de decisions d'enginyeria que pots llegir, auditar i verificar — totes i cadascuna a la vista.

El nom és la missió

Ἀρχεῖον era la casa dels arconts d'Atenes, on la ciutat guardava els seus registres de referència — l'arrel directa d'archivum i de tot arxiu posterior. Una base de dades és una institució cívica en miniatura: qui custòdia els registres custòdia la veritat. Creiem que aquesta institució ha de viure sota llei europea, en codi que qualsevol pugui llegir.

Feta i governada a Europa

Arkeion està dissenyada, escrita i governada a Europa per Syrakon — un grup de desenvolupadors que construeix eines per a desenvolupadors. Sense matriu estrangera, sense caixes negres subjectes a control d'exportacions, sense sorpreses de jurisdicció. El teu regulador pot llegir el mateix codi font que tu.

Una cadena de subministrament que cap a la mà

El motor té exactament quatre dependències de runtime — totes en Rust pur llevat de les primitives amb validació FIPS. El parser, el B-tree, les codificacions, els varints i la cau estan escrits a mà, dins del repo:

sha2
SHA-256 (FIPS 180-4) per a les etiquetes d'integritat i la cadena de hashes. RustCrypto, Rust pur.
getrandom
Entropia del SO per a la identitat del fitxer i la sal de derivació de claus en crear el fitxer.
aes-gcm
AES-256-GCM (FIPS 197 / SP 800-38D) per al xifratge en repòs, per pàgina.
zeroize
Esborrat segur del material de clau en brut a memòria.

Sense restriccions heretades

Arkeion no és un fork de SQLite, i no hereta res del seu format de fitxer. Un disseny clean-room és el que fa possibles el versionat, l'auditoria encadenada per hash i el viatge en el temps a la capa d'emmagatzematge, en comptes de cargolats a sobre. I el compilador fa de porter: #![forbid(unsafe_code)] — ni una línia d'unsafe dins del motor.

Oberta fins a l'última línia

El motor té doble llicència MIT o Apache-2.0. Audita'l, incrusta'l, distribueix-lo. La sobirania que no pots llegir només és màrqueting — llegeix la nostra. El servidor gestionat és l'únic component comercial de Syrakon; el motor que hi ha a sota és teu per executar-lo i auditar-lo sense ell.