Las criptomonedas son protocolos implementados como software, Protocolos son simples e inteligentes conversaciones entre participantes. Software es ultimamente la manipulacion de dato con algun objetivo. Todavia la diferencia entre solid, software de confianza asi como util, protocolos seguros y su conversacion es completamente humano.
Buenos sowftware necesitan responsabilidad, claros requerimientos de negocios, procesos repetibles, pruebas completas e iteraciones infinitas, Un buen software tambien necesita rasonablemente desarrolladores con talento y con suficiente dominio de especificos conocimientos de apropiados diseños de sistemas que pueden solucionar cualquier problema que ellos esten intentando resolver.
En cuanto a protocolos utiies y seguros, especialmente envuelto en criptografia y sistemas distribuidos, que empiezan en mas de un proceso academico y estandar. revision por pares, interminables debates y un concepto firme de intercambio cerrado son necesarios para asegurar un protocolo util. Todavia solo eso no es suficiente, los protocolos necesitan ser implementados y revisado en usos de la vida real.
El unico reto en la industria de las criptomonedas es que dos filosofias completamente diferentes se estan mutilando juntos sin una apropiada sintaxis hegeliana. Nuestra tesis es "moverse rapido y romper cosas" un inicio mentalmente conducido por la juventud, codicia y pasion. La antitesis es uno lento, metodico y enfoque academicamente orientado por un deseo de solificar la innovaciones de nuestro espacio en un buen nicho agradable y disfrutando de amplios fondos y prestigio.
El resultado es que muchas criptomonedas son ya sea completamente especificados en un white paper solo relevante para un CV o solo por el codigo apresuradamente escrito. ninguna de las 10 criptomonedas con mas capitalizacion estan basado sobre un protocolo revisado. ninguna de las actuales 10 mejores cirptomonedas fueron implementads desde una especificacion formal.
Aun billones de dolares de valor estan almacenados. Una vez implementado, una criptomoneda es excesibamente dificil de cambiar. ¿Como saben que estan usando un sistema seguro? ¿como sabe un usuario que las demandas comerciales son legitimas? ¿Que si los protocolos propuestos nunca pueden lograr los reclamos?.
Esta ausencia de sintesis y respeto por procesos es uno de las razones principales por la que IOHK busca construir cardano. Nuestra esperanza es desarrollar un proyecto de referencia que sirva como ejemplo de como hacer las cosas mas efectivas equilibradas y de manera honesta.
La otra preocupacion es sobre donde termina un hecho y empieza una opinion. hay miles de lenguajes de programacion, docenas de paradigmas de desarrollo y mas que una filosofia sobre gerencia de proyectos. El mundo academico esta bombardeado con estos retos propios provenientes de la distancia entre preocupaciones de negocios y sentido practico.
Para Cardano, hemos primeramente intentado capturar deficiencias ovias que podrian ser universalmente adoptados como utiles desde el punto de vista ingenieril. Por ejemplo, la criptografia y sistemas distribuidos son ambos extraordinariamente temas involucrados con demasiados ejemplos de como manos ingenuas pueden hacer horribles errores. Por lo tanto, cualquier protocolo necesita vision de esto necesita ser diseñado por conocidos expertos y presentado para revision de otros expertos.
Ouroboros es nuestro primer caso de estudio de esta area. Fue diseñado por un equipo de criptografos con un largo, diverso y publicamente verificable historial de publicaciones. Esto fue construido de acuerdo a procesos etandares de criptografia, con seguras supociciones, un modelo contrario y pruebas.
Estas pruebas fueron revisados en presentaciones a conferencias y tambien independientemente por pruebas escritas en computadora por Isabelle de un equipo de la universidad de Cambridge.
Aun solo este trabajo no proprciona garantias de utilidad-ajustado a rigurosas revisiones de un modelo de seguridad manteniendo algunas suposiciones. Para utilisar, uno necesita implementar un test de protocolo. Nuestros desarrolladores han hecho en ambos Haskell y tambien Rust. Este trabajo revela
que ha necesitado mas esfuerzo para ser enfocado en el modelo de sincronizacion, el cual ha llevado a la creacion de Ouroboros Praos.
Este arte de iteracion es lo que produce un gran protocolo, con cada paso aprendiendo una nueva leccion y un requerimiento a reverificar la correccion de pasos prioritarios. Es constoso, consume mucho tiempo, y con el timpo se hace realmente tedioso, todavia es requerido para asgurar que un protocolo esta corectamente diseñado.
Los protocolos-especialmente uno que es usado por millones de personas- no son de corta duracion y estan rapidamente evolucionando. Mas bien estan intentando ser continuados de años a decadas. Esto parece enteramente razonable, antes de que se borre el mundo con una nuevo sistema financiero que tenemos para vivir por los siguientes 100 años, queremos exigir algo de tedio y rigor de estos diseñadores.
3.-
