Skip to content
DarkMint

DarkMint

Private Transactions made easy on Ethereum

Created on 7th August 2025

DarkMint

DarkMint

Private Transactions made easy on Ethereum

The problem DarkMint solves

  1. True Privacy Without Trust
    Unlike mixing services or centralized privacy solutions, DarkMint provides mathematically guaranteed privacy through zero-knowledge proofs. No trusted third parties, no mixing pools that can be analyzed - just pure cryptographic privacy.
  2. Ethereum Native Integration
    DarkMint doesn't require a separate blockchain or token. It works directly with ETH on Ethereum, using the existing infrastructure while adding a privacy layer that's completely transparent to the network.
  3. Novel MPT Verification Architecture
    The project implements a Modified Merkle Patricia Trie (MPT) verification system that's the first of its kind, enabling efficient proof of Ethereum state without revealing sensitive information.

Circuit 1: MPT-Middle Circuit (merkle_proof.rs)
This circuit handles intermediate layer verification in the Merkle Patricia Trie.
Key Innovation: Conditional commitment generation based on layer position
Security Property: Ensures keccak(layer_i) ⊆ layer_{i-1} for all intermediate layers.

Circuit 2: MPT-Last Circuit (account_verification.rs)
This circuit handles the final account layer verification
Key Operations: RLP encoding, address derivation, nullifier generation
Security Properties: Account existence proof + double-spend prevention

Challenges we ran into

1.Integrating SP1 zero-knowledge proofs with the zkVerify platform required converting proofs to a compatible format and handling the aggregation process.
2.Multiple type compatibility issues when calling Solidity contracts from Rust using Alloy.
3.Extracting and processing Merkle Patricia Trie (MPT) proofs from Ethereum account data required precise RLP encoding and prefix calculation.

Tracks Applied (3)

Horizen & zkVerify

Used Horizen Labs L3 for deploying Smart contracts that will Verify the ZKP using the ZKProofAggregatorProxy Contract , ...Read More

Horizen

Used Horizen Labs L3 for deploying Smart contracts that will Verify the ZKP using the ZKProofAggregatorProxy Contract , ...Read More

zkVerify

Used zkVerify as a Proof Aggregation Layer for verfying compressed Sp1 Proofs using RelayerAPI

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.

Discussion

Builders also viewed

See more projects on Devfolio