# Технологии

###### tags: `L2` `Human Resources`

## Стек, требуемый в разработке DLT приложений

1. Опыт в разработке рыночных систем(Консенсусные системы на основе аукционов и сопостовления/OVM/) `Game teory` `Economic`
2. Опыт в разработке высокопроизводительных MIMD систем(Массивно паралельный массив процессоров/Rust+cpp) `Computer Scince`
3. Опыт в разработке распределенных систем(Erlang/State-full k8s) `Computer Scince`
4. Опыт использования протоколов эксперементальной криптографии(ZKP, MPC, NiPoPoW, ZK2) `Cryptography` `Math`
5. Опыт использования математики с фиксированной точностью(Q-MATH) `Computer Scince` `Math`
6. Глубокое понимание и опыт использования алгебраических типов данных(Rust/Ocaml ADT) `Computer Scince` `Category teory`
7. Опыт с графовыми структурами данных на основе направленного ациклического графа(CRDT/MRDT) `Computer Scince`
8. Опыт с формальными спецификациями, реализация спецификаций на основе языков темпоральной логики с последующей автоматической верификацией кода(TLA+/K-FW) `Computer Scince`
9. Опыт в разработке компиляторов промежуточного кода(TBA) `Computer Scince`
10. Модели данных на основе владения(Rust)