pracuję nad mapą drogową @ethrex_client, @eth_proofs risc-v @alignedlayer vm oraz klientem @leanEthereum. Piszę również więcej pomysłów na temat tego, jak zaprojektować nasz konkretny język programowania (system typów liniowych + proste efekty algebraiczne za pomocą możliwości + zweryfikowany rdzeń lean).