To verify, zkRollups burns 10000000 per year I can't believe it! Swap、 Lending, voting, and other activities all require verification services, and ZK certification has been widely adopted. However, fragmented verification clients, high costs, and difficult integration have become common problems in the industry. Worldcoin requires burning 20-60 dollars of gas and WOW for a single verification. Let's sneak in! ⬇️ The blockchain world is a dark forest, where all code must be verified multiple times to complete specific services, which is also one of the features brought by decentralization. Without revealing specific details but being able to verify results, ZK zero knowledge proof technology has become a universal solution in the industry. However, the reality is not so beautiful. Let's talk about costs first Prove that the validation market estimates that zkRollups alone will spend over $100 million on security in 2024, and is expected to expand to $1.5 billion by 2028, including ZK applications. To be more specific, the verification cost of a single ZK proof on Ethereum can range from $16 to $205, with significant fluctuations and highly unstable services ▰ Fflonk：16.13 ▰ Halo2：28.81 ▰ Groth16：29.39 ▰ STARK：204.65 Note: Assuming only that the price of 30 gwei and eth is $3k If it's this cost, it becomes terrifying to complete private DeFi transactions, voting, gaming, and identity verification, and this thing is too expensive. At the beginning, it was mentioned that Worldcoin's single verification cost is around 20-60 dollars, and they were forced to switch to OP. However, this is only a temporary solution, as the vast majority of assets and services are still in the first layer of the network. 9 billion ZK proofs are waiting to be generated, which also means 9 billion verifications - who will pay for this account? Besides, cutting it apart Why are different ZK verification schemes stuck? The traditional solution relies on L1 on chain verification, but Ethereum's EIP process is too slow and seriously lags behind. In 2017, EIP-196 and 197 introduced precompiled contracts for BN254 curves, making zk SNARKs verification easier but also locking in other curves. The emerging BLS12-381 curve is safer and more efficient, but due to the fact that EIP-2537 has not yet been implemented, developers are forced to save the country by using curves: first aggregating proofs, then converting formats, extending the final time, and spending more money. STARK proves to be efficient, but the cost of verifying gas can reach over 2 million, far exceeding SNARKs. Rollups replaced ZK with fraud proof, but the one week challenge period is too long and poses a significant security risk; Due to script limitations, Bitcoin zkRollups can only be verified off chain and rely on complex BitVM challenges, with both cost and risk. Emerging proof systems such as Binius and Rinocchio are more advanced, capable of accelerating hardware implementation and supporting encrypted data proofs, but L1 does not support diverse finite fields and hash functions, resulting in verification costs skyrocketing by over 90%. result? Innovation is hijacked by DAO consensus and gas fluctuations, developers prefer to make do with old solutions, and the ZK ecosystem is like being choked by "curve standardization". What's going on? ZkVerify @ ZKVProtocol is here. It is a dedicated zero knowledge proof verification chain with a very clear positioning. It serves as the "verification layer" for the entire network, helping families reduce verification costs and providing developers with low-cost, low latency, and universally compatible friendly services. How much can be saved? 91%. Under the same conditions, the cost drops sharply after using zkVerify: ▰ Fflonk：16.13 ～ $​​1.45 ▰ Halo2：28.81 ～ $​​2.59 ▰ Groth16：29.39 ～ $​​2.65 ▰ STARK：204.65 ～ $​​18.42 This is a bit awesome! Not only does it reduce costs, but it also accepts the generality of proofs from any client, compatible with ZK stacks such as STARKs, Plonky2, RiscZero, SP1, UltraHon, etc. All of this can be achieved thanks to zkVerify's architecture and advanced components, including: Main chain: L1 proof of stake blockchain Proof submission interface: an interface for receiving various heterogeneous proofs Authentication mechanism: Create and publish authentication protocols ZkVerify L1 contract: stores new authentication and verification information As a product, zkVerify not only has a powerful architecture, but also unlocks a new proof system that supports polynomial interpolation and hash innovation, seamlessly integrating Binius and Circle STARKs; Innovated Bitcoin zkRollups, reducing off chain verification time from one week to just a few minutes; Simplified zkApps by generating proofs from the browser, delegating verification, and only storing small authentication to the settlement chain. To overcome the bottleneck of EIP, support diverse primitives, accelerate the Bitcoin/Ethereum roadmap, and bridge L1/L2 using standardized verification, this is what zkVerify needs to do. Supporting the infrastructure layer for the next wave of AI × ZK applications has become a smooth sailing task, so from this perspective, the significance is still enormous. Currently, zkVerify has been launched on the main network and is expected to hold a TGE on September 30th. This year, several major projects have opened up the ceiling of the market value of the zk track, and this type of zk infrastructure project needs special attention. / Author: Anymose | A Soft Core Science Popularization Writer This article is for educational purposes only and does not constitute any investment advice. Always remember DYOR!