Is the low cost of ZKP a false proposition from Aztec?

Introduction:

Starting from the bottom of technology and data, this article tries to answer whether ZKP’s low cost is a false proposition.

Introduction: With the continuous progress of ZKP (Zero-Knowledge Proof) technology, people have become keenly interested in its relationship between cost and performance. Extensive computing resources and algorithm optimization are indispensable to implementing and maintaining zero-knowledge proof systems. These calculations can result in high costs, especially when dealing with tremendous data and complex calculations. Therefore, ZKP does not absolutely have a cost advantage which depends on the specific application scenario.

Against the backdrop of the news of Aztec Connect being forced to shut down, it is essential for us to re-evaluate the claimed cost advantages of ZKP technology. Although ZKP is billed as a solution that can provide a high degree of privacy, the temporary failure of Aztec Connect at least proves that this technology faces huge challenges in terms of cost at this stage.

If ZKP technology is truly cost-effective, why is Aztec Connect unable to achieve sustainability in its operations? What’s more intriguing is that Aztec also encourages the community to fork, deploy and operate new versions of Aztec Connect. This hints at the huge resources required to run Aztec Connect independently. This also further exacerbates our doubts about the cost-effectiveness of ZKP. If ZKP indeed has the cost advantage, then why does the community need such a large investment to keep the project running?

Therefore, we need to take a serious look at the claimed cost advantages of ZKP technology. Perhaps the cost advantage of ZKP is just an over-exaggerated illusion, and the actual situation may be more complicated. When pursuing cost advantages, one needs to think about not only the optimization of a single aspect but also the performance and cost balance of the overall system comprehensively. For example, reducing computational costs may increase communication costs, or using more efficient algorithms may require more complex hardware support. Therefore, we need to conduct a comprehensive cost-benefit analysis for a specific project, weigh optimization strategies in all aspects, and find the best balance point.

Source: Bing Ventures

The broken cost myth

First, we need to define the cost structure of ZKP. Currently, various definition methods are complex and have different standards, which at least include hardware cost, computing cost, verification cost, storage cost, etc. But in this article, following the native principles of ZKP, the definition of the cost structure focuses on the two core costs of communication and computing cost. Communication cost refers to the cost of exchanging information between prover and validator, while computational cost refers to the cost of prover and validator to perform calculations. These two major costs play a core competitive role in ZKP because they directly affect the efficiency and security of proof and verification. If the communication cost and computing cost are too high, the efficiency of proof and verification will be reduced, thus affecting the performance of the entire system.

Now returning to Aztec’s privacy architecture, we need to realize that there are significant differences between Aztec’s Rollup approach and other ZK series Layer 2 solutions. Compared to aggregating and packaging multiple transactions to generate proofs, Aztec needs to generate proofs for each transaction separately and then package them. This approach results in the need to generate an independent proof for each transaction, which increases the calculation cost and gas fee, making Aztec’s gas fee higher than other Rollup schemes.

In addition, only the privacy proof generated natively by the user is a zero-knowledge proof that does not leak information, and the internal Rollup and external Rollup proofs on top of it are not necessarily zero-knowledge. This obscures the privacy advantages of ZKP and further questions the viability of ZKP’s cost advantage. Aztec Connect’s gateway method is relatively bloated. It aggregates transactions to Layer 1, and implements fund aggregation and Defi function calls through the Aztec Bridge Contract. However, this gateway approach may only be suitable for certain types of transactions in terms of fee sharing and may make project deployment less flexible.

Source: Sin7Y

Hard to measure cost-effectiveness

The relationship between cost and performance is complex and dynamic. Typically, lower cost improves performance because it reduces computational and communication overhead, thereby making the overall system more efficient. However, excessive pursuit of low cost will lead to performance degradation because it sacrifices certain computing and communication resources. Therefore, it is necessary to find a suitable balance between cost and performance in ZKP systems to meet the needs of different application fields.

Zero-knowledge proofs involve verifying the correctness of a claim between different participants by passing messages, so communication cost is a key factor. To reduce communication costs, we can consider using efficient communication protocols and compression algorithms to reduce message size and transmission time. Especially for Layer 2 projects like Aztec, cross-chain communication requires passing messages and data between different blockchain networks. Delivering messages involves network communication and interaction, which results in certain communication costs. Especially for large-scale full-chain DApp construction, the volume of message transmission will be greater, increasing the pressure on communication costs.

Zero-knowledge proofs require extensive computation to generate proofs and verify their correctness. In order to reduce computing costs, we can reduce unnecessary computing steps and storage overhead by optimizing algorithms and data structures. In addition, parallel computing and distributed computing technologies can also be used to distribute computing tasks to multiple nodes to improve computing efficiency. ZKP verification on the target chain is relatively cheap, but the process of generating proofs on the source chain requires large computational costs. Especially when using traditional methods for verification, the verification cost is high and users cannot afford it.

Source: Bing Ventures

More effective cost control strategies

The author believes that with the growth of technology, communication cost may no longer be the main restriction. The continuous advancement of modern communication technology means that communication costs are declining at a massive scale. Therefore, we need to focus more on optimizing computational costs, which may be more meaningful. However, as the application scope of such protocols expands, communication cost may still be an important consideration, and continued attention should be paid to its specific scenarios, so as to use it flexibly.

At the same time, we must know that algorithm optimization is not the only way to reduce computing costs. In addition to improving the algorithm of the protocol, you can also consider cutting computing costs through technological innovations in areas such as dedicated hardware, distributed computing, or deep learning. These methods require more long-term research and demonstration, but will definitely bring breakthroughs in performance improvements and cost advantages. We believe that the following directions deserve more attention in the future ZKP competition:

1. High performance and low computing cost: A ZKP project with high performance and low computing cost will be of great interest. This means that the project is able to generate and verify proofs in an efficient manner while maintaining security and privacy. Such a project would have broad application potential and be able to meet large-scale practical needs. There are currently several different ZKP proof systems, each with its own unique advantages and disadvantages. We are more optimistic about projects dedicated to improving and innovating proof systems to improve efficiency, reduce computational costs, and enhance security. Developers need to explore more efficient zero-knowledge proof construction and more optimized zero-knowledge proof verification algorithms to achieve faster and more reliable proof generation and verification processes.
2. A successful ZKP project should have features that can be deployed in the real world. This means it needs to take into account constraints in real-world settings and provide practical solutions. For example, considerations such as compatibility with existing infrastructure and systems, ease of integration, and usability are all important. Utilizing dedicated hardware to accelerate ZKP calculations is an important research direction. Future research can focus on the innovation of hardware acceleration technology, such as the use of customized hardware including FPGA (Field Programmable Gate Array) or ASIC (Application Specific Integrated Circuit). By using hardware acceleration, the performance and efficiency of the ZKP system can be improved, providing better support for large-scale applications and real-time scenarios.

Source: Bing Ventures

Solution to security issues: In the ZKP system, security is crucial. Security issues in the ZKP system are the biggest hidden costs, such as defense against attacks and vulnerabilities, security of parameter settings and guarantee of randomness, etc. Only by continuously improving the security of the ZKP system can such projects ensure its reliability and credibility in practical applications and provide users with a higher level of protection and privacy guarantees, which will run through the entire cost and performance design process.

To sum up, a promising ZKP project should feature high performance and low computing cost. It also should be oriented to practical applications, safe and trustworthy, deployable in the real world and secure throughout the process. We can foresee that the continuous development of ZKP technology will provide broader application prospects for privacy protection and verification performance. We also need to consider multiple factors when evaluating the cost-effectiveness of a ZKP project, including computing resources, security requirements, performance requirements, and complexity of implementation and maintenance. In some cases, ZKP may provide significant privacy and security benefits that offset the increased cost. However, in other cases, the cost may exceed the actual value provided.

Disclaimer：

1. This article is reprinted from [Bing Ventures]. All copyrights belong to the original author [Kyle Liu]. If there are objections to this reprint, please contact the Gate Learn team, and they will handle it promptly.
2. Liability Disclaimer: The views and opinions expressed in this article are solely those of the author and do not constitute any investment advice.
3. Translations of the article into other languages are done by the Gate Learn team. Unless mentioned, copying, distributing, or plagiarizing the translated articles is prohibited.