On October 8, the 0x research team officially announced the launch of OpenZKP, a completely open source zero-knowledge proof Rust implementation, zero-knowledge proof technology or soon to usher in a wider range of applications.
At the end of 2018, the decentralized exchange agreement 0x research team worked with StarkWare to create a proof-of-concept project for scalable DEX called StarkDEX. Throughout the process, developers learned a lot and were more confident about the power of ZKP (Zero Knowledge Proof) in terms of DEX scalability and performance.
- 0x protocol vulnerability principle analysis: malicious pending orders can disrupt the normal trading order
After the StarkDEX proof of concept in the spring of 2019, the 0x research team decided to independently experiment to build a more versatile solution, a solution that met the team's basic beliefs about open source and decentralization. On October 8, the 0x research team officially announced the launch of OpenZKP, a completely open source zero-knowledge proof Rust implementation.
The development team created an easy-to-use interface that anyone can interact with. Moreover, it is the fastest proof of the smallest proof available today. Click on the document and case for details.
Open source is at the heart of 0x's mission to create a world of certification. In order for the blockchain network to replace the traditional financial system, each layer of the stack must be open and transparent. Logically, the open source ZKP implementation is the next step, and it is critical to the widespread adoption of these technologies. Compared to closed source solutions, OpenZKP has several major advantages.
First of all, anyone can contribute to OpenZKP and develop on the basis of the work of the 0x team and others. Zero-knowledge proof is a rapidly evolving technology that many professionals are studying. Through early release and frequent updates, researchers can effectively learn from each other and move forward together. Second, OpenZKP is auditable. It is critical that anyone can view the code themselves and determine if it has a security breach. Third, this open source implementation provides a continuity. The development team wants the 0x protocol to be unaffected by its creators at runtime. This happens only if all source code is accessible.
The OpenZKP library is already available to developers. The development team uses STARK in the zero-knowledge proof because it has some unique features. Most importantly, STARK has very fast certifiers, especially for constraints with many repetitiveities, which is the main bottleneck for test cases. STARK's encryption security is very good, does not require a trusted initial setup, and can withstand quantum computer attacks, and mathematical aspects are simpler than some alternatives. There has also been positive development in closely related systems such as Aurora. Its main drawback is that it uses a new constraint language and there are currently no good tools. Another disadvantage is that the proof itself is larger than some other systems, and although it is about 100kB, it is still small.