Працюю над дорожньою картою @ethrex_client, @eth_proofs RISC-V @alignedlayer віртуальної машини та @leanEthereum клієнту. Я також пишу нові ідеї щодо того, як спроєктувати нашу конкретну мову програмування (лінійна система типів + прості алгебраїчні ефекти через можливості + lean verified kernel).