En un hilo reciente de Reddit, Vitalik Buterin, cofundador de Ethereum y Charles Hoskinson, fundador de Cardano, se encontraron en medio de un fuerte debate público respecto a los diferentes modelos propuestos de Proof of Stake (Prueba de participación).
Ouroboros, el modelo Proof-of-Stake desarrollado para Cardano por IOHK, y Casper, el modelo Proof-of-Stake dirigido por los desarrolladores de Ethereum Vitalik Buterin y Vlad Zamfir, estos modelos están en fase de desarrollo y prueba, por lo tanto no están listos para su lanzamiento aun.
Vitalik habría respondido a una publicación del blog de IOHK. En la publicación del blog, el Prof. Aggelos Kiayias, Jefe científico de IOHK, dijo que mientras Ouroboros tiene un protocolo que ha sido especificado y analizado con demostraciones matemáticas seguras, y pruebas – todas ellas públicas – Kiayias dice que desconoce de alguna fuente que describa las especificaciones del protocolo de Casper o de alguna documentación que proporcione garantías de su funcionamiento.
Vitalik, en respuesta, dijo que no solo la investigación de Casper es pública, sino que también hay un documento unificado para Casper FFG en el que se ha verificado formalmente, mediante el uso de una versión más nueva de Casper FFG llamada Casper FFG-RPJ. Sin embargo, hay algunos méritos en esta crítica, ya que actualmente hay alrededor de 3 implementaciones diferentes del protocolo de Casper, como Casper FFG-RPJ, que es la versión mejorada de Casper FFG y también Casper CBC que fue desarrollada por Vlad Zamfir.
La mayor parte del debate técnico giró en torno a la seguridad lograda por las dos redes. Charles afirmó que Ouroboros ha logrado un 50% de tolerancia bizantina bajo sincronía parcial, descrita en documentos que, según Charles, han sido aceptados en conferencias internacionales de criptografía.
El término sincronía parcial se usa en sistemas distribuidos para referirse a un sistema que se encuentra entre un sistema síncrono y un sistema asíncrono. En un sistema síncrono, hay un límite superior fijo para el tiempo que lleva enviar un mensaje de uno a otro, y un límite superior para la velocidad de los procesadores. En un sistema asíncrono, esto no existe.
Vitalik luego respondió que no le da mucha importancia a la credibilidad de las conferencias sobre el análisis del tema ya que hay resultados establecidos de hace 30 años donde indican que es imposible lograr un 50% de tolerancia a fallas bajo sincronía parcial. Por otra parte, el protocolo de Casper, solo ha podido lograr una tolerancia del 33% a fallas, que es considerado “seguro bajo un sistema asíncrono”.
La rivalidad entre Buterin y Hoskinson ha estado presente durante mucho tiempo. En los primeros días de Ethereum, Hoskinson, cofundador de Ethereum junto con Vitalik, aparentemente tuvo una discusión sobre la dirección del proyecto junto con algunos de los otros fundadores que lo llevaron a dejar el proyecto. Luego pasó a ser activo en el desarrollo de Ethereum Classic y más tarde comenzó a trabajar en la blockchain Cardano.
