Created on 21st September 2023
•
zkSNARKs offer strong privacy properties, making them invaluable for a wide range of applications, from decentralized private currencies to computation systems. However, the generation of these proofs requires heavy computational resources, restricting their application. Current solutions which generate proofs in the cloud compromise privacy by sharing the data required for proof generation with a single machine. Since proof generation can require highly sensitive data like private keys, this requires trust to be placed in a single party, thus limiting zkSnarks’ application and necessitating a solution that balances efficiency and privacy.
zkHub innovatively solves this problem by establishing a marketplace for decentralized and efficient proof generation, without compromising the privacy of the data. The project uses Multi-party computation (MPC) protocols, allowing a prover to delegate proof generation to a set of workers, ensuring no private information is revealed to any worker as long as at least one worker does not collude with the rest. This unique approach to privacy-preserving delegation is not only secure against malicious actors but also avoids reliance on heavy cryptographic tools.
While developing zkHub, we faced challenges:
Proof System Complexity: zk-SNARKs and STARKs presented intricate architectures.
Solution: We conducted in-depth research and are exploring techniques from the DIZK paper for optimization.
Scalability: Adding more MPC nodes didn't linearly improve speed.
Solution: We employed Distributed Zero-Knowledge Proving and system-level optimizations.
Security & Privacy: Balancing efficient computation distribution with data privacy was crucial.
Solution: We adopted the SPDZ protocol for MPC and optimized randomness generation, ensuring data security.
Network Issues: Managing efficient communication across servers was challenging.
Solution: We optimized data transfer protocols to minimize latency.
Robustness: Ensuring resilience against attacks and system faults was essential.
Solution: We implemented checks during proof generation and introduced a node rating system for accountability.
Addressing these hurdles involved research, iterative development, and feedback, enhancing our platform's resilience and efficiency.
Tracks Applied (1)
Cheering for a project means supporting a project you like with as little as 0.0025 ETH. Right now, you can Cheer using ETH on Arbitrum, Optimism and Base.