十年回望（一）：知识

从"什么是顺序执行"到分布式共识和形式化验证。这是完整的知识体系。