Verificação formal

Justin Drake indica Lean a novos pesquisadores

A Devcon atribui a Justin Drake a recomendação de que jovens desenvolvedores e pesquisadores do futuro do Ethereum resistente à computação quântica se concentrem em Lean. O post apresenta uma orientação de pesquisa, e não um anúncio de mudança já implantada no protocolo.

ETH Canal ·

A Devcon atribui a Justin Drake a recomendação de que jovens desenvolvedores e pesquisadores do futuro do Ethereum resistente à computação quântica se concentrem em Lean. O post apresenta uma orientação de pesquisa, e não um anúncio de mudança já implantada no protocolo.