أعمل على خارطة طريق @ethrex_client @eth_proofs RISC-V @alignedlayer VM والعميل @leanEthereum. كما أنني أكتب المزيد من الأفكار حول كيفية تصميم لغة البرمجة الملموسة لدينا (نظام الأنواع الخطية + التأثيرات الجبرية البسيطة عبر القدرات + نواة موثوقة رشيقة).