BCG LabsSLG架构解析
1.前言1.1 SLG简介SLG为Simulation Game的缩写，称为模拟游戏，通过仿真的形式，模拟现实生活中的各种情形，达到“训练”玩家的目的。 国内对SLG的定义则基本指代战争策略类游戏，主要模拟人类社会中的经济发展和战争现象，一般使玩家扮演领导者的身份，通过决策偏好影响发展进程和战争走向。 目前市面上的战争策略类游戏有三个方向，第一个是以完备的系统和精美的素材，做细分题材换皮，如腾讯系列，友塔的《黑道风云》，第二个是深耕战略玩法，如网易的《率土之滨》、莉莉丝的《文明觉醒》，第三个是做战争策略+其他品类的融合，如IGG的《王国纪元》。1.2 解析目的不管是选用现有的方向还是开拓新的方向，都需要深入了解战争策略类型自身的系统结构和核心体验，从而才能根据制作方向和所选题材，做出对应的设计和取舍。1.3 解析方向以战争策略为出发点，从军事、经济、科技、社交和文化（游戏背景和世界观）五个方面着手，分解各方面的系统构成，以及这些系统间如何相互作用，从而形成与其他类型游戏不同的游戏体验。2.军事在战争策略游戏中，军事是游戏的核心，玩家扮演一方势力之主，主要通过军事行为来达成游戏的各...
BCG Labs深入理解zk-STARK证明系统
转自： https://trapdoor-tech.github.io/zkstark-book/AIR/air.html算术化许多零知识证明系统都使用算术化的方法，将计算类问题简化成涉及有限域F上的多项式的代数问题。zk-STARK对计算完整性（ Computational Integrity， CI）声明，“输出结果α是程序C根据输入x经过T步执行所得”，进行证明的第一步是算术化。 zk-STARK算术化的方法包括2个重要方法，首先，构建程序C的代数中间表达(Algebraic Intermediate Representation, AIR)，用s个多项式描述当前执行状态与下一步状态的转化约束；其次，为降低证明者的时间复杂度和空间复杂度，将上述多项式进行链接合并形成1个多项式，该方法称为ALI（Algebraic Linking Interactive Oracle Proof）。 详细说明如下。AIR对计算完整性进一步深入理解下，实际上需要通过AIR将这一约束表达出来，即从输入x到输出α的程序执行过程中的中间计算状态转换，中间计算状态则是一堆寄存器数值。因此，给出AIR的...
Subscribe to BCG Labs
<100 subscribers
