Current blockchain systems largely replicate centuries-old ledger mechanics—fixed token counts, explicit ownership percentages, and settlement finality—on new substrates. Morton starts from the observation that money itself has always operated as a compressed proof of contribution and claim, then asks what happens when that proof can be computed rather than recorded. The talk moves from this framing to programmable cryptography as a design material, showing how ZK and related tools lift constraints that previously forced economic rules into discrete, auditable units. One resulting construction, fuzzy money, replaces deterministic shares with Dirichlet-sampled distributions whose peakedness and concentration become explicit macroeconomic levers. The discussion stays at the level of mechanism rather than application slogans, making the concrete differences from existing token or DAO designs legible to implementers.
Key Takeaways
- Money functions as a zero-knowledge proof that compresses an agent's net contributions and claims without exposing the full transaction history.
- Token-based cryptocurrency systems remain skeuomorphic: they port farmer-ledger accounting to a substrate that no longer requires the same constraints.
- Consensus algorithms, programmable cryptography, and ZK proofs together remove the computational limits that previously dictated discrete ownership units.
- Fuzzy money encodes ownership as a distribution over possible shares rather than a fixed percentage, using Dirichlet parameters to control both inequality and precision.
- Peakedness and definiteness of the ownership distribution become tunable macroeconomic controls that can be adjusted without altering individual token balances.
Who should watch: Protocol designers and cryptographers evaluating alternatives to account or UTXO models for on-chain resource allocation.
Why This Matters
We track the shift from ZK as a verification primitive to ZK as a first-class tool for specifying institutional mechanics; this talk supplies one of the few explicit examples of the latter.