I物理成本是抵御篡改的唯一可扩展防线
任何能被廉价改写的系统,终将被改写。
数字系统并未脱离物理世界。计算消耗能量,通信跨越空间,验证受限于硬件。Parallax 将共识锚定于工作量证明,正是因为它引入了一种外部的、客观的成本——这种成本无法被模拟、无法通过投票产生,也无法通过社交协商达成。
能量支出制造了不对称:诚实参与是逐步累积工作的过程,而攻击则需要付出极不对称的代价。工作量证明并不保证正确性,但它保证改写历史是昂贵的。在对抗性系统中,昂贵就是可信。
界定 Parallax 存在所必须遵循的约束的公理与注释,与采纳程度、相关性或成败无关。
2025 年 12 月
Parallax 贡献者著
本文受 The Zurich Axioms 公理化风格启发,先以不可妥协的方式定义 Parallax 存在所依赖的约束,再以注释阐释其必要性。
公理是宣告性的,且不可更改。
注释是解释性的,不具有权威性。
若注释与公理相互冲突,以公理为准。
Parallax 信条的存在,是为了明确那些无论采纳程度、相关性或成败如何都必须保持成立的原则。
它不进行辩论。
它不试图说服。
它不承诺结果。
它定义的是在对抗性环境中保持正确性所需的条件。
Parallax 不假定自身一定成功。它不预设采纳、相关性或主导地位,也不为自身定义命运、路线图或最终结果。
本信条的存在,是为了陈述无论 Parallax 成功与否,正确性得以保持的条件。
一个相信自己注定胜利的系统,最终会为了避免失败而合理化干预行为。Parallax 拒绝这一前提。
任何能被廉价改写的系统,终将被改写。
数字系统并未脱离物理世界。计算消耗能量,通信跨越空间,验证受限于硬件。Parallax 将共识锚定于工作量证明,正是因为它引入了一种外部的、客观的成本——这种成本无法被模拟、无法通过投票产生,也无法通过社交协商达成。
能量支出制造了不对称:诚实参与是逐步累积工作的过程,而攻击则需要付出极不对称的代价。工作量证明并不保证正确性,但它保证改写历史是昂贵的。在对抗性系统中,昂贵就是可信。
全局共识需要延迟。试图消除延迟,就是制造优势。
共识不是计算,而是协调。在全球网络中协调,受限于延迟、带宽与验证时间。这些不是工程问题,而是物理极限。
那些将最终性时间压缩到极限以下的系统,会引入隐性优势:地理临近、专用网络、特权排序或协调机制。久而久之,这些优势会累积为控制力。Parallax 把时间视为稳定力量。慢慢赢得的最终性,比仓促宣告的最终性更稳固。
用委员会或验证者取代机构,并不意味着消除了信任。
无信任并不等于完全没有信任,而是把信任假设降到最低。许多系统只是把信任从银行迁移到验证者、从机构迁移到治理结构,却并未真正消除它。
Parallax 通过以下方式最小化信任:使有效性可独立验证、使规则的执行机械化,并使正确性不依赖身份或声誉。一个系统之所以无信任,不是因为参与者值得信任,而是因为根本不需要信任。
规则必须可在无需判断的情况下被执行。
解释引入裁量权。裁量权引入权力。如果一条规则需要上下文、意图或解释才能被正确执行,那么执行就依赖于人的判断。判断会累积权威,权威则会成为被俘获的入口。
Parallax 偏好可被确定性求值的规则。模糊不是灵活,而是被推迟的中心化。
货币上的灵活性,本质上就是裁量权的伪装。
货币体系之所以失败,并不是因为规则过于刚性,而是因为它们可被协商。例外会变成先例,裁量会吸引影响力。
Parallax 把货币规则视为约束,而非政策。它们不会因危机、情绪或协调压力而调整。可预测性不是便利,而是最小化信任的根基。
可被撤销的访问权,不是所有权。
所有权必须意味着不可撤销的访问。如果参与依赖于审批、身份或委托,那么访问就是有条件的。有条件的访问意味着背后存在一个有权撤销的权威。
Parallax 不授予访问权。它只定义任何人都可满足的约束。无需许可不是开放,而是没有守门人。
对抗性条件是默认状态,而非例外。
Parallax 假定参与者具有理性自利、信息不对称以及持续作弊的动机。安全并非源自善意,而是源自让作恶失效的约束。
一个需要靠合作才能维持安全的系统并非去中心化,而是脆弱的。
最终性源自成本,而非命令。
历史只有在能抵御被改写时才有价值。Parallax 并不主张绝对不可更改,它只确保改写历史需要真正的支出。
绝对的不可更改是脆弱的。基于成本的不可更改是可扩展的。最终性是通过工作累积出来的。
复杂性应当存在于结算之上的层级。
底层负责确立顺序与最终性。试图在底层最大化吞吐量或表达能力,只会增加复杂性与攻击面。
Parallax 把实验性内容限制在更高的层级,让失败不至于威胁结算的完整性。底层在设计上就保持缓慢、保守,并难以更改。
偏好就是一种被俘获。
中立不是道德立场,而是一种架构要求。无论参与者、交易或上下文为何,Parallax 都适用同样的规则。
那些迎合政治、社会或经济叙事的系统,必然引入裁量权。而裁量权正是被俘获的根源。
无法被观察的,就无法被纠正。
那些隐藏取舍、抽象掉成本或掩盖脆弱性的系统,会不断累积隐性风险。失效会持续叠加,直到系统崩塌。
Parallax 偏好显式的成本、可见的攻击面以及被承认的局限。透明不是乐观,而是韧性。
任何个人或组织都不应是有效性的必要条件。
即使 Parallax 的创造者消失、产生分歧或被遗忘,Parallax 也必须依然保持正确。意图无关紧要,权威也无关紧要。
唯一重要的是有效性。一个需要持续看护才能存续的系统,不是中立的基础设施。
衡量成功的不是采纳程度,而是长寿。
Parallax 的目标不是吸引关注、优化参与度或追逐热点,它的目的只在于持续存在。
长寿需要克制。克制需要约束。当基础设施隐入背景时,它便取得了成功。
Parallax 不要求被信任。
如果任何一条公理被证伪,Parallax 将会失败——而这种失败是可以接受的。
现实是裁判。
成本是信号。
时间是过滤器。
Parallax 不为讨人喜欢、被升级或被治理而设计——它只为保持正确而存在。