Pracuji na roadmapě @ethrex_client, @eth_proofs RISC-V @alignedlayer VM a @leanEthereum klienta. Píšu také další nápady o tom, jak navrhnout náš konkrétní programovací jazyk (lineární typový systém + jednoduché algebraické efekty přes schopnosti + lean ověřené jádro).