Modulus 中文官方

全球首创 Layer X 区块链｜简化型 ZK 技术

[Modulus 中文官方 @ModulusCN]

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

[Wu Blockchain @WuBlockchain]

Vitalik: zk Will Transform Not Only Blockchains, but the Entire Internet

On January 27, Ethereum founder Vitalik Buterin stated at the ETH ChiangMai togETHer Tuesday event that zero-knowledge proofs (zk) offer not only privacy and scalability benefits for blockchains, but may also extend their impact to broader internet use cases.

zk technology enables the verification of computation results without revealing the underlying data, providing new approaches to identity verification, algorithm transparency, and large-scale computation verification. He added that as technologies such as zk-SNARKs continue to mature, their range of applications is expected to expand significantly over the coming years.

Source: https://t.co/tOsHFfrts0

[Modulus 中文官方 @ModulusCN]

当你无法验证 AI 代理内部在发生什么时，它有多聪明其实并不重要。

ZK 证明可以在不暴露其逻辑的情况下，证明一个代理是否正确执行。

技术已经存在，但目前仍然缓慢、昂贵且难以扩展。暂时如此

[Modulus 中文官方 @ModulusCN]

Vitalik：L1 正在扩展，你那种通用型 L2 已经没有意义了。

这话有道理——但真正没有扩展起来的，是隐私。

zkVM 很不错，但如果我们真的想在大规模场景下支持应用——无论是华尔街，还是数百万个 AI 代理——它们远远不够

[Modulus 中文官方 @ModulusCN]

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

https://t.co/xxoWKgq1b2

[Modulus 中文官方 @ModulusCN]

Modulus 正在为 @Bitcoin 带来隐私与可编程性——同时不触及让比特币成为比特币的核心本质。

$BTC 保持简单，所有复杂性都在链下

无图灵完备、无循环

完全自愿参与

向后兼容

多项式验证 = 可预测、受控的成本

🔗👇

[Modulus 中文官方 @ModulusCN]

我们不问比特币能为我们做什么，
而是回答：我们能为比特币做什么。

https://t.co/zKGgiS4eJE

[Modulus 中文官方 @ModulusCN]

@ModulusZK https://t.co/LD1vBhLgoH

[Modulus 中文官方 @ModulusCN]

无需放弃托管权，也能在比特币上获得收益。

@ModulusZK 的 zkFOL 将收益逻辑编译为多项式约束，由比特币节点直接验证。你的 BTC 始终留在原生 UTXO 中。

链接见回复 🔗👇

[Modulus 中文官方 @ModulusCN]

@ModulusZK https://t.co/j4bsBocyvM

[Modulus 中文官方 @ModulusCN]

比特币的量子防御层：BitLogic（来自 @ModulusZK）

一次升级，永久灵活（无需未来分叉）

公钥隐藏（抗量子隐私保护）

向后兼容（地址不受影响）

家庭节点也可验证（保持去中心化）

自愿采用

链接👇

[Modulus 中文官方 @ModulusCN]

zkEVM 被认为是扩展以太坊的必经之路——但如果我们根本不需要 VM 呢？

来了解关于 zkVM 的一切，以及为什么它们并不是运行计算的唯一可行方案。

https://t.co/I4Fv8fqVPA

[Modulus 中文官方 @ModulusCN]

ICYMI：纽交所（NYSE）正在打造一个基于区块链的证券代币化平台。

听起来不错，但我们真的还需要一条新的企业链吗？

如果有合适的 ZK 验证基础设施，其实可以在不造成生态割裂的情况下完成合规证明。

[Modulus 中文官方 @ModulusCN]

他们都在告诉你自家的 zkVM 有多强。

但每一个 opcode 都需要单独设计电路。

改了 VM → 重写电路。
新增 opcode → 新电路。
发现 Bug → 继续改电路。
这是一次选择。
而我们，选择了不同的路：跳过 VM。

[Modulus 中文官方 @ModulusCN]

比特币从来不只是用来支付和 HODL。

就连中本聪也曾表示，如果它被广泛采用，就应该考虑加入托管等更复杂的操作。

它确实被采用了，但能力仍然受限。

一阶逻辑（First-Order Logic）或许能用数学的力量改变这一切。

[Modulus 中文官方 @ModulusCN]

理想主义者认为必须二选一：TEE 还是 ZK。

务实派则明白，两者其实是完美互补的。

TEE 让你信任硬件，
ZK 让计算可验证。
信任，但要验证。

[Modulus 中文官方 @ModulusCN]

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

[Modulus 中文官方 @ModulusCN]

‘推荐再做一个 zkVM，没人会因此被炒’——这就是 ZK 领域版的‘买 IBM 永远不会被解雇’。

也许你能保住工作，但同时也让自己错过了真正颠覆性的尝试。

[Modulus 中文官方 @ModulusCN]

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