ZKDSC
zkVerify - Powered Defi Stablecoin
Created on 13th February 2025
•
ZKDSC
zkVerify - Powered Defi Stablecoin
The problem ZKDSC solves
- Lack of Privacy in DeFi Collateral Verification
Current DeFi stablecoin systems require users to publicly disclose their collateral holdings and health factor to prove solvency. This exposes sensitive financial data and increases risks like front-running and targeted liquidations.
🔹 Solution: Our system leverages zkVerify and RiscZero to enable users to mint stablecoins while proving collateral sufficiency without revealing their health factor. By integrating zkVerify, we ensure privacy-preserving and trustless collateral verification using Zero-Knowledge Proofs (ZKPs).
- Trust Issues in Collateralization
Most stablecoins rely on centralized oracles or custodians to verify collateral, creating points of failure and censorship risks.
🔹 Solution: We use zkVerify’s immutable proof storage, ensuring all collateral proofs are verified in a decentralized and trustless manner.
- High Gas Costs for On-Chain Collateral Verification
Performing collateral health checks on-chain can be expensive, especially on Ethereum mainnet, limiting accessibility.
🔹 Solution: By deploying on Arbitrum, we reduce gas costs while maintaining security and efficiency. ZKP-based verification further optimizes computational overhead.
Challenges we ran into
- We faced a lot of issue with the setup of Risc0.
- Tried setting it up for 4 days but it was not working in one of the laptop's. Finally we wrote the entire code on a single laptop in which it was working.
- First time working with Rust which itself was a challenge.
- Our contract logic was complex which made debugging a pain in the a**.
Tracks Applied (2)
Arbitrum Web3 dApp with zkVerify
Arbitrum
zkVerify Main Prize Track
Cheer Project
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.