verifiability

The Zcash Open Development Lab (ZODL) has proposed a new network upgrade and shielded pool named "Ironwood" in collaboration with Tachyon, Valar Group, Zcash Foundation, and Shielded Labs, scheduled to be activated by the end of July 2026, with the exact timing depending on the progress of testing and ecological coordination. Ironwood will continue to use the existing Orchard protocol but will add formal verification and independent security audits, and will verify the entire ZEC supply transferred from Orchard to Ironwood through the "Turnstile" mechanism, allowing anyone to audit the circulating supply of Zcash, thereby further enhancing the security and transparency of the protocol.ZODL stated that the recently discovered integrity vulnerability in Orchard was identified during ongoing security research and has been fixed through a coordinated upgrade. Currently, there is no evidence that the vulnerability has been exploited, nor are there any signs that user funds have been compromised or that the total supply of ZEC has changed. Related issues have not affected the privacy attributes of any privacy pools, and Orchard continues to operate normally. According to the plan, after the upgrade, the Orchard pool will close to new deposits and internal transactions, and funds can only be migrated to Ironwood through the Turnstile mechanism. Wallets supporting Orchard will provide a one-click migration feature, and the new privacy pool will continue to use users' existing Orchard addresses without the need to change the receiving address. In addition, ZODL is advancing the deprecation of zcashd, including the development of a new command-line wallet Zallet, assisting node operators in migrating to Zebrad, and updating wallets and SDKs to support the Ironwood upgrade.

At the "Crypto 2026: From Cryptocurrency to Smart Economy" themed forum held in Hong Kong, guests including KiteAI's Asia Pacific head Laughing, Sentient's Asia Pacific head Anita, Brevis content director Nic Tang, Mentis product head Jerry, and Predict.fun's Asia Pacific BD head Ah Huang Ricardo engaged in a roundtable discussion on the theme "AI × Crypto --- The Foundation of the Next Generation Digital Economy."Regarding whether the outbreak of open-source AI Agents (such as "raising lobsters") is a short-term sentiment or a long-term trend, Laughing believes this marks a paradigm shift of AI from "conversational" to "executive," signaling the beginning of a long-term trend. However, Agents lack a physical identity, making it difficult for merchants to trust their trading behavior, and issues of data leakage and uncontrollability remain obstacles that must be overcome for scaling. Jerry pointed out, based on his own usage experience, that current Agents face security risks such as memory fuzziness, token consumption in dead loops, and accidental file deletion. Although newly emerged Agents have improvements, they still have shortcomings. Ah Huang Ricardo stated that behind the short-term sentiment is real user demand, but truly reproducible profitable trading Agents are still very rare, and there is a long way to go.Addressing core bottlenecks such as trust, security, and verifiability, Nic Tang emphasized that the current execution process of Agents is like a black box, where users cannot verify whether their decisions are executed as promised. Zero-knowledge proof technology can mathematically prove the source of an Agent's output and compliance with behavior, while not exposing privacy. Anita added that Sentient is committed to building an open and collaborative AI agent network, promoting the deep integration of AI and blockchain in identity, data, and incentive layers, providing foundational support for the next generation digital economy.Regarding the application scenarios that are likely to scale first, the guests generally believe that the programming field is relatively mature, and Agents in prediction markets perform better than humans in specific tracks due to their rationality and lack of emotions. In the short term, they are optimistic about API Marketplace and cross-platform consumer shopping Agents, while in the medium term, they are optimistic about content creation AI (such as AI influencers). Agent-to-Agent interaction and the Agent/Skill Marketplace are seen as important future trends.

Crypto DAO has recently promoted an upgrade to its transparency framework, with core modules covering reserve open-source verification, multi-party participation in management, restrictions on asset transfers in core contracts, on-chain tracking of operational traces, and automatic execution of incentive logic on-chain. This structure allows the system to operate without relying on manual explanations, as on-chain data presents itself, and the execution path of the mechanism is traceable. The update indicates that changes in reserves, parameter execution, and reward distribution are all processed through contract logic to reduce uncertainties caused by human intervention. Such transparent pathways provide participants with a clearer way to observe the structure and offer recordable engineering conditions for the study of reserve mechanism operations and long-term system construction.

Vitalik posted on social media, "We need open-source and verifiable autonomous driving systems for cars."

ChainCatcher message, the encrypted payment protocol AEON announces the launch of x402 Facilitator on BNB Chain, promoting the practical application of autonomous AI payments.AEON's native deployment of this protocol on BNB Chain enables AI agents to securely and verifiably execute on-chain transactions and generate tamper-proof transaction receipts. This integration will support AI agents in directly interacting with millions of service providers within the BNB Chain ecosystem, providing a transparent and auditable infrastructure for autonomous payment scenarios.

ChainCatcher message, Vitalik Buterin's latest post points out that as the internet penetrates various aspects of life, including applications, operating systems, hardware, and biotechnology, the openness and verifiability of technology have become crucial. Vitalik believes that only by achieving true open source and user verifiability at the software, hardware, and biological levels can we ensure safety and fairness, avoiding data monopolies and trust crises. He calls for promoting full-stack openness to achieve a safer, freer, and more inclusive digital society.

ChainCatcher news, Celestia co-founder Nick White posted on social media, "The core of blockchain is verifiability, aimed at freeing us from committees and intermediaries. A more decentralized committee is still a committee."Ethereum co-founder Vitalik Buterin commented on social media, "If Ethereum abandons verifiability and accepts committees and centralized intermediaries as the solution to everything, I would consider it no longer Ethereum.In addition to verifiability, I would also add highly democratized participation."