{"id":136626,"date":"2026-02-05T22:53:24","date_gmt":"2026-02-05T22:53:24","guid":{"rendered":"https:\/\/crypto-economy.com\/es\/?p=136626"},"modified":"2026-02-05T22:53:51","modified_gmt":"2026-02-05T22:53:51","slug":"certora-gana-una-subvencion-de-la-fundacion-ethereum-para-impulsar-un-futuro-zk-para-la-evm","status":"publish","type":"post","link":"https:\/\/crypto-economy.com\/es\/certora-gana-una-subvencion-de-la-fundacion-ethereum-para-impulsar-un-futuro-zk-para-la-evm\/","title":{"rendered":"Certora gana una subvenci\u00f3n de la Fundaci\u00f3n Ethereum para impulsar un futuro ZK para la EVM"},"content":{"rendered":"\n<p><b>La Fundaci\u00f3n <a href=\"https:\/\/crypto-economy.com\/es\/vitalik-buterin-ethereum-sin-mas-cadenas-evm\/\" target=\"_blank\" rel=\"noopener\">Ethereum<\/a> otorg\u00f3&nbsp; una subvenci\u00f3n estrat\u00e9gica a Certora para avanzar en la seguridad de la zkEVM, en colaboraci\u00f3n con Powdr Labs<\/b><span style=\"font-weight: 400\">. La iniciativa se enfoca en la verificaci\u00f3n de los \u00abAutoprecompiles\u00bb, componentes optimizados de circuitos de conocimiento cero (ZK) dise\u00f1ados para mejorar dr\u00e1sticamente el rendimiento computacional. El CEO de Certora, Seth Hallem dijo que el proyecto es fundamental para garantizar que la infraestructura de escalabilidad m\u00e1s avanzada de la red cuente con una validaci\u00f3n matem\u00e1tica rigurosa desde su base.<\/span><\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-rich is-provider-twitter wp-block-embed-twitter\"><div class=\"wp-block-embed__wrapper\">\n<blockquote class=\"twitter-tweet\" data-width=\"550\" data-dnt=\"true\"><p lang=\"en\" dir=\"ltr\">Certora is formally verifying <a href=\"https:\/\/twitter.com\/powdr_labs?ref_src=twsrc%5Etfw\" target=\"_blank\" rel=\"noopener\">@powdr_labs<\/a> autoprecompiles, supported by a grant from <a href=\"https:\/\/twitter.com\/ethereumfndn?ref_src=twsrc%5Etfw\" target=\"_blank\" rel=\"noopener\">@ethereumfndn<\/a>.<br><br>All specs + proofs will be open-sourced for the ZK ecosystem \ud83e\udee1 <a href=\"https:\/\/t.co\/TiDeLgI4SZ\">https:\/\/t.co\/TiDeLgI4SZ<\/a><\/p>&mdash; Certora (@Certora) <a href=\"https:\/\/twitter.com\/Certora\/status\/2019441186339962915?ref_src=twsrc%5Etfw\" target=\"_blank\" rel=\"noopener\">February 5, 2026<\/a><\/blockquote><script async src=\"https:\/\/platform.twitter.com\/widgets.js\" charset=\"utf-8\"><\/script>\n<\/div><\/figure>\n\n\n\n<!--more-->\n\n\n\n<p><b>La implementaci\u00f3n de estos componentes permite sustituir el modelo de ejecuci\u00f3n actual por una alternativa habilitada para ZK,<\/b><span style=\"font-weight: 400\"> lo que significa mayor velocidad, m\u00e1s seguridad y una disminuci\u00f3n de los costos de gas. Al inferir autom\u00e1ticamente componentes de bajo nivel, la zkEVM logra procesar operaciones criptogr\u00e1ficas complejas de forma eficiente.&nbsp;<\/span><\/p>\n\n\n\n<p><span style=\"font-weight: 400\">Como parte del acuerdo,<\/span><b> Certora <\/b><span style=\"font-weight: 400\">liberar\u00e1 de forma abierta sus especificaciones y marcos de verificaci\u00f3n, permitiendo que desarrolladores de Rollups e investigadores de protocolos ZK utilicen esta infraestructura. El pr\u00f3ximo paso ser\u00e1 vigilar la integraci\u00f3n de estas herramientas en las distintas capas de ejecuci\u00f3n de <\/span><b>Ethereum<\/b><span style=\"font-weight: 400\">. El mercado estar\u00e1 atento a c\u00f3mo estas t\u00e9cnicas de verificaci\u00f3n autom\u00e1tica reducen los errores manuales y aceleran la adopci\u00f3n masiva de soluciones de segunda capa basadas en tecnolog\u00eda de conocimiento cero.<\/span><\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<p><span style=\"font-weight: 400\">Fuente:<\/span><a href=\"https:\/\/x.com\/Certora\/status\/2019441186339962915\" target=\"_blank\" rel=\"noopener\"><span style=\"font-weight: 400\">https:\/\/x.com\/Certora\/status\/2019441186339962915<\/span><\/a><\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<p><b>Disclaimer: <\/b><span style=\"font-weight: 400\">L<\/span><span style=\"font-weight: 400\">as Noticias Flash de Crypto Economy se elaboran a partir de fuentes oficiales y p\u00fablicas verificadas por nuestro equipo editorial. Su prop\u00f3sito es informar de forma r\u00e1pida sobre hechos relevantes del ecosistema cripto y blockchain. Esta informaci\u00f3n no constituye asesoramiento financiero ni recomendaciones de inversi\u00f3n. Recomendamos verificar siempre los canales oficiales de cada proyecto antes de tomar decisiones relacionadas.&nbsp;<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>La Fundaci\u00f3n Ethereum otorg\u00f3&nbsp; una subvenci\u00f3n estrat\u00e9gica a Certora para avanzar en la seguridad de la zkEVM, en colaboraci\u00f3n con Powdr Labs. La iniciativa se enfoca en la verificaci\u00f3n de los \u00abAutoprecompiles\u00bb, componentes optimizados de circuitos de conocimiento cero (ZK) dise\u00f1ados para mejorar dr\u00e1sticamente el rendimiento computacional. El CEO de Certora, Seth Hallem dijo que &#8230; <\/p>\n<p class=\"read-more-container\"><a title=\"Certora gana una subvenci\u00f3n de la Fundaci\u00f3n Ethereum para impulsar un futuro ZK para la EVM\" class=\"read-more button\" href=\"https:\/\/crypto-economy.com\/es\/certora-gana-una-subvencion-de-la-fundacion-ethereum-para-impulsar-un-futuro-zk-para-la-evm\/#more-136626\" aria-label=\"Leer m\u00e1s sobre Certora gana una subvenci\u00f3n de la Fundaci\u00f3n Ethereum para impulsar un futuro ZK para la EVM\">Leer m\u00e1s<\/a><\/p>\n","protected":false},"author":48,"featured_media":136639,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"rank_math_title":"","rank_math_description":"Certora recibe subvenci\u00f3n de la Fundaci\u00f3n Ethereum para optimizar la zkEVM con Autoprecompiles, impulsando la escalabilidad y seguridad del ecosistema.\n","footnotes":""},"categories":[4892],"tags":[6917,74],"class_list":["post-136626","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-noticias-flash","tag-certora","tag-ethereum"],"_links":{"self":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/posts\/136626","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/users\/48"}],"replies":[{"embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/comments?post=136626"}],"version-history":[{"count":2,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/posts\/136626\/revisions"}],"predecessor-version":[{"id":136648,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/posts\/136626\/revisions\/136648"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/media\/136639"}],"wp:attachment":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/media?parent=136626"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/categories?post=136626"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/tags?post=136626"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}