Team | ALUX Network

Tuple SpaceSicherheit durch CapabilitiesRisikosysteme

Frank He

@Atticbee

Gründer / Architekt für nebenläufige Systeme

Frank ist Architekt für nebenläufige Systeme. Vor ALUX arbeitete er fast 20 Jahre bei Lehman Brothers, Barclays Capital und Bloomberg als leitender Quant- und Derivateentwickler. Dort baute er Risikosysteme auf Wall-Street-Niveau, die bei Nebenläufigkeit über Zeitzonen, Organisationen und Millisekunden hinweg korrekt bleiben mussten.

Diese Laufbahn hinterließ bei ihm eine Überzeugung: Das synchrone Ausführungsmodell hat ausgedient. ALUX ist seine Antwort. Er leitete den Entwurf des Core-Stacks:

Tupelraumbasierte virtuelle Maschine (TVM)

Prozesse interagieren nebenläufig über Kanäle; Musterabgleich ist Ablaufplanung; Capability-Zugangsdaten sind Autorisierung.

Nebenläufige Programmiersprache Tolang

Tolang kodiert Kanaldeskriptoren und Verhaltenstypen, sodass sich manche Fehlverwendungen früh erkennen lassen; die Runtime setzt Lebenszyklusbeschränkungen durch.

OCAP-Sicherheitsmodell mit Objekt-Capabilities

Eine Kanalreferenz ist fälschungssicher und übertragbar; Geltungsbereich und Lebenszyklusregeln begrenzen Berechtigungen, ohne sich allein auf adressbasierte Zugriffskontrolle zu stützen.

BlockGit-DAG-Konsensprotokoll

Validatoren erzeugen nebenläufig DAG-Blöcke. BlockGit verwendet eine rotierende Leader-Auswahl für die Finalität; Block Merge löst Überschneidungen auf.

Dezentrale ACID-Transaktionsebene

Segmente, Rollback, Isolationsregeln und Commit-Punkte erhalten die ACID-Semantik bei lang laufender und blockübergreifender Arbeit.

Virtuelle Maschine, Sprache und Konsens greifen in einem System ineinander, in dem nebenläufige Ausführung und Komponierbarkeit zusammenwirken – eine Protokollschicht für eine offene, komponierbare Wirtschaft von KI-Agenten.

GitHub X

ProzesskalkülHaskellElektronik

Tomislav Grospić

Ingenieur für Nebenläufigkeit

Tomislavs Weg in die Informatik begann früh: Mit fünf baute er einen Taschenrechner aus Pappe, mit zehn programmierte er Assembler auf einem C64c. Ein Jahrzehnt in der Elektronik und zwei weitere als polyglotter Programmierer – von JavaScript bis Haskell – lehrten ihn, von der Hardware aufwärts zu denken.

Bei ALUX arbeitet er dort, wo Theorie auf die Runtime trifft: Er nutzt Prozesskalkül, um Nebenläufigkeit zum Grundprinzip statt zum nachträglichen Zusatz zu machen.

GitHub X LinkedIn

KonsensSystemarchitekturDApps

Tom Yi

Forscher für Konsensprotokolle

Tom entwickelt Blockchain-Software und konzentriert sich auf die Erforschung von Konsensprotokollen. Bei ALUX bedeutet das BlockGit: ein DAG-Konsensentwurf, mit dem Validatoren ohne permanenten Leader nebenläufig Blöcke erzeugen können.

Vor ALUX arbeitete er etwa zehn Jahre in der IPC-Branche, verantwortete Systemarchitektur und lieferte Produkte für DApps, Mobilgeräte, Cloud, Web und Desktop aus. Sein Spektrum umfasst inzwischen ein Dutzend Sprachen – von C und C++ bis Solidity und Rust.

GitHub