[CV] Zen Crypted Backend Engineer

[5HT]

Statement of Work — Backend Engineer (Elixir / Erlang / ASN.1)

• Project: Development and enhancement of secure military-grade instant messaging server
• Position: Senior/Middle Backend Engineer (Elixir primary, Erlang/OTP understanding required)
• Project context: The company is building a high-security chat platform for defense/government use cases. The backend is based on the open-source CHAT server, which implements a custom ASN.1/DER-encoded protocol over TCP/QUIC with full X.509 CMS envelope encryption, OCSP/LDAP validation, ephemeral messages, and standards compliance (RFC 5280, 5652, 8551, ДСТУ 4145, etc.).

Scope of Work (main deliverables):

Code Governance

Deep code audit and refactoring of the existing Elixir/Erlang codebase:

• Review ASN.1 modules (priv/v2/CHAT-v2.asn1 + related PKIX/CMS modules)
• Optimize Mnesia usage for message delivery / persistence
• Harden crypto operations (crypto / public_key / ssl modules)
• Implementation / enhancement of military-specific features:
• Integration of Ukrainian national crypto algorithms (ДСТУ 4145 / ДСТУ 4146 where applicable)
• Support for post-quantum key exchange primitives (if roadmap includes)
• Enhanced certificate enrollment flows (CMPv2 / EST / SCEP)
• Audit logging compliant with defense standards (tamper-evident, exportable)
• Granular access control and zero-trust message routing

Protocol Evolution

• Extend ASN.1 schema for new message types (e.g., file transfer with large attachments, voice/video signaling stubs, MLS-like group keying if required)
• Implement QUIC transport improvements (0-RTT, connection migration)
• Add optional federation support (via XMPP/OMEMO-like bridging or native)

Security hardening & compliance

• Side-channel resistance improvements
• FIPS-like mode (or equivalent) for crypto primitives
• Preparation for external security audit / pentest
• OCSP stapling, CRL checking, DNSSEC integration

DevOps & release engineering

• Improve mix release process, Docker / systemd packaging
• Monitoring / metrics (Prometheus / telemetry)
• CI/CD pipeline enhancements (tests coverage > 85%)

Required skills & experience (for job/CV screening)

• 4+ years commercial experience with Elixir (or strong Erlang/OTP transferable)
• Deep understanding of Erlang/OTP behaviors, supervision trees, gen_server / gen_statem
• Experience with cryptography in production (OpenSSL / Erlang :crypto, X.509, CMS/S-MIME, ECDSA / Ed25519 / X25519)
• Practical work with ASN.1 (encoding/decoding, custom compilers, BER/DER/PER)
• Familiarity with PKI infrastructure (CA, OCSP, LDAP, CMP/EST)
• Experience in defense/military/government projects, QUIC, post-quantum crypto, Mnesia / DETS
• Understanding of secure protocol design (avoiding common pitfalls like replay / downgrade attacks)
• English (Upper-Intermediate) + Ukrainian (advantage)
• PhD or Master degree in Computer Science or Mathematics.

Nice to have

• Experience with N2O.DEV, ERP.UNO open source stack
• Knowledge of MLS (Messaging Layer Security) RFC
• Estimated engagement & Success criteria:

Estimated engagement: Full-time / 6–12 months initial contract with extension option
Success criteria: Stable, auditable server passing internal crypto verification + security review; new features merged into fork/main branch.

[5HT]

Шановні керівники структурних підрозділів!

Хочу повідомити про закриття вакансії розробника інфраструктури чату Zen Crypted Backend Engineer і вступом на вакансію мого колеги по проекту NYNJA — @cryoflamer. @cryoflamer має вищу освіту в області фізики і математики, досвід роботи в академії і долучення до академічних процесів, безпосередній досвід роботи на моїх авторських творах і досвід перебування головним інженером на проєкті NYNJA, тобто досвід співавторства. Він детально володіє всіма телекомунікаційними ньюансами v2 протоколу, що підвердив мені в приватних чатах і захистив бачення розвитку протоколу і його референсної імплементації. Ми узгодили розділення протоколу Buddha Protocol на три леєра (створено сайт protocol.zencrypted.uk у якості презентаційних матеріалів):

• Леєр 1 — MESSAGE-v1.asn1 — протокол для UDP мультікаст безсерверних комунікацій
• Леєр 2 — CHAT-v2.asn1 — протокол для TLS юнікаст брокера і PKI X.509 (ПК КЗІ X.509).
• Леєр 3 — MAIL-v3.asn1 — протокол для ERP/1: Документи, що реалізує наказ №40 МО.

На обдумування кожного леєра ми домивилися виділити щонайменше по 2 місяці, якісно все розділити, задокументувувати процес виробництва промптами Грока і Антігравіті. @cryoflamer також провів попередній аудит криптографії і погружений в контекст наших міжнародних проектів і зобов'язань. В результаті ми повинні отримати пір верифікавану статтю для публікації з детальним описом процесом виробництва і репозиторій з MVP.

Головним викликом розробки є не імплементацію чату як такого (який ми з @cryoflamer кожен написали за життя по декілька разів кожен), а розробка системи тестування і своєї власної мови (DSL) для тестування протоколу і нашого серверу щоб можна було її використовувати у якості мови для консольного Swift клієнту Zen Crypted Console, який повинен стати drop-in бібліотекою залежністю майбутнього iOS клієнту v2. Ця мова буде використовуватися для тестування відповідності іншим стандартам. ЇЇ головна особливість буде полягати в тому, що на відміну від ITU/ITEF фреймворків тестування телекомунікаційного обладнання Z.146/Z.167 https://ttcn-3.etsi.org наша мова буде мати прив'язку до архітектури на найвищому з рівнів моделі OSI — рівні додатку (екранів і його функцій) КП КЗІ X.509 авторства @Monetapm 2023 року, а не тільки на сесійному чи транспортному.

Максим Сохацький
BDFL of Synrc Research