Eine Sprache, in Bytes gesprochen
Ein Fremder fragt einen anderen, und niemand steht dazwischen.
Zwei Programme, die sich nie begegnet sind, können sprechen, und jedes entscheidet selbst, wen es hereinlässt. Kein Server steht dazwischen, es gibt kein Konto zu eröffnen, und ein Fremder an der Tür erfährt nichts. Quo ist, was die Bytes bedeuten: einige JSON-Formen und sechs Algorithmen, und sonst nichts.
- Man lädt Sie ein. Die Karte geht über einen beliebigen Kanal.
- Sie klopfen. Man lässt Sie einmal ein, der erste Schlüssel stirbt, und niemand, der die Karte gesehen hat, kann dort sprechen.
- Sie fragen. Versiegelt, unter einem Schlüssel, der sich ständig weiterbewegt.
- Ein Fremder versucht es. Ein leeres Blatt kommt zurück, was auch immer gesendet wurde.
Das Bild lesen
- Ein Haus. Die Lücke in seinem Ring ist der Pförtner, seine eine Tür.
- Eine rote Kabine. Dieses Haus hält den Schlüssel und tritt ein, um zu fragen.
- Eine violette Kabine. Das Haus hat sie gebaut und ihren Schlüssel weggegeben.
- Die graue Kabine. Jeder darf eintreten und signiert mit einem eigenen Schlüssel.
- Ein Fremder. Was er auch sendet, er bekommt dasselbe leere Blatt.
Was Quo ist
Quo ist, was die Bytes einer Tür bedeuten: die JSON-Formen, die sie liest und schreibt, und sechs Algorithmen. Ein Satz gehört aus einem von zwei Gründen dazu.
Eine Tür ist eine Funktion
Bytes hinein, Bytes oder nichts heraus. Quo ist, was diese Bytes bedeuten, und nichts, was hinter der Tür steht.
Zwei Fremde müssen übereinstimmen
Zwei Kits, die sich nie begegnet sind, könnten keine Bytes korrekt austauschen, wenn nicht beide den Satz gleich lesen.
Kein Kit kann es selbst liefern
Kein Kit könnte es für sich selbst liefern. Kein Kit kann allein entscheiden, was der Seed eines anderen bedeutet, also ist die Ableitung des Schlüssels des ward Sache von Quo.
Was an beidem scheitert, gehört nicht zu Quo. Es wird weder verlangt noch verboten.
Das Modell ist JSON: eine Grammatik, die jeder liest, ohne Meinung darüber, was darin geschrieben steht. Alles, was ein Kit entscheiden könnte, bleibt draußen, wie vernünftig es auch sei.
Jede Regel sagt, was Bytes bedeuten. Keine Regel sagt, dass irgendwer sprechen muss.
Was Quo nicht ist
Quo ist die Lücke in der Mauer und was sie durchquert, und sonst nichts.
Nur die Tür
Was innerhalb der Mauer lebt und was die Bytes außerhalb trägt, gehört nicht zu Quo.
Keine Laufzeit
Was hinter einer Tür steht, wem sie gehört und wie sie speichert, ist Sache jedes Kits.
Kein Konto
Eine Beziehung beginnt mit einer Einladung, die über einen beliebigen Kanal geht, und nichts wird registriert.
Kein Verzeichnis
Auffindung und Identität liegen außerhalb von Quo. Eine Einladung kann sagen, wo ihr ward erreicht wird, eine Antwort kann sagen, wo er jetzt erreicht wird, und Quo führt keine Liste von wards.
Kein Rat
Quo bietet einen Prüfer, und nie einen Weg, ein Kit zu bauen.
Quo hostet nichts, registriert nichts, listet nichts und lenkt nichts. An dem Tag, an dem es einen Dienst betreibt, ist es ein Produkt.
Was die Bytes versprechen
Authentizität
Jede Frage und jede Antwort wird signiert und gegen die Bytes geprüft, wie sie ankommen. Mehr
Vertraulichkeit
Jede Frage wird unter einem frischen Schlüssel an das Vorhängeschloss des ward versiegelt, jede Antwort allein an diesen Schlüssel. Die Methode, die Argumente und die Antwort reisen alle in der Box. Mehr
Kein Orakel
Der Fall jedes Fremden kommt als eine Antwort einer einzigen Länge zurück, sodass die Bytes nichts unterscheiden. Mehr
Eigentum, sobald die Tür beim Klopfen wählt
Sobald eine Tür beim Klopfen eine Wahl trifft, gehört die Beziehung dem Schlüssel, den der Klopfende erzeugt hat, und niemand, der die Einladung gesehen hat, kann auf ihr sprechen. Mehr
Fünf Kits, und keines eine Referenz
Go, Zig, Python, JavaScript, Rust. Jedes wurde kalt geschrieben, von einem Agenten, der nur die veröffentlichten Dokumente und den Verifier hatte, und nie ein anderes Kit.
Jedes Kit besteht den Verifier allein, und jedes Paar besteht in beide Richtungen.
KI ist die Methode, und Vollständigkeit ist der Beweis: blind geschriebene Kits stimmen überein.
Quo wird von KI entwickelt, geprüft und implementiert, unter der Entscheidung eines Menschen.
Wo es steht
Eine funktionierende Sprache vor 1.0.0, ohne Einsatz in Produktion.
Gehalten von Razvan Gherghina unter Apache-2.0 und von niemandem außerhalb geprüft.
Die Spec wird einmal eingefroren, bei 1.0.0.
Ein Fehler wird gemeldet an spec@quo.systems