// HALVETH 0.5 · FORSCHUNG · NICHTS DAVON IST EIN PRODUKT
Ein Beobachter sieht,
dass etwas geschieht.
Aber was, wenn ein System gar nicht beobachtet werden müsste? Wenn es erst gar nicht schreiben dürfte, bevor jemand anderes zugestimmt hat?
Ich habe lange gedacht, Schutz bedeute vor allem, genau hinzusehen. Heute glaube ich, dass das nicht reicht. Wer nur zusieht, ist immer einen Schritt hinterher. Also erforsche ich die Umkehrung: Bedingungen, unter denen Täuschung nicht mehr funktioniert. Seit Juli steht dafür ein erstes, sehr enges Bauteil auf echter Hardware.
Der Satz, aus dem alles hier folgt, ist älter und härter: ausgeführt heißt nicht gültig.
// Warum das hier existiert
Wir vertrauen Systemen, die wir nicht prüfen können.
Und wir haben uns daran gewöhnt, dass Sicherheit ein Versprechen ist und kein Beweis.
01
Das Versprechen
Fast jedes Sicherheitsprodukt sagt dir, dass du geschützt bist. Kaum eines zeigt dir, woran du das prüfen könntest. Du sollst glauben. Genau an dieser Stelle wird mir unwohl.
02
Der Bericht
Wenn ein Programm meldet, es sei fertig, glauben wir dem Programm. Es berichtet über sich selbst. Ein System, das seinen eigenen Erfolg beurkundet, ist kein Zeuge, sondern eine Partei.
03
Die Daten
Vieles, was aus unserem Leben stammt, gehört am Ende anderen. Nicht durch Diebstahl, sondern durch Bedienung. Ich halte das für eine Bauentscheidung und nicht für ein Naturgesetz.
Ich behaupte nicht, das gelöst zu haben. Ich behaupte, dass die Frage falsch gestellt ist, solange man nur nach besseren Wächtern sucht.
// Die Erkenntnis, die alles verschoben hat
Vom Zusehen zum Zwingen.
Systeme sollten sich nicht gegenseitig überwachen. Sie sollten sich gegenseitig zur Wahrheit zwingen.
Am Anfang war HALVETH ein Beobachter. Ein System schaut auf ein anderes, vergleicht Verhalten, findet Abweichungen und schreibt Belege. Das funktioniert, und es hat eine eingebaute Schwäche: der Beobachter kommt immer nach der Wirkung. Er sieht die Spur, nicht den Schritt.
Der heutige Stand geht weiter. Nicht mehr nur fragen, was ein System tut. Sondern fragen, ob es überhaupt möglich wäre, unbemerkt abzuweichen. Nicht durch besseres Hinsehen, sondern durch die Bauweise selbst.
Lange war das nur eine Richtung. Inzwischen gibt es ein erstes Bauteil dazu, und es ist auf zwei getrennten Maschinen wirklich gelaufen. Ein kleiner, eigener Computer musste jedem einzelnen Schreibvorgang zustimmen, sonst geschah nichts.
Und im Juli kam der Satz dazu, der mir davon der wichtigste ist: keine Aussage über einen Zustand, ohne vorher zu erklären, wie weit man hinsieht. Und kein in Ordnung über diesen Blick hinaus. Das klingt klein und ändert alles. Ein System darf danach nicht mehr sagen, es sei alles geprüft, wenn ein Sensor fehlt, veraltet ist oder still aus dem Blick genommen wurde. Es muss dann unbekannt sagen. Aus einem blinden Fleck wird ein gemeldeter blinder Fleck.
Das ist eine Regel und noch kein Schutz. Sie ist beschrieben und nicht gebaut, und sie hat mich zuerst selbst getroffen: die Grenzenseite nennt eine Beweislücke, die ich dabei in meiner eigenen Arbeit gefunden habe.
// Die Projektwelten
Sieben Fragen, an denen ich baue.
Jede beginnt bei einer menschlichen Situation und nicht bei einer Technologie. Der Stand steht ehrlich dabei.
Post
Seal
Unsere E-Mail ist älter als viele Menschen, die sie täglich benutzen. Was wäre, wenn wir ihr endlich das Vertrauen geben könnten, das wir ihr längst entgegenbringen?
Bauplan, kein Programm
Erinnern
Atlas
Wissen verschwindet nicht, weil es gelöscht wurde. Es verschwindet, weil niemand mehr weiß, wo es liegt.
Kern gebaut, Suche fehlt
Der Wächter
Defender
Ein Virenscanner fragt, ob er etwas kennt. Ich frage, ob eine Veränderung überhaupt wirklich werden durfte. Und ob es einen Weg zurück gibt.
Bauverfassung, kein Schutzcode
Entfernung
Remote
Von überall arbeiten klingt nach Freiheit. Meistens heißt es, dass Bildschirm und Zugänge durch Systeme laufen, die dir nicht gehören.
Identität geprüft, keine Verbindung
Sprechen
Root Bridge
Mit einem Computer zu sprechen ist leicht. Ihm zu vertrauen, wenn er handelt, ist schwer. Zwischen Satz und Tat gehört etwas, das erst fragt.
Bauplan
Zusammen gültig
Big Bang
Was wäre, wenn viele unabhängige Systeme gemeinsam gültig sein könnten, ohne dass eines blind über alle anderen herrscht?
Forschung, lokal gezeigt
Der Beweis
Finality
Kann man eine ausgeführte Änderung von ihrer endgültigen Gültigkeit trennen, bis ein echter Beleg vorliegt?
Laborstand, dokumentiert
// Das Laboratorium
Der einzige Ort, an dem ein Fehler willkommen ist.
Nicht weil er gut ist. Weil er dort sichtbar wird, bevor er Menschen trifft.
Was dort passiert
Ideen werden nicht beschrieben, sondern absichtlich unter Bedingungen gebracht, unter denen sie scheitern dürfen. Ein abgeschotteter Raum ohne Verbindung nach außen, in dem ich meine eigenen Annahmen angreife. Nicht um zu beweisen, dass ich recht habe, sondern um früh zu merken, wenn ich es nicht habe.
Was dort zählt
Ein Versuch, der reproduzierbar ist. Ein Zustand, der sich wiederherstellen lässt. Eine Beobachtung, die nicht von dem stammt, was sie beobachtet. Und ein negatives Ergebnis, das genauso notiert wird wie ein positives, weil es sonst nächste Woche wieder auftaucht.
Wie das Labor innen aussieht, steht hier bewusst nicht. Was es findet, schon.
// Ein Teil davon steht still
Manchmal ist Stillstand kein Rückschritt.
Ein Teil dieser Forschung wurde bewusst eingefroren.
Nicht weil er gescheitert ist. Sondern weil manche Systeme erst weitergebaut werden dürfen, wenn ihr bisheriger Zustand wirklich verstanden ist.
Es war eine unbequeme Entscheidung. Weiterbauen fühlt sich immer nach Fortschritt an, und Anhalten fühlt sich nach Versagen an. Aber wenn ich einen Zustand verändere, bevor ich ihn belegen kann, dann habe ich hinterher nur noch meine Erinnerung. Und Erinnerung ist kein Beweis.
Deshalb steht dieser Teil, festgehalten, unverändert, nachprüfbar. Es ist der Moment, in dem aus einer Behauptung ein Ausgangspunkt wird.
// Der Stand, in zwei Spalten
Was schon trägt und was nicht.
Beides gehört nebeneinander. Getrennt liest das eine wie Werbung und das andere wie eine Entschuldigung.
Schon beweisbar
Das Prinzip ist öffentlich beschrieben, mit seinen Ergebnissen und seinen Grenzen. HALVETH 0.5 ist auf einem zweiten, physisch getrennten Computer gelaufen: zwei Schritte vollständig durch, acht gebaute Gegenproben alle abgewiesen, und das Buch des Geräts danach nur mit dem öffentlichen Schlüssel nachgeprüft. Die Auditberichte stehen offen, auch dort, wo sie unangenehm sind.
Noch nicht bewiesen
Kein unabhängiges Audit. Niemand außer mir hat das geprüft. Wie sich das draußen verhält, weiß ich nicht. Wer volle Rechte auf dem Rechner hat, muss diesen Weg gar nicht benutzen. Die Schlüssel des kleinen Geräts liegen als Dateien auf einer Speicherkarte. Drei Dinge fehlen vor jedem Betriebsanspruch: ein Zähler gegen Zurückspulen, ein absturzsicherer Verbrauch der Erlaubnis und Tests unter Last und Störung. Und ein erfolgreicher Test beweist nur den getesteten Fall.
Eine Grenze ist kein Versagen. Eine Grenze ist der Punkt, an dem Ehrlichkeit anfängt. Wer sie verschweigt, muss sich später herausreden.
// Woher das kommt
Hinter HALVETH steht ein Mensch, keine Firma.
Ich arbeite allein, abends und an freien Tagen. Das erklärt das Tempo und manchmal die Reihenfolge.
Manche Ideen beginnen bei Menschen, deren Namen noch niemand kennt.
Ich habe nicht als Entwickler angefangen, sondern damit, Menschen zuzuhören. Man lernt dabei, wie ein Ablauf sich anfühlt, wenn er für den Menschen davor nicht gemacht ist. Deshalb fange ich bei Software immer bei der Situation an.
Neben HALVETH gibt es eine zweite Ebene: eine Lernplattform, ein quelloffenes Programm für Zugänge, und eine eigene Frage danach, ob Wirklichkeit weniger aus Dingen und mehr aus Zuständen besteht.
// Kontakt
Widerspruch ist willkommen.
Wenn du einen Denkfehler findest, schreib mir. Das ist keine Höflichkeitsformel. Es ist der schnellste Weg, wie das hier besser wird.
Kein Formular, kein Tracking, keine externen Dienste. Diese Seite lädt nichts von fremden Servern.