@ethrex_client yol haritası üzerinde çalışıyor, @eth_proofs RISC-V @alignedlayer VM ve @leanEthereum istemcisi üzerinde çalışıyor. Ayrıca somut programlama dilimizi nasıl tasarlayacağımızla ilgili daha fazla fikir yazıyorum (lineer tip sistemi + yetenekler aracılığıyla basit cebirsel etkiler + lean verified kernel).