La investigación de Microsoft sobre Magnetar podría influir en los costos de las pruebas en blockchain
-
Razones para confiar en nosotros Cómo se elaboran nuestras noticias Una política editorial estricta que se centra en la precisión, la relevancia y la imparcialidad Aviso publicitario Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.
En resumen: Microsoft Research afirma que su sistema Magnetar acelera la generación de pruebas de ejecuciones de programas comunes y, a la vez, se basa en criptografía estándar con funciones hash. Los sistemas de conocimiento cero prometen que es posible verificar un cálculo sin confiar en la máquina que lo realizó.
Una de las razones por las que siguen siendo difíciles de implementar es el costo de generar esas pruebas. El anuncio de Magnetar, publicado por Microsoft Research el 15 de octubre, aborda ese cuello de botella mediante una máquina virtual diseñada para generar pruebas de programas comunes.
Los investigadores afirman que Magnetar admite código compilado desde Rust, Go y C y, según sus pruebas de rendimiento, es entre 10 y 39 veces más rápido en promedio que ciertos sistemas de prueba comparables.
-
© Newsbtc
-
Razones para confiar en nosotros Cómo se elaboran nuestras noticias Una política editorial estricta que se centra en la precisión, la relevancia y la imparcialidad Aviso publicitario Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.
En resumen: Microsoft Research afirma que su sistema Magnetar acelera la generación de pruebas de ejecuciones de programas comunes y, a la vez, se basa en criptografía estándar con funciones hash. Los sistemas de conocimiento cero prometen que es posible verificar un cálculo sin confiar en la máquina que lo realizó.
Una de las razones por las que siguen siendo difíciles de implementar es el costo de generar esas pruebas. El anuncio de Magnetar, publicado por Microsoft Research el 15 de octubre, aborda ese cuello de botella mediante una máquina virtual diseñada para generar pruebas de programas comunes.
Los investigadores afirman que Magnetar admite código compilado desde Rust, Go y C y, según sus pruebas de rendimiento, es entre 10 y 39 veces más rápido en promedio que ciertos sistemas de prueba comparables.
-
© Newsbtc
