Verificación formal

Justin Drake orienta a nuevos investigadores hacia Lean

Devcon atribuye a Justin Drake la recomendación de que los jóvenes desarrolladores e investigadores que trabajan en el futuro de Ethereum resistente a la computación cuántica se enfoquen en Lean. El post plantea una orientación de investigación, no anuncia un cambio del protocolo ya desplegado.

ETH Canal ·

Devcon atribuye a Justin Drake la recomendación de que los jóvenes desarrolladores e investigadores que trabajan en el futuro de Ethereum resistente a la computación cuántica se enfoquen en Lean. El post plantea una orientación de investigación, no anuncia un cambio del protocolo ya desplegado.