Команда | ALUX Network

Пространство кортежейБезопасность на основе полномочийРиск-системы

Frank He

@Atticbee

Основатель / архитектор конкурентных систем

Фрэнк — архитектор конкурентных систем. До ALUX он почти 20 лет работал в Lehman Brothers, Barclays Capital и Bloomberg старшим специалистом по количественным моделям и инженером деривативов, создавая риск-системы уровня Уолл-стрит, которые должны были сохранять корректность при конкурентной работе — между часовыми поясами, организациями и миллисекундами.

Этот опыт привёл его к убеждению: синхронная модель выполнения исчерпала себя. ALUX — его ответ. Он руководил проектированием основного стека:

TVM — виртуальная машина пространства кортежей

Процессы взаимодействуют конкурентно через каналы; сопоставление с образцом выполняет роль планирования; ссылки-полномочия служат авторизацией.

Tolang — язык конкурентного программирования

Tolang кодирует дескрипторы каналов и поведенческие типы, позволяя выявлять часть ошибок использования заранее, а среда выполнения обеспечивает ограничения жизненного цикла.

OCAP — объектно-полномочная модель безопасности

Ссылка на канал неподделываема и передаваема; правила области действия и жизненного цикла ограничивают полномочия, не полагаясь только на адресный доступ.

BlockGit — протокол консенсуса DAG

Валидаторы конкурентно создают блоки DAG. Для окончательности BlockGit использует сменяемого лидера, а Block Merge согласует пересекающиеся результаты работы.

Децентрализованный транзакционный слой ACID

Сегменты, откат, правила изоляции и точки фиксации сохраняют семантику ACID для длительной и межблочной работы.

Виртуальная машина, язык и консенсус образуют единую систему, в которой конкурентное выполнение и компонуемость наконец работают вместе: протокольный слой для открытой, компонуемой экономики ИИ-агентов.

GitHub X

Исчисление процессовHaskellЭлектроника

Tomislav Grospić

Инженер конкурентных систем

Путь Томислава в вычислительную технику начался рано: картонный калькулятор в пять лет, ассемблер на C64c — в десять. Десятилетие в электронике и ещё два в программировании на разных языках, от JavaScript до Haskell, научили его мыслить от аппаратной основы вверх.

В ALUX он работает на стыке теории и среды выполнения: использует исчисление процессов, чтобы конкурентность была первоклассным свойством, а не поздним дополнением.

GitHub X LinkedIn

КонсенсусСистемная архитектураDApps

Tom Yi

Исследователь протоколов консенсуса

Том — блокчейн-разработчик, специализирующийся на исследованиях протоколов консенсуса. В ALUX это BlockGit — модель консенсуса DAG, позволяющая валидаторам создавать блоки конкурентно без постоянного лидера.

До ALUX он около десяти лет работал в отрасли IPC, отвечая за системную архитектуру и выпуск DApps, мобильных, облачных, веб- и настольных приложений. Сейчас его опыт охватывает дюжину языков, от C и C++ до Solidity и Rust.

GitHub