Cryptocurrencies and Smart Contracts
summary
Defines a formal F-blockchain model that trusts correctness but not privacy, then builds Hark, a compiler and protocol that turns ordinary smart contracts into privacy-preserving workflows using ZK-SNARKs and an optional SGX-backed manager minimally trusted for efficiency. Hark enforces money conservation with ZK proofs, supports sealed-bid auctions, rock–paper–scissors, crowdfunding and swaps, and reports a 100-user auction prototype where the manager’s SNARK takes ~2.7 minutes and each user ~50 seconds.
AI-written summary · about
chapters (21)
- 0:00Introduction
- 0:32Plan
- 1:51Blockchain
- 2:41Secure Consensus
- 5:10Blockchain Functionality
- 6:33Ethereum Smart Contracts
- 11:08Time and pseudonymity
- 12:21Blockchain model
- 15:07Smart Contract Example
- 16:21Smart Contract Privacy
- 17:44Ethereum Privacy
- 22:36SGX
- 23:55Contracts
- 24:25Prototype
- 25:10Financial Fairness
- 25:25Reformulation
- 25:43Cost
- 26:20Zero Cash
- 27:39Smart Contracts
- 29:04Cryptocurrency deserves academic attention
- 29:38IC3 Initiative on Cyber Currencies and Contracts
related talks
32mSoK: Private Programmability on Blockchain Systems
42mWhy Privacy Matters
17mThe Privacy Paradox: Merging Confidentiality & Compliance in Finance
26mzk-SHARKs: Combining Succinct Verification and Public Coin Setup
01h 26mPanel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge Proofs
26mZether Towards Privacy in a Smart Contract World
19mZK Tutorial: An Introduction to SNARK Development with arkworks
41mThe Future Is Trustless: How ZkVMS And ZkTLS Transform Bug