\n
higher.codes, an open autoresearch problem constructed by the Ethereum Basis Formal Verification workforce in collaboration with Yukon and zkSecurity, is now reside.<\/p>\n
higher.codes takes a self-contained downside from the Proximity Prize analysis, formalized in Lean, and places its soundness sure on a public leaderboard that anybody can push ahead.<\/p>\n
Solvers level their very own AI brokers at elevating the machine-checked soundness sure of koalaIRS12, a Reed\u2013Solomon proximity downside to advance fashionable succinct non-interactive proof techniques (SNARKs).<\/p>\n
The Lean kernel checks each submission and every promoted proof raises the sure towards the mounted 128-bit goal. Every promoted proof\u2019s new lemmas, proof methods, and impossibility outcomes are then upstreamed to advance progress for all solvers and brokers.<\/p>\n
Why provable bits<\/h2>\n
Practically all manufacturing hash-based SNARKs, from the proof techniques securing zkrollups and zkVMs to these central to Ethereum’s post-quantum roadmap, depend on proximity gaps and correlated settlement for Reed\u2013Solomon codes.<\/p>\n
What will be confirmed about these outcomes at present stops wanting what researchers consider the benchmarks could also be. Deployed techniques goal 128-bit safety, and that assure holds in full provided that the conjectures do. The higher.codes autoresearch problem goals to shut the hole between the conjectured safety benchmarks and confirmed safety benchmarks by way of open, incremental, verifiable, and public analysis.<\/p>\n
Earlier this yr the Ethereum Basis launched the Proximity Prize initiative to show, or disprove, the Reed\u2013Solomon proximity gaps conjectures, with grand challenges specified by Open Issues in Record Decoding and Correlated Settlement by Gal Arnon, Dan Boneh, and Giacomo Fenzi.<\/p>\n
The higher.codes problem downside, koalaIRS12, comes from the paper, bridges on to the grand challenges, and is formalized finish to finish in ArkLib (the Lean 4 library for formally verified arguments of data).<\/p>\n
All the time-on autoresearch<\/h2>\n
higher.codes is an autoresearch problem, a brand new mannequin for open collaboration the place members run their very own AI fashions, harnesses, and instruments in parallel in opposition to a standard verified benchmark and each promoted submission raises the ground for progress.<\/p>\n
No single agentic setup is perfect throughout an open downside, so many impartial setups working the identical benchmark transfer the frontier sooner than anybody workforce can. Open challenges constructed this fashion, together with ecdsa.fail, zk.golf, and snark.quick, have already moved analysis frontiers in quantum circuit design, verified ZK circuits, and post-quantum proving pace.<\/p>\n
The way it works<\/h2>\n
Sign up with GitHub at higher.codes and clone the problem repository. The concept assertion, parameter level, and verification harness are pinned; solvers work inside a chosen submission floor and show a bigger soundness decrease sure, scored in bits.<\/p>\n
A comparator checks that every submission’s exported theorem precisely matches the pinned assertion and the Lean kernel checks the proof. Accepted outcomes are promoted to the general public repository, credited to the solver and the AI mannequin used.<\/p>\n
Submissions are clear and git-backed. New lemmas, proof methods, and impossibility outcomes are upstreamed in order that anybody can learn previous diffs and submission notes, construct on prior work, and skip useless ends, incrementally advancing progress for all solvers and brokers.<\/p>\n
What comes subsequent<\/h2>\n
At this time’s launch covers the soundness problem to boost the confirmed decrease sure for koalaIRS12 to 128 bits. We hope so as to add additional challenges over time. Eligibility, analysis, awards, and funds are ruled by this system phrases and could also be adjusted because the problem progresses.<\/p>\n
Begin at higher.codes.<\/p>\n<\/div>\n
\n
Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"higher.codes, an open autoresearch problem constructed by the Ethereum Basis Formal Verification workforce in collaboration with Yukon and zkSecurity, is now reside. higher.codes takes a self-contained downside from the Proximity Prize analysis, formalized in Lean, and places its soundness sure on a public leaderboard that anybody can push ahead. Solvers level their very own AI […]<\/p>\n","protected":false},"author":1,"featured_media":4090,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"fifu_image_url":"https:\/\/blog.ethereum.org\/images\/eth-org.jpeg","fifu_image_alt":"","jnews-multi-image_gallery":[],"jnews_single_post":[],"jnews_primary_category":[],"jnews_override_bookmark_settings":[],"jnews_social_meta":[],"jnews_override_counter":[],"footnotes":""},"categories":[12],"tags":[2063,15,1552,242,4350,4349,2378,171,4351],"class_list":["post-4088","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-decentralized-technology","tag-advance","tag-agentic","tag-benchmarks","tag-collaboration","tag-hashbased","tag-machinechecked","tag-raising","tag-security","tag-snarks"],"yoast_head":"\n
Elevating machine-checked safety benchmarks to advance hash-based SNARKs by way of agentic collaboration - Future News 24<\/title>\n<meta name=\"description\" content=\"better.codes is now live. Bring your own agents and raise the proven soundness of koalaIRS12 to advance post-quantum Ethereum.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Elevating machine-checked safety benchmarks to advance hash-based SNARKs by way of agentic collaboration - Future News 24\" \/>\n<meta property=\"og:description\" content=\"better.codes is now live. Bring your own agents and raise the proven soundness of koalaIRS12 to advance post-quantum Ethereum.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/\" \/>\n<meta property=\"og:site_name\" content=\"Future News 24\" \/>\n<meta property=\"article:published_time\" content=\"2026-08-20T00:00:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-08-22T10:59:06+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/blog.ethereum.org\/images\/eth-org.jpeg\" \/>\n<meta name=\"author\" content=\"Future News 24\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:image\" content=\"https:\/\/blog.ethereum.org\/images\/eth-org.jpeg\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Future News 24\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/\"},\"author\":{\"name\":\"Future News 24\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/person\\\/cecad1bde21cfc357cf70128144d6c83\"},\"headline\":\"Elevating machine-checked safety benchmarks to advance hash-based SNARKs by way of agentic collaboration\",\"datePublished\":\"2026-08-20T00:00:00+00:00\",\"dateModified\":\"2026-08-22T10:59:06+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/\"},\"wordCount\":591,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/blog.ethereum.org\\\/images\\\/eth-org.jpeg\",\"keywords\":[\"Advance\",\"Agentic\",\"benchmarks\",\"Collaboration\",\"hashbased\",\"machinechecked\",\"raising\",\"Security\",\"SNARKs\"],\"articleSection\":[\"Decentralized Technology\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/\",\"name\":\"Elevating machine-checked safety benchmarks to advance hash-based SNARKs by way of agentic collaboration - Future News 24\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/blog.ethereum.org\\\/images\\\/eth-org.jpeg\",\"datePublished\":\"2026-08-20T00:00:00+00:00\",\"dateModified\":\"2026-08-22T10:59:06+00:00\",\"description\":\"better.codes is now live. Bring your own agents and raise the proven soundness of koalaIRS12 to advance post-quantum Ethereum.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/#primaryimage\",\"url\":\"https:\\\/\\\/blog.ethereum.org\\\/images\\\/eth-org.jpeg\",\"contentUrl\":\"https:\\\/\\\/blog.ethereum.org\\\/images\\\/eth-org.jpeg\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/20\\\/better-codes-challenge\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/futurenews24.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Elevating machine-checked safety benchmarks to advance hash-based SNARKs by way of agentic collaboration\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#website\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/\",\"name\":\"Future News 24\",\"description\":\"The Smart Hub for AI and Next-Gen Innovation\",\"publisher\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/futurenews24.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\",\"name\":\"Future News 24\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/fn24-favicon.png\",\"contentUrl\":\"https:\\\/\\\/futurenews24.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/fn24-favicon.png\",\"width\":250,\"height\":250,\"caption\":\"Future News 24\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/person\\\/cecad1bde21cfc357cf70128144d6c83\",\"name\":\"Future News 24\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"caption\":\"Future News 24\"},\"sameAs\":[\"https:\\\/\\\/futurenews24.com\"],\"url\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/author\\\/mridulpahuja20\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Elevating machine-checked safety benchmarks to advance hash-based SNARKs by way of agentic collaboration - Future News 24","description":"better.codes is now live. Bring your own agents and raise the proven soundness of koalaIRS12 to advance post-quantum Ethereum.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/","og_locale":"en_US","og_type":"article","og_title":"Elevating machine-checked safety benchmarks to advance hash-based SNARKs by way of agentic collaboration - Future News 24","og_description":"better.codes is now live. Bring your own agents and raise the proven soundness of koalaIRS12 to advance post-quantum Ethereum.","og_url":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/","og_site_name":"Future News 24","article_published_time":"2026-08-20T00:00:00+00:00","article_modified_time":"2026-08-22T10:59:06+00:00","og_image":[{"url":"https:\/\/blog.ethereum.org\/images\/eth-org.jpeg","type":"","width":"","height":""}],"author":"Future News 24","twitter_card":"summary_large_image","twitter_image":"https:\/\/blog.ethereum.org\/images\/eth-org.jpeg","twitter_misc":{"Written by":"Future News 24","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/#article","isPartOf":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/"},"author":{"name":"Future News 24","@id":"https:\/\/futurenews24.com\/#\/schema\/person\/cecad1bde21cfc357cf70128144d6c83"},"headline":"Elevating machine-checked safety benchmarks to advance hash-based SNARKs by way of agentic collaboration","datePublished":"2026-08-20T00:00:00+00:00","dateModified":"2026-08-22T10:59:06+00:00","mainEntityOfPage":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/"},"wordCount":591,"commentCount":0,"publisher":{"@id":"https:\/\/futurenews24.com\/#organization"},"image":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/#primaryimage"},"thumbnailUrl":"https:\/\/blog.ethereum.org\/images\/eth-org.jpeg","keywords":["Advance","Agentic","benchmarks","Collaboration","hashbased","machinechecked","raising","Security","SNARKs"],"articleSection":["Decentralized Technology"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/","url":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/","name":"Elevating machine-checked safety benchmarks to advance hash-based SNARKs by way of agentic collaboration - Future News 24","isPartOf":{"@id":"https:\/\/futurenews24.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/#primaryimage"},"image":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/#primaryimage"},"thumbnailUrl":"https:\/\/blog.ethereum.org\/images\/eth-org.jpeg","datePublished":"2026-08-20T00:00:00+00:00","dateModified":"2026-08-22T10:59:06+00:00","description":"better.codes is now live. Bring your own agents and raise the proven soundness of koalaIRS12 to advance post-quantum Ethereum.","breadcrumb":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/#primaryimage","url":"https:\/\/blog.ethereum.org\/images\/eth-org.jpeg","contentUrl":"https:\/\/blog.ethereum.org\/images\/eth-org.jpeg"},{"@type":"BreadcrumbList","@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/20\/better-codes-challenge\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/futurenews24.com\/"},{"@type":"ListItem","position":2,"name":"Elevating machine-checked safety benchmarks to advance hash-based SNARKs by way of agentic collaboration"}]},{"@type":"WebSite","@id":"https:\/\/futurenews24.com\/#website","url":"https:\/\/futurenews24.com\/","name":"Future News 24","description":"The Smart Hub for AI and Next-Gen Innovation","publisher":{"@id":"https:\/\/futurenews24.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/futurenews24.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/futurenews24.com\/#organization","name":"Future News 24","url":"https:\/\/futurenews24.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/futurenews24.com\/#\/schema\/logo\/image\/","url":"https:\/\/futurenews24.com\/wp-content\/uploads\/2026\/06\/fn24-favicon.png","contentUrl":"https:\/\/futurenews24.com\/wp-content\/uploads\/2026\/06\/fn24-favicon.png","width":250,"height":250,"caption":"Future News 24"},"image":{"@id":"https:\/\/futurenews24.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/futurenews24.com\/#\/schema\/person\/cecad1bde21cfc357cf70128144d6c83","name":"Future News 24","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","caption":"Future News 24"},"sameAs":["https:\/\/futurenews24.com"],"url":"https:\/\/futurenews24.com\/index.php\/author\/mridulpahuja20\/"}]}},"_links":{"self":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/4088","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/comments?post=4088"}],"version-history":[{"count":1,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/4088\/revisions"}],"predecessor-version":[{"id":4089,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/4088\/revisions\/4089"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/media\/4090"}],"wp:attachment":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/media?parent=4088"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/categories?post=4088"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/tags?post=4088"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}