{"ok":true,"nota":{"id":"2b0a4f23c4eeb155","slug":"magnetar-permite-verificar-calculos-sin-repetirlos-ni-mostrar-los-dato-2b0a4f","titulo":"Magnetar permite verificar cálculos sin repetirlos ni mostrar los datos","resumen":"Microsoft Research presentó Magnetar, un sistema que usa pruebas criptográficas para comprobar que un cálculo se hizo bien sin volver a ejecutarlo ni exponer información sensible. Según el anuncio, funciona con lenguajes de programación estándar, logra mejoras grandes de velocidad y es resistente a computadoras cuánticas.","fuente":"microsoft-research","fuenteNombre":"Microsoft Research","color":"#00a4ef","autor":"Srinath Setty","url":"https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/","imagen":"https://www.microsoft.com/en-us/research/wp-content/uploads/2026/10/Magnetar-BlogHeroFeature-1400x788-1-1024x576.jpg","tema":"tecnologia","subtemas":["pruebas de conocimiento cero","privacidad de datos","computacion verificable","seguridad criptografica"],"entidades":["Microsoft Research"],"formato":"dato","entretenimiento":false,"pubTs":"2026-10-15T16:00:00.000Z","indexTs":"2026-10-22T10:38:41.125Z","hash":"798a3939d4b8bcb5fd4c01f1228317613060046630ff86c01b395edc4bc570ee","tsa":{"time":"Oct 22 10:39:39 2026 GMT","provider":"freetsa.org","sobre":"sello"},"stats":{"views":0,"likes":0,"clicks":0,"dwell":0},"tipo":"normal","registro":"hallazgo","porQueImporta":"Cualquiera que comparta datos sensibles, como historias clínicas o cuentas bancarias, podría en algún momento confirmar que un tercero hizo bien su trabajo sin ver esos datos. Eso reduce la necesidad de confiar a ciegas en un proveedor de servicios en la nube. Es una tecnología todavía cerca del laboratorio, y su adopción masiva depende de costos y de que las empresas la integren en sus sistemas.","quienFirma":"Microsoft Research","confianza":"divulgacion","consulta":null},"sello":{"hash":"798a3939d4b8bcb5fd4c01f1228317613060046630ff86c01b395edc4bc570ee","sello":"12bc4fcad8096cf61773603170ddea9350a2b22fd04dc1334cd4b6c83106ea7e","beacon":{"drand":{"cadena":"8990e7a9aaed2ffed73dbd7092123d6f289930540d7651336225dc172e51b2ce","ronda":6574484,"aleatorio":"17f8dc6691055e17d3340945fc697b1d14385d774dc400926b289d0664c160fb","tiempo":"2026-10-22T10:39:00.000Z"},"nist":{"cadena":2,"pulso":1994441,"salida":"917B00588BBAF41DD8C461E7D93EA47DC73C00983776285722380061C2505D68D1C49D178A1E9E1A422EEA35DB6367141AB79828DD0F9592CE1805F752B02469","tiempo":"2026-10-22T10:32:00.000Z"},"noAntes":"2026-10-22T10:39:00.000Z"},"verificacion":{"drand":true,"nist":true},"tsa":{"time":"Oct 22 10:39:39 2026 GMT","provider":"freetsa.org","sobre":"sello"},"original":{"titulo":"Proof-based general-purpose computing with Magnetar","descripcion":"Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research .","pubDate":"Thu, 15 Oct 2026 16:00:00 +0000","url":"https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/"},"indexado":"2026-10-22T10:38:41.125Z"}}