Skip to main content

Envisioning is a research institute that studies how institutions adapt to technological change.

LinkedIn Instagram GitHub

Since 2010

Observatory
Adaptive capacity
Hindsight
Newsletter
Methodology
Origins
Vocab
RSS feeds

Signals Session
Bespoke Projects
Build Sessions
Pricing
Use cases
Signals
Signal Scanfree

ANBIMAFuture of Brazilian Capital Markets
IEEECharting the Energy Transition
Horizon 2045Future of Human and Planetary Security
WKOTechnology Scanning for Austria

solutions

Innovation
Strategy
Consultants
Foresight
Associations
Governments
L&D

resources

Partners
Coding for Non-Coders
Git for non-coders
How we work
Data visualization
Multi-Model Convergence
FAQ
Security and privacy
Public sector

Manifesto
Community
Events
Support
Contact

Research Capability Services Signals About

Research Capability Services Signals About

From ‘code is law’ to ‘spec is law’ · Hindsight | Envisioning

Hindsight
Andreessen Horowitz (a16z)
Big Ideas
2026
Claim

From ‘code is law’ to ‘spec is law’

Published 2025-12-09

Publishers Forecast vs actual Side by side

To mature, DeFi security needs to move from bug patterns to design-level properties, and from “best-effort” to “principled” approaches:

Verdict

openFewer than two later editions exist yet (D33).

A trend is graded on whether the publisher keeps it, never as a hit or a miss (D6, D33).

All captured fields

rank: 39
section: Crypto
subject: Formal specification and runtime enforcement in DeFi security
author: Daejun Park
team: Crypto
confidence: high

Permalink

https://www.envisioning.com/hindsight/claims/a16z-big-ideas-2026-039

Cite

Hindsight, claim a16z-big-ideas-2026-039, open as of 2026-10-03. Envisioning. https://www.envisioning.com/hindsight/claims/a16z-big-ideas-2026-039

Dispute this verdict

Data, code and grading rules are public at github.com/envisioning/hindsight. Data under CC BY 4.0 (the BCB Focus survey under ODbL), code under MIT. Every rule is in the decision log. Think a verdict is wrong? Open a dispute.