Modulus 中文官方

他说得没错——不过先把证明体量做到足够小，小到我们都不用再担心算力问题。

当你无法验证 AI 代理内部在发生什么时，它有多聪明其实并不重要。 ZK 证明可以在不暴露其逻辑的情况下，证明一个代理是否正确执行。 技术已经存在，但目前仍然缓慢、昂贵且难以扩展。暂时如此

Vitalik：L1 正在扩展，你那种通用型 L2 已经没有意义了。 这话有道理——但真正没有扩展起来的，是隐私。 zkVM 很不错，但如果我们真的想在大规模场景下支持应用——无论是华尔街，还是数百万个 AI 代理——它们远远不够

@Bitcoin 这是最符合比特币精神的可编程性与隐私路径。 没有 VM，没有新的信任假设，也不偏离比特币的哲学。 仅需三个最小化的 opcode，就能让比特币验证逻辑并支持私有条件。 github.com/ModulusZK/BitL…

Modulus 正在为 @Bitcoin 带来隐私与可编程性——同时不触及让比特币成为比特币的核心本质。 $BTC 保持简单，所有复杂性都在链下 无图灵完备、无循环 完全自愿参与 向后兼容 多项式验证 = 可预测、受控的成本 🔗👇

我们不问比特币能为我们做什么， 而是回答：我们能为比特币做什么。 moduluszk.medium.com/introducing-bi…

@ModulusZK moduluszk.medium.com/how-yield-gene…

无需放弃托管权，也能在比特币上获得收益。 @ModulusZK 的 zkFOL 将收益逻辑编译为多项式约束，由比特币节点直接验证。你的 BTC 始终留在原生 UTXO 中。 链接见回复 🔗👇

@ModulusZK moduluszk.medium.com/bitlogic-bitco…

比特币的量子防御层：BitLogic（来自 @ModulusZK） 一次升级，永久灵活（无需未来分叉） 公钥隐藏（抗量子隐私保护） 向后兼容（地址不受影响） 家庭节点也可验证（保持去中心化） 自愿采用 链接👇

zkEVM 被认为是扩展以太坊的必经之路——但如果我们根本不需要 VM 呢？ 来了解关于 zkVM 的一切，以及为什么它们并不是运行计算的唯一可行方案。 moduluszk.medium.com/unpacking-zkvm…

ICYMI：纽交所（NYSE）正在打造一个基于区块链的证券代币化平台。 听起来不错，但我们真的还需要一条新的企业链吗？ 如果有合适的 ZK 验证基础设施，其实可以在不造成生态割裂的情况下完成合规证明。

他们都在告诉你自家的 zkVM 有多强。 但每一个 opcode 都需要单独设计电路。 改了 VM → 重写电路。 新增 opcode → 新电路。 发现 Bug → 继续改电路。 这是一次选择。 而我们，选择了不同的路：跳过 VM。

比特币从来不只是用来支付和 HODL。 就连中本聪也曾表示，如果它被广泛采用，就应该考虑加入托管等更复杂的操作。 它确实被采用了，但能力仍然受限。 一阶逻辑（First-Order Logic）或许能用数学的力量改变这一切。

理想主义者认为必须二选一：TEE 还是 ZK。 务实派则明白，两者其实是完美互补的。 TEE 让你信任硬件， ZK 让计算可验证。 信任，但要验证。

所有人都在疯狂优化 ZK 证明。 而我们在重新思考——究竟什么才应该被放进证明里。

‘推荐再做一个 zkVM，没人会因此被炒’——这就是 ZK 领域版的‘买 IBM 永远不会被解雇’。 也许你能保住工作，但同时也让自己错过了真正颠覆性的尝试。

ZK 万物听起来很酷，但你有没有认真想过，在当前证明体量下，需要多大的算力支撑？