Un enfoque formal para verificar la corrección de protocolos de consenso basados en DAG.
― 12 minilectura
Ciencia de vanguardia explicada de forma sencilla
Un enfoque formal para verificar la corrección de protocolos de consenso basados en DAG.
― 12 minilectura