馃嚜馃嚫 C贸mo la investigaci贸n de IOG se extiende al mundo acad茅mico

Como empresa l铆der en infraestructura e ingenier铆a de blockchain, IOG se dedica a abordar las dif铆ciles cuestiones del sector

IOG se ha hecho una reputaci贸n construyendo y manteniendo Cardano y ada, su primera criptomoneda nativa. La investigaci贸n acad茅mica ha sido la base de un libro de contabilidad seguro, descentralizado y escalable que ha liderado el camino de las blockchains de prueba de participaci贸n durante cinco a帽os.

En colaboraci贸n con los investigadores y las mejores universidades de todo el mundo, IOG se dedica a abordar cuestiones de investigaci贸n dif铆ciles y a establecer una base s贸lida para la infraestructura blockchain de tecnolog铆a financiera. Y en este post, hablamos del establecimiento de una red de instituciones y laboratorios comprometidos con la investigaci贸n de la tecnolog铆a distribuida.

La investigaci贸n de IOG est谩 dirigida por Aggelos Kiayias, cient铆fico jefe de IOG y profesor de la Universidad de Edimburgo. El equipo de investigaci贸n cuenta con 26 miembros del personal - profesores, cient铆ficos, becarios de investigaci贸n e ingenieros de investigaci贸n - todos comprometidos con la investigaci贸n de una amplia 谩rea de temas, incluyendo

  • criptograf铆a
  • ingenier铆a de software
  • sistemas distribuidos
  • interacci贸n persona-ordenador
  • redes
  • verificaci贸n formal
  • lenguajes de programaci贸n
  • hardware de confianza
  • econom铆a
  • pol铆tica y regulaci贸n en materia de valores, divisas y empresas.

El papel del cient铆fico jefe

El profesor Kiayias se incorpor贸 a IOG en octubre de 2016 como cient铆fico jefe, con lo que el equipo ejecutivo pas贸 a tener cinco miembros. Es titular de la c谩tedra de ciberseguridad y privacidad de la Universidad de Edimburgo. Adem谩s, lleg贸 con una formidable reputaci贸n en blockchain, habiendo escrito uno de los art铆culos m谩s referenciados en la historia de la tecnolog铆a - 'The bitcoin backbone protocol: Analysis and applications鈥 con Juan Garay y Nikos Leonardos. Seg煤n Google Scholar, cuenta con unas 1.450 citas hasta el momento. Desde el principio, el profesor Kiayias se empe帽贸 en construir Cardano desde cero y en contar con las mejores mentes e ideas. Como dijo en su momento:

Mientras que otras empresas pueden considerar tomar atajos o centrarse s贸lo en la ingenier铆a de sus productos, IOHK se compromete a largo plazo en la construcci贸n de herramientas b谩sicas que est谩n disponibles para la comunidad en su conjunto y en el avance de la ciencia detr谩s de los sistemas blockchain.

Adem谩s de la tecnolog铆a blockchain y los sistemas distribuidos, los intereses del profesor Kiayias abarcan la seguridad inform谩tica, la seguridad de la informaci贸n, la criptograf铆a, el voto electr贸nico y los protocolos multipartitos seguros, as铆 como la gesti贸n de la privacidad y la identidad. En 2006, mientras estaba en la Universidad de Connecticut, su facultad colabor贸 con las autoridades para evaluar las m谩quinas de votaci贸n utilizadas en las elecciones presidenciales en el estado de Connecticut. Durante esta evaluaci贸n, la facultad inform贸 de las vulnerabilidades del sistema, que si se utilizaba de forma maliciosa, pod铆a influir en los resultados de las elecciones. El profesor Kiayias tambi茅n ha dirigido un proyecto de investigaci贸n sobre el voto electr贸nico para las elecciones nacionales en Grecia.

Como cient铆fico jefe de IOG, el profesor Kiayias ha dirigido la investigaci贸n blockchain, en particular investigando la tecnolog铆a de libro mayor distribuido existente y sugiriendo ideas para la implementaci贸n de la tecnolog铆a con caracter铆sticas probadas de seguridad, descentralizaci贸n y privacidad. Esto llev贸 a la teor铆a detr谩s de Ouroboros y el documento que demuestra su seguridad tambi茅n se ha unido a las filas de los documentos blockchain m谩s citados. En 2017, el profesor Kiayias puso en marcha un curso de blockchain en la Universidad de Edimburgo, convirti茅ndola en una de las primeras instituciones europeas en ense帽ar la tecnolog铆a blockchain. Seg煤n declar贸 al Financial Times:

Adem谩s de aprender las habilidades necesarias para construir una blockchain, hay otros beneficios en el estudio de la tecnolog铆a. Se puede aprender una cantidad incre铆ble de ciberseguridad solo con el estudio blockchain.

En 2021, el laboratorio de Edimburgo contaba con nueve empleados y 21 investigadores y estudiantes de doctorado. Ese mismo a帽o, el profesor Kiayias se uni贸 al profesor Philip Wadler de IOG para ser nombrado miembro de la Real Sociedad de Edimburgo, una instituci贸n que se remonta a 1783 y que ha contado con la presencia de Benjam铆n Franklin (la cara del billete de 100 d贸lares de EE. UU. desde 1914); James Clerk Maxwell, el f铆sico m谩s influyente del siglo XIX; James Watt, cuya m谩quina de vapor fue tan vital para la Revoluci贸n Industrial; y el ganador del Premio Nobel Peter Higgs, cuyo trabajo sobre las part铆culas subat贸micas condujo al descubrimiento del bos贸n de Higgs.

Asociaciones acad茅micas de IOG

En IOG, la investigaci贸n es una parte integral del desarrollo de la tecnolog铆a, ayudando a ofrecer soluciones blockchain de alta garant铆a basadas en la correcci贸n funcional.

La financiaci贸n de IOG, la Uni贸n Europea, Intel y el Consejo de Investigaci贸n de Ingenier铆a y Ciencias F铆sicas del Reino Unido condujo a la creaci贸n del Laboratorio de Tecnolog铆a Blockchain en Edimburgo. 脡ste es el centro de una red de universidades de Estados Unidos, Jap贸n y Grecia que colaboran en la investigaci贸n de acceso abierto inspirada en la industria en sistemas descentralizados.

Los miembros de la red del Laboratorio de Tecnolog铆a Blockchain son

  • el Laboratorio de Tecnolog铆a Blockchain de Edimburgo
  • el Laboratorio de Tecnolog铆a Blockchain de la Universidad Nacional y Kapodistriana de Atenas
  • la C谩tedra de Investigaci贸n Colaborativa en Criptomoneda del Instituto Tecnol贸gico de Tokio
  • el Laboratorio Blockchain Avanzado de la Universidad de Wyoming

Estos laboratorios se centran en 谩reas relacionadas con la tecnolog铆a blockchain y la criptograf铆a, incluida la seguridad demostrable, los primitivos y los protocolos criptogr谩ficos, y la computaci贸n segura multipartita. Los laboratorios tambi茅n desarrollan nuevos protocolos e identifican y formalizan nuevas definiciones de seguridad y modelos criptogr谩ficos.

En lo que va de a帽o, los miembros del laboratorio de Edimburgo han conseguido que se acepten once art铆culos en conferencias acad茅micas. Las investigaciones sobre temas como ZK Snarks, la gobernanza de la blockchain, la prueba de trabajo 煤til y las monedas digitales de los bancos centrales encontrar谩n sin duda su camino en los sistemas blockchain en los pr贸ximos a帽os. El blog del laboratorio ha llegado a muchos sectores ajenos a blockchain, como el rastreo de contratos de Covid y el efecto potencial en la banca.

Ampliaci贸n de la red de investigaci贸n

Algunas 谩reas de investigaci贸n requieren conocimientos muy espec铆ficos, y la reputaci贸n de la investigaci贸n de IOG es ahora tal que puede atraer a colaboradores del m谩s alto calibre. Un ejemplo de ello es la teor铆a de los juegos, en la que IOG colabora con el profesor Elias Koutsoupias de la Universidad de Oxford. Este recibi贸 el Premio G枚del de inform谩tica te贸rica en 2012 por su trabajo sobre el precio de la anarqu铆a, en referencia a la creaci贸n de los fundamentos de la teor铆a algor铆tmica de los juegos.

En 2022, IOG colabor贸 con Stanford financiando un nuevo centro de investigaci贸n de blockchain de 4,5 millones de d贸lares en la universidad. Esto re煤ne a acad茅micos de Stanford de varios departamentos para abordar las cuestiones fundacionales de blockchain, cotejar el conocimiento cient铆fico y promover la necesidad fundamental de investigaci贸n sobre el tema.

Adem谩s, IOG tambi茅n participa en proyectos de investigaci贸n dedicados:

  • Dise帽o y An谩lisis de Algoritmos de Consenso de Blockchain: trabajando con el profesor Alexander Russell de la Universidad de Connecticut para investigar los diferentes dise帽os de algoritmos de consenso de blockchain.

  • Superposiciones de red resistentes a Eclipse para una r谩pida difusi贸n de datos: en colaboraci贸n con el Dr. Spyros Voulgaris, de la Universidad de Econom铆a y Negocios de Atenas, para investigar la difusi贸n eficiente de datos.

  • Fuentes digitales verificables: colaboraci贸n con el profesor David Tse e investigadores de doctorado de Stanford para aumentar el inter茅s en la investigaci贸n fundamental y aplicada de la blockchain.

  • Criptograf铆a EC verificable (basada en el emparejamiento): trabajando con la profesora Tanja Lange y sus estudiantes de la Universidad Tecnol贸gica de Eindhoven en una curva incrustada amigable con los elligadores y el emparejamiento.

  • B煤squeda local basada en restricciones para el trabajo de prueba de uso: trabajando con el profesor Laurent Michel tambi茅n en la Universidad de Connecticut.

  • Evaluaci贸n de las percepciones de los usuarios sobre los m茅todos de gesti贸n de claves de billeteras: un proyecto con un equipo de profesores e investigadores del Human Computer Interaction Institute de la Universidad Carnegie Mellon.

  • Mejoras en el rendimiento de la firma colectiva basada en participaci贸n: colaboraci贸n con el profesor Leonid Reyzin de la Universidad de Boston.

Adem谩s de establecer colaboraciones acad茅micas a nivel de empresa, el jefe de IOG, Charles Hoskinson, siempre ha tenido un inter茅s personal por las matem谩ticas formales y la investigaci贸n. En colaboraci贸n con el profesor Jeremy Avigad de la Universidad Carnegie Mellon, el proyecto Formal Mathematics in Lean se convirti贸 en la creaci贸n del Centro Hoskinson de Matem谩ticas Formales. El centro fue posible gracias a una donaci贸n de 20 millones de d贸lares de Hoskinson. Coment贸 para el anuncio de Carnegie Mellon:

Podemos reunir a las mejores mentes de las matem谩ticas, la inform谩tica y el aprendizaje autom谩tico para crear una infraestructura que permita utilizar las matem谩ticas formales como herramienta educativa fundamental. Me siento honrado de formar parte de la creaci贸n de un centro tan importante en el que la colaboraci贸n, la exploraci贸n y el descubrimiento abren la puerta a incentivar y apoyar la actividad matem谩tica y dotarla de recursos para m茅todos avanzados de automatizaci贸n.

La 煤ltima palabra

Con equipos descentralizados en todo el mundo, IOG conecta a investigadores dispersos geogr谩ficamente en las principales universidades para fomentar la innovaci贸n a trav茅s del esfuerzo colectivo. Este trabajo impulsa el desarrollo blockchain para Cardano y muchos otros libros contables, y tambi茅n contribuye a la adopci贸n de la tecnolog铆a y a la interoperabilidad entre cadenas.

Dentro de la empresa, que ya cuenta con casi 500 empleados, 40 personas tienen perfiles en Google Scholar en IOHK o IOG. Muchas de ellas ocupan puestos de ingenier铆a, as铆 como acad茅micos, lo que demuestra la profundidad de la experiencia de la empresa en la aplicaci贸n de la investigaci贸n. La biblioteca de investigaci贸n de IOG incluye ahora m谩s de 160 trabajos de investigaci贸n.

Hasta la fecha, IOG es la 煤nica empresa de investigaci贸n y desarrollo de blockchain con una red tan extensa de acad茅micos y de impacto en la investigaci贸n.

Si est谩 interesado en saber m谩s sobre la visi贸n general de la investigaci贸n de Cardano, consulte este art铆culo sobre la visi贸n general de la investigaci贸n de IOG en Essential Cardano.

Me gustar铆a dar las gracias al profesor Aggelos Kiayias, a Mirjam Wester y a Anthony Quinn por sus contribuciones a esta entrada del blog.

Publicaciones seleccionadas

Blog del Laboratorio de Tecnolog铆a Blockchain:

Blog de IOG:


:es: Traducci贸n al espa帽ol de 鈥How IOG鈥檚 research spans the academic world鈥, publicado por Olga Hryniuk en el blog IOG el 24 de Octubre de 2022


2 Likes