Исследуйте Каир: практичная и эффективная архитектура ЦП с поддержкой Turing-Complete и STARK