{"id":49242,"date":"2026-07-08T07:38:05","date_gmt":"2026-07-08T07:38:05","guid":{"rendered":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/"},"modified":"2026-07-08T07:38:05","modified_gmt":"2026-07-08T07:38:05","slug":"zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready","status":"publish","type":"post","link":"https:\/\/cryptd.in\/lv\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/","title":{"rendered":"ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready"},"content":{"rendered":"

Zcash (ZEC) briefly climbed above $500 after founder Zooko Wilcox-O\u2019Hearn said the project\u2019s Tachyon Formal Verification initiative is close to delivering a mathematical proof that the latest Zcash shielded pools contain no undetectable counterfeiting bugs.<\/p>\n

Wilcox said the project is \u201con the verge of producing a mathematical proof\u201d that would eliminate the long-standing tradeoff between privacy and the ability to verify a cryptocurrency\u2019s money supply.<\/p>\n

Hidden Bug Scare<\/h2>\n

Project Tachyon has shared<\/a> new details about its verification work for Zcash\u2019s upcoming Ironwood shielded pool, following the recent discovery of a vulnerability in Orchard.<\/p>\n

In May, Shielded Labs security researcher Taylor Hornby identified<\/a> a counterfeiting flaw in Orchard, Zcash\u2019s flagship shielded pool. While the issue was patched through a network upgrade and the team believes it was never exploited, its undetectable nature led the community to develop Ironwood as a new shielded pool with the vulnerability removed.<\/p>\n

Ironwood is based on Orchard but starts with the patched design. The protocol also includes a turnstile mechanism that allows users to move funds from Orchard to Ironwood, and helps demonstrate that no counterfeiting occurred. As part of the transition, payments within the older Orchard pool will be disabled, providing an upper limit on the circulating ZEC supply.<\/p>\n

According to the project, fixing the bug alone was not enough to ensure future security. Instead, the community launched a \u201cmulti-pronged\u201d verification effort that combines extensive security audits, analysis using frontier AI tools, and formal verification to confirm the correctness of Ironwood.<\/p>\n

Bullish Setup?<\/h2>\n

ZEC gained steadily over the past week. The privacy coin rose from around $410 to briefly cross the $500 mark before giving back some of its gains to settle near $480. Even after pulling back, ZEC is up by almost 20% during this period.<\/p>\n

Trader \u2018Ardi\u2019 teica .<\/a> ZEC is facing a key resistance around $480, where a descending trendline and a horizontal resistance level meet. This has created a \u201ccompound resistance.\u201d The trader believes the recent rejection at that level actually strengthened the setup by bringing the price back to retest the trendline.<\/p>\n

According to Ardi, if the token breaks above $480 and holds that level as support, it could regain momentum and climb back above $500.<\/p>\n

Amats ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready<\/a> appeared first on CryptoPotato<\/a>.<\/p>","protected":false},"excerpt":{"rendered":"

Zcash (ZEC) briefly climbed above $500 after founder Zooko Wilcox-O\u2019Hearn said the project\u2019s Tachyon Formal Verification initiative is close to delivering a mathematical proof that the latest Zcash shielded pools contain no undetectable counterfeiting bugs. Wilcox said the project is \u201con the verge of producing a mathematical proof\u201d that would eliminate the long-standing tradeoff between […]<\/p>\n","protected":false},"author":1,"featured_media":49244,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-49242","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-feeds"],"yoast_head":"\nZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready - cryptd.in<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/cryptd.in\/lv\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/\" \/>\n<meta property=\"og:locale\" content=\"lv_LV\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready - cryptd.in\" \/>\n<meta property=\"og:description\" content=\"Zcash (ZEC) briefly climbed above $500 after founder Zooko Wilcox-O\u2019Hearn said the project\u2019s Tachyon Formal Verification initiative is close to delivering a mathematical proof that the latest Zcash shielded pools contain no undetectable counterfeiting bugs. Wilcox said the project is \u201con the verge of producing a mathematical proof\u201d that would eliminate the long-standing tradeoff between […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/cryptd.in\/lv\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/\" \/>\n<meta property=\"og:site_name\" content=\"cryptd.in\" \/>\n<meta property=\"article:published_time\" content=\"2026-07-08T07:38:05+00:00\" \/>\n<meta name=\"author\" content=\"cryptd.in\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"cryptd.in\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 min\u016btes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/\"},\"author\":{\"name\":\"cryptd.in\",\"@id\":\"https:\\\/\\\/cryptd.in\\\/#\\\/schema\\\/person\\\/7973e8183bc6723b86adfe84d5af0ce4\"},\"headline\":\"ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready\",\"datePublished\":\"2026-07-08T07:38:05+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/\"},\"wordCount\":390,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/cryptd.in\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/cryptd.in\\\/wp-content\\\/uploads\\\/2026\\\/07\\\/Zcash_ZEC-TJzid2.jpg\",\"articleSection\":[\"Feeds\"],\"inLanguage\":\"lv-LV\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/\",\"url\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/\",\"name\":\"ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready - cryptd.in\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/cryptd.in\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/cryptd.in\\\/wp-content\\\/uploads\\\/2026\\\/07\\\/Zcash_ZEC-TJzid2.jpg\",\"datePublished\":\"2026-07-08T07:38:05+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/#breadcrumb\"},\"inLanguage\":\"lv-LV\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"lv-LV\",\"@id\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/#primaryimage\",\"url\":\"https:\\\/\\\/cryptd.in\\\/wp-content\\\/uploads\\\/2026\\\/07\\\/Zcash_ZEC-TJzid2.jpg\",\"contentUrl\":\"https:\\\/\\\/cryptd.in\\\/wp-content\\\/uploads\\\/2026\\\/07\\\/Zcash_ZEC-TJzid2.jpg\",\"width\":1201,\"height\":720},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/cryptd.in\\\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/cryptd.in\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/cryptd.in\\\/#website\",\"url\":\"https:\\\/\\\/cryptd.in\\\/\",\"name\":\"cryptd.in\",\"description\":\"Alternative LinkedIn for Crypto-friendly Talents\",\"publisher\":{\"@id\":\"https:\\\/\\\/cryptd.in\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/cryptd.in\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"lv-LV\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/cryptd.in\\\/#organization\",\"name\":\"cryptd.in\",\"url\":\"https:\\\/\\\/cryptd.in\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"lv-LV\",\"@id\":\"https:\\\/\\\/cryptd.in\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/cryptd.in\\\/wp-content\\\/uploads\\\/2024\\\/05\\\/cryptdin_logo.jpg\",\"contentUrl\":\"https:\\\/\\\/cryptd.in\\\/wp-content\\\/uploads\\\/2024\\\/05\\\/cryptdin_logo.jpg\",\"width\":900,\"height\":900,\"caption\":\"cryptd.in\"},\"image\":{\"@id\":\"https:\\\/\\\/cryptd.in\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/cryptd.in\\\/#\\\/schema\\\/person\\\/7973e8183bc6723b86adfe84d5af0ce4\",\"name\":\"cryptd.in\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"lv-LV\",\"@id\":\"https:\\\/\\\/cryptd.in\\\/wp-content\\\/litespeed\\\/avatar\\\/0b38230b9c4987de71d8ea131b2d0c60.jpg?ver=1783446937\",\"url\":\"https:\\\/\\\/cryptd.in\\\/wp-content\\\/litespeed\\\/avatar\\\/0b38230b9c4987de71d8ea131b2d0c60.jpg?ver=1783446937\",\"contentUrl\":\"https:\\\/\\\/cryptd.in\\\/wp-content\\\/litespeed\\\/avatar\\\/0b38230b9c4987de71d8ea131b2d0c60.jpg?ver=1783446937\",\"caption\":\"cryptd.in\"},\"sameAs\":[\"http:\\\/\\\/cryptd.in\"],\"url\":\"https:\\\/\\\/cryptd.in\\\/lv\\\/author\\\/cryptd-in\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready - cryptd.in","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:\/\/cryptd.in\/lv\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/","og_locale":"lv_LV","og_type":"article","og_title":"ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready - cryptd.in","og_description":"Zcash (ZEC) briefly climbed above $500 after founder Zooko Wilcox-O\u2019Hearn said the project\u2019s Tachyon Formal Verification initiative is close to delivering a mathematical proof that the latest Zcash shielded pools contain no undetectable counterfeiting bugs. Wilcox said the project is \u201con the verge of producing a mathematical proof\u201d that would eliminate the long-standing tradeoff between […]","og_url":"https:\/\/cryptd.in\/lv\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/","og_site_name":"cryptd.in","article_published_time":"2026-07-08T07:38:05+00:00","author":"cryptd.in","twitter_card":"summary_large_image","twitter_misc":{"Written by":"cryptd.in","Est. reading time":"2 min\u016btes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/#article","isPartOf":{"@id":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/"},"author":{"name":"cryptd.in","@id":"https:\/\/cryptd.in\/#\/schema\/person\/7973e8183bc6723b86adfe84d5af0ce4"},"headline":"ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready","datePublished":"2026-07-08T07:38:05+00:00","mainEntityOfPage":{"@id":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/"},"wordCount":390,"commentCount":0,"publisher":{"@id":"https:\/\/cryptd.in\/#organization"},"image":{"@id":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/#primaryimage"},"thumbnailUrl":"https:\/\/cryptd.in\/wp-content\/uploads\/2026\/07\/Zcash_ZEC-TJzid2.jpg","articleSection":["Feeds"],"inLanguage":"lv-LV","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/","url":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/","name":"ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready - cryptd.in","isPartOf":{"@id":"https:\/\/cryptd.in\/#website"},"primaryImageOfPage":{"@id":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/#primaryimage"},"image":{"@id":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/#primaryimage"},"thumbnailUrl":"https:\/\/cryptd.in\/wp-content\/uploads\/2026\/07\/Zcash_ZEC-TJzid2.jpg","datePublished":"2026-07-08T07:38:05+00:00","breadcrumb":{"@id":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/#breadcrumb"},"inLanguage":"lv-LV","potentialAction":[{"@type":"ReadAction","target":["https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/"]}]},{"@type":"ImageObject","inLanguage":"lv-LV","@id":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/#primaryimage","url":"https:\/\/cryptd.in\/wp-content\/uploads\/2026\/07\/Zcash_ZEC-TJzid2.jpg","contentUrl":"https:\/\/cryptd.in\/wp-content\/uploads\/2026\/07\/Zcash_ZEC-TJzid2.jpg","width":1201,"height":720},{"@type":"BreadcrumbList","@id":"https:\/\/cryptd.in\/zec-briefly-tops-500-after-founder-says-formal-proof-is-nearly-ready\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/cryptd.in\/"},{"@type":"ListItem","position":2,"name":"ZEC Briefly Tops $500 After Founder Says Formal Proof Is Nearly Ready"}]},{"@type":"WebSite","@id":"https:\/\/cryptd.in\/#website","url":"https:\/\/cryptd.in\/","name":"cryptd.in","description":"Alternat\u012bva LinkedIn kriptogr\u0101fijai draudz\u012bgiem talantiem","publisher":{"@id":"https:\/\/cryptd.in\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/cryptd.in\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"lv-LV"},{"@type":"Organization","@id":"https:\/\/cryptd.in\/#organization","name":"cryptd.in","url":"https:\/\/cryptd.in\/","logo":{"@type":"ImageObject","inLanguage":"lv-LV","@id":"https:\/\/cryptd.in\/#\/schema\/logo\/image\/","url":"https:\/\/cryptd.in\/wp-content\/uploads\/2024\/05\/cryptdin_logo.jpg","contentUrl":"https:\/\/cryptd.in\/wp-content\/uploads\/2024\/05\/cryptdin_logo.jpg","width":900,"height":900,"caption":"cryptd.in"},"image":{"@id":"https:\/\/cryptd.in\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/cryptd.in\/#\/schema\/person\/7973e8183bc6723b86adfe84d5af0ce4","name":"cryptd.in","image":{"@type":"ImageObject","inLanguage":"lv-LV","@id":"https:\/\/cryptd.in\/wp-content\/litespeed\/avatar\/0b38230b9c4987de71d8ea131b2d0c60.jpg?ver=1783446937","url":"https:\/\/cryptd.in\/wp-content\/litespeed\/avatar\/0b38230b9c4987de71d8ea131b2d0c60.jpg?ver=1783446937","contentUrl":"https:\/\/cryptd.in\/wp-content\/litespeed\/avatar\/0b38230b9c4987de71d8ea131b2d0c60.jpg?ver=1783446937","caption":"cryptd.in"},"sameAs":["http:\/\/cryptd.in"],"url":"https:\/\/cryptd.in\/lv\/author\/cryptd-in\/"}]}},"_links":{"self":[{"href":"https:\/\/cryptd.in\/lv\/wp-json\/wp\/v2\/posts\/49242","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cryptd.in\/lv\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cryptd.in\/lv\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cryptd.in\/lv\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cryptd.in\/lv\/wp-json\/wp\/v2\/comments?post=49242"}],"version-history":[{"count":0,"href":"https:\/\/cryptd.in\/lv\/wp-json\/wp\/v2\/posts\/49242\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cryptd.in\/lv\/wp-json\/wp\/v2\/media\/49244"}],"wp:attachment":[{"href":"https:\/\/cryptd.in\/lv\/wp-json\/wp\/v2\/media?parent=49242"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cryptd.in\/lv\/wp-json\/wp\/v2\/categories?post=49242"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cryptd.in\/lv\/wp-json\/wp\/v2\/tags?post=49242"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}