The ZK track became popular in 22-23, but fell silent for a long time in 24-25. The two representative works of ZK, ZK sync+Starkware, had mediocre performance when they were launched, far inferior to OP+Arb, which has a first mover advantage (of course, Base is now the leader in L2) But recently, the launch of Boundless ZKC and Succinct Prove brought back some of the excitement of the ZK track. After all, the first principle of blockchain is to reach consensus without trust The two pivot points of this first principle are well-known to everyone 1. Decentralization aims to resist censorship and prevent single point of failure 2. Verifiability aims to enable anyone to independently verify the validity of transactions, blocks, and states in the network From this perspective, in the long run, ZK responsible for verifiability is the underlying technology stack that the entire industry cannot avoid. In addition, in recent months, V God has made various high-profile statements that he wants to push ETH towards comprehensive ZKization, so the popularity has returned a lot Tonight, another ZK project needs TGE, @ ZKVProtocol The reason why I am interested in this project is because it was done by the team @ HorizenLabs behind Zen. I have been following Zen for many years, initially not because of gray level holdings, but because the number of active nodes in Zen is exaggerated, with over 40000, and ETH is only over 10000 (the number of validators is over 1 million, but not equal to the number of nodes). Therefore, when evaluating the degree of decentralization solely based on the number of active nodes, Zen is definitely the No.1 In recent years, Zen has transformed from a privacy coin to a platform based infrastructure for privacy application chains. The official Zkverify developed by the team behind it is a ZK verification layer that focuses on "low cost, low latency, universal compatibility, and developer friendliness" How did it happen? Actually, it's a bit similar to Hyperliquid Core, which takes a specialized route. Hyperliquid Core is a pure Perp L1, doing nothing but Perp, completely independent of HyperEVM. ZKVerify is also designed specifically for ZKP verification using L1, which does not include smart contract functionality and only performs ZKP verification. Native support for multiple proof systems including Groth16, FFLONK, RISC0, UltraPlonk, and Plonky2, with millisecond verification. Compared to direct verification on ETH, the cost is reduced by 90% Don't underestimate the cost, the rapid popularity of GPT is closely related to the exponential decline in token costs every year. If a conversation costs you two cents, how many people will really use AI every day? ZK is the same, in terms of performance and cost, V God's vision of ETH Fully Snark can truly be realized When it comes to the difference between Boundless and Succinct, there is both competition and complementarity. Succinct focuses more on the Rust/LLVM developer ecosystem, so we collaborate on public chain objects like Mantle, while Boundless builds a proof market, similar to the ZK version http://IO.NET ZKverify is more versatile, focusing on abstract verification complexity, more like the "AWS" of the ZK world, with partners such as blockchain games, AI, Defi, etc., such as @ apecoin from Bored Ape and the recently popular @ zerobasezk (by the way, everyone has saved money to go to Booster) The project has raised 11 million yuan, with a 30% opening for circulation. Tonight, Binance Alpha, Binance contracts, as well as exchanges such as Gate and Kucoin will be launched. An interesting point is that I remember someone did a statistical analysis a while ago, saying that the performance of Alpha coins on contracts is much better than those on both spot and futures contracts. So, we can look forward to the performance of VFY tonight