zkDaily - 2026-03-19

零知识证明 zkDaily

ZKP Frontier Tracker 🎯

Thu

03.19

2026

Human-Extractable ZK Proofs of Knowledge: A Solution to Dark DAOs

Paper

https://eprint.iacr.org/2026/511

Zeyuan Yin Dark DAO CAPTCHA

Yin et al. proposed a human-extractable ZK proof of knowledge (HE-ZKPoK) protocol in their paper, using CAPTCHA puzzles to defend against Dark DAO vote-buying attacks without specialized hardware.

Notes

Dark DAO uses MPC or TEE for key encumbrance to enable automated vote-buying, attacking inalienable authentication in remote e-voting
Existing defenses rely on TEE or ASIC, difficult to deploy on blockchain
HE-ZKPoK protocol forces prover to solve human-extractable CAPTCHA puzzles and complete standard ZKPoK
Any human can extract witness by looking at prover's CAPTCHA queries and puzzles
Assuming humans cannot encumber secrets, vote-selling exposes private key, deterring vote-buying
Provides hardware-free alternative solution to Dark DAO

Collected by @icerdesign

零知识证明 zkDaily

Q&A Deep Dive 💬

Thu

03.19

2026

What is a Dark DAO and why is it a problem?

A Dark DAO is an automated vote buying system that lets users sell voting power without revealing their secret keys. It breaks the assumption that voters truly control their keys, undermining fair DAO governance.

Why can’t standard ZK proofs prevent vote selling?

Standard ZK proofs only show that a witness exists, not that the prover personally knows it. Using MPC or TEEs, others can generate proofs on behalf of the user, enabling vote selling.

How does HE-ZKPoK achieve extractability?

By requiring CAPTCHA queries and responses, observers can derive the underlying secret from these interactions. The witness becomes human extractable, ensuring the knowledge is not hidden behind delegation.

Prompted by @icerdesign