唐华斑竹 Discusses zkEVM Security-First Strategy

According to Twitter user 唐华斑竹, the focus of the zkEVM track has shifted towards security. Vitalik Buterin has emphasized the importance of security, and Ziren from ProjectZKM is leading in this area. Ziren has completed 104 theorem proofs using Lean4, covering 57 core chips, and has maintained over 100 interactive soundness at each proof stage. Its overall security level reaches 93.5 bits, with a proof throughput of 7.3 megahertz. Ziren has achieved end-to-end production on the Ethereum mainnet. GOAT Network settles on the Bitcoin network, enhancing security with BitVM3. In the future, as designs become public and independent reviews increase, the potential of GOAT Network at the intersection of the Bitcoin bridge and zkVM will become more apparent.

This content is provided for general informational purposes only and doesn't constitute financial, investment, legal, or tax advice. Any events, rewards, online promotions, or related information mentioned herein should not be considered a recommendation, solicitation, or invitation to purchase, sell, trade, or otherwise deal in any crypto assets. Crypto assets are highly volatile and may result in loss. The availability of WEEX services, products, and related events may vary by region. You are responsible for ensuring that your participation is in accordance with applicable local laws and regulations.