Initializing ZK Layer...
Solidity + resolc · ZK Solvency · Polkadot Hub

PROVE YOUR SOLVENCY. BORROW WITHOUT LIMITS.

ZK proofs on Polkadot Hub. Non-custodial. vDOT and WPAS collateral. Borrow USDH. Reveal nothing.

$0M
Total Value Locked
0%
Avg Utilization
0
ZK Proofs Generated
0
Protocols Integrated
0x4a2f 0x8c1d 0xf3b9 COMMITMENT: 0x7e4a NOIR ZK CIRCUIT
✓
SOLVENCY VERIFIED
Protocol Overview

How DotLend creates liquidity

The full borrowing cycle — deposit, prove solvency, borrow USDH, repay. The flywheel that powers Polkadot-native DeFi.

DotLend Protocol Overview — The Borrowing Cycle, ZK Solvency Proofs, and Ecosystem Flywheel on Polkadot Hub
Protocol Paper (PDF) Native Polkadot Lending Paper (PDF)
Live Markets

Money Market Rates

On-chain rates from Polkadot Hub TestNet. Two live collateral markets: vDOT (Bifrost) and WPAS (native PAS).

Asset Supply APY Borrow APY TVL Utilization
◆
vDOT
Bifrost Liquid Staking
 15.2% 6.8% $2.4M
68%
W
WPAS
Wrapped Native PAS
 8.5% 5.5% $960K
61%
Polkadot Hub TestNet · Chain ID 420420417 · 13 contracts deployed & verified TESTNET LIVE
ZK Solvency Architecture

Prove you have collateral
WITHOUT revealing your portfolio.

Traditional money markets require full collateral disclosure. DotLend uses Noir ZK circuits to verify solvency mathematically — the protocol learns only what it needs to know.
Privacy
Your portfolio composition, individual holdings, and total wealth remain completely private. Only a cryptographic proof of solvency is shared with the protocol.
Verifiability
Every solvency proof is mathematically verifiable on-chain in milliseconds. The Solidity verifier contract verifies the Noir proof deterministically — no oracle dependency.
Trustlessness
No administrator, no multisig, no governance approval needed to borrow. The ZK proof is the only permission required. Fully non-custodial architecture.
Honest testnet status: The Noir circuit (UltraHonk) compiles and valid proofs are generated every 30 minutes via Railway. On-chain verification uses MockSolvencyVerifier which accepts all proofs unconditionally. The real verifier cannot deploy yet because PolkaVM lacks BN254 elliptic curve precompiles. This is a PolkaVM limitation, not a circuit limitation.
Proof Generation Flow
01
Private Input
Portfolio balances + prices hashed client-side
LOCAL ONLY
02
Noir Circuit
UltraHonk proving system — LTV ratio verified in-circuit
BARRETENBERG
03
ZK Proof
Cryptographic proof: solvent = true, portfolio hidden
PUBLIC OUTPUT
04
On-Chain Verify
SolvencyGateway validates proof · O(1) time
SOLIDITY
05
Loan Disbursed
USDH sent to wallet — no KYC, no counterparty
INSTANT
Protocol Flow

Three steps to private borrowing

01
Deposit Collateral
Deposit vDOT (Bifrost liquid staking) or WPAS (native PAS wrapped as ERC-20) into the DotLend CollateralVault. Your deposits earn supply APY immediately. Assets remain in the non-custodial protocol — never in our control.
vDOT (Bifrost) WPAS Non-custodial Supply APY
02
Generate ZK Proof
Your browser or node generates a Noir ZK-SNARK proof (UltraHonk proving system) attesting to your collateral ratio without revealing which assets you hold, their quantities, or your wallet's total value. The circuit enforces the protocol's LTV rules cryptographically.
Noir ZK-SNARKs UltraHonk Client-side proving Zero disclosure
03
Borrow Against Proof
Submit the ZK proof to the SolvencyGateway contract. The Solidity verifier validates the proof in O(1) time and immediately disburses your loan in USDH. No credit check. No KYC. No counterparty. The math is the arbiter.
Solidity contract Instant disbursement No KYC O(1) verification
Technical Stack

Built on Polkadot-native infrastructure

Solidity contracts compiled via resolc for PolkaVM. OpenZeppelin v4.9.6. 102 Hardhat + 6 Forge fuzz tests.

Layer 3 — ZK Proof Layer
Noir Language
v1.0.0-beta.19
UltraHonk
Proving System
Barretenberg
Backend + WASM
Railway Cron
Every 30 min
feeds verified proofs to
Layer 2 — Smart Contracts
Solidity
v0.8.20
OpenZeppelin
v4.9.6
Hardhat + Forge
108 tests
resolc 0.5.0
Solidity → PolkaVM
deployed on
Layer 1 — Polkadot Hub EVM
Polkadot Hub
Chain ID 420420417
PolkaVM
RISC-V Runtime
DOT Security
$10B+ staked
Blockscout
All 13 verified
Security Model

Security through cryptographic guarantees

No trust assumptions. No multisig keys. No admin backdoors. Every guarantee is enforced by mathematics.

Non-Custodial Architecture
Your assets are locked in Solidity contracts you interact with directly. DotLend has zero ability to move, freeze, or access deposited funds outside of protocol rules.
Formal Audit Trail
All Solidity contracts and Noir circuits undergo independent security audits before mainnet deployment. Audit reports published on-chain and in GitHub.
ZK Soundness Guarantees
UltraHonk's soundness properties make it computationally infeasible to generate a valid solvency proof for an insolvent position. The math is the backstop.
Polkadot Shared Security
Polkadot Hub inherits the full economic security of the relay chain validator set — over $10B in staked DOT protecting every transaction.
Oracle-Independent Pricing
ZK proofs use on-chain state from the relay chain as price witnesses — no third-party oracle. Eliminates the oracle manipulation attack surface entirely.
Immutable Liquidation Logic
Liquidation thresholds and parameters are set at deployment and cannot be changed without a full contract upgrade — giving borrowers predictable risk rules.
Protocol Parameters

Conservative by design

Every parameter chosen to maximize borrower safety and liquidator incentives.

Loan-to-Value Ratio
0%
Conservative LTV — leaves 10% buffer above the liquidation threshold. Standard for early-stage lending markets.
Liquidation Threshold
0%
When health factor drops below 1.0, liquidators can seize collateral with a 5% bonus. Matches MakerDAO CDP design.
Stability Fee
0.5%/yr
Minimal cost of capital at 5 bps. vDOT staking yield (~15%) far exceeds borrow cost — economically rational to borrow against staked DOT.
Liquidation Bonus
+5%
Competitive incentive for liquidators. Covered by the collateral buffer. Keeps the protocol solvent without admin intervention.
Oracle Stale Guard
3600s
PriceOracle rejects any price data older than 1 hour. Prevents frozen-price attacks and stale collateral valuations during network outages.
Price Deviation Circuit Breaker
0%
Oracle rejects any single price update moving ±20% in one block. Prevents oracle key compromise from instantly liquidating all positions.
On-Chain

13 contracts deployed & verified

All contracts live on Polkadot Hub TestNet. Verified on Blockscout.

Contract Address Explorer
PriceOracle
 0x1282F6...5D173 View →
CollateralVault (vDOT)
 0xF94eBe...415A2 View →
LendingPool (vDOT)
 0x34B227...4e7e6 View →
WPAS
 0xc09348...87Eb90 View →
CollateralVault (WPAS)
 0x575B85...66C34 View →
LendingPool (WPAS)
 0xF68bDd...Fd3408 View →
SolvencyGateway
 0x199E3E...90Acd0 View →
MockSolvencyVerifier
 0xED2676...8C52cc View →
Try It

Live on Polkadot Hub TestNet

13 contracts deployed. 102 tests passing. Two collateral markets. Fully non-custodial.

Launch App Protocol Overview → Full Walkthrough →
Competition

Polkadot Solidity Hackathon 2026

EVM Track — DeFi/Stablecoin-enabled dApps. 80+ commits since Feb 15.

Track
EVM Track — DeFi / Stablecoin-enabled dApps. The first and only money market on Polkadot Hub EVM.
OpenZeppelin
Claiming the OZ track. Core primitives: Ownable, ReentrancyGuard, ERC20, SafeERC20 from OZ v4.9.6. TreasuryRouter pattern demonstrates non-trivial composition under PolkaVM bytecode constraints.
Evidence
13 contracts verified on Blockscout. Live oracle price feed. Crisis simulation with real liquidation. ZK solvency proofs every 30 minutes. All on-chain.