Zero-Knowledge Mechanisms Secure Private Verifiable Mechanism Design
This framework uses zero-knowledge proofs to allow mechanism designers to commit to secret rules while players verify incentive compatibility without a mediator.
Formalizing Complete Knowledge Prevents Secret Key Encumbrance and Restores Cryptographic Possession
Formalizing Complete Knowledge Prevents Secret Key Encumbrance and Restores Cryptographic Possession
New Complete Knowledge proofs prevent secret encumbrance by TEEs/MPC, ensuring unencumbered key control and securing decentralized governance.
