...需求的增加会导致硬件需求呈指数级增长。 ## 2\. 流动性证明：一种新的共识方法 Sunrise 引入了一种名为流动性证明 (PoL) 的新型共识机制，它从根本上将其与传统的权益证明系统区分开来： - **经济活动评估**：PoL 根据实际的...
...面安全** Certora 的安全框架将正式验证与对 DeFi 的专业知识相结合。与 [Spearbit](https://spearbit.com/) 和 [Cantina](https://cantina.xyz/welcome) 社区合作，我们提供的安全策略远超传统审计。我们不仅仅是识别漏洞，而是证明它们无法存在...
...太坊上的rollup，其两层链间的双向交互并不完善。例如零知识证明，虽可以保证两层链间交互数据的安全性，却无法在layer2的角色设计和数据可用性上发力。 所以可以推测的是，未来Starcoin一定会在layer2使用多技术组合方案，...
...曲线秘钥体制的VRF证明验证的过程，关于椭圆曲线算法的知识如果不熟悉，可先参考文末“**相关阅读**”部分。 本文中用到的符号含义同上篇，不再解释。 ## ECVRF验证 验证方法如下： **方法**： ECVRF_verify(Y, pi_string, al...
...—哪怕只是有上传、下载而不能修改的权力（比如某些零知识证明的链下撮合），也是中心化的，因为你可以拒绝履约。 用第一原理去要求当前的去中心化世界，似乎有点过于“残酷”（除了公链本身，其他项目都不满足）...
...证模式（例如 utreexo、SwiftSync，很可能也会影响到基于零知识证据的系统例如 ZeroSync）的实现变得复杂许多。如果我们可以让 BIP30 完全退场，那会是一件好事。 并不是非要倡议采取什么行动（现状似乎相当不错），我希望为上...
...https://en.wikipedia.org/wiki/Fiat%E2%80%93Shamir_heuristic)，用于在零知识证明中生成随机性。此变换使用哈希函数的输出来获得这种随机性。Fiat-Shamir 变换的具体过程与证明系统和电路的“大小”有关。当正在递归验证的证明系统有很多列...
...化金额，并在每次转让的交易中提供金额一致且非负的零知识证明。这样，只有交易当事人知道当前交易的具体金额信息，第三方观察者无法获知金额数据。 此外，我们还可以使用环签名实现转账流向的盲化。用户的 coin 在 C...
...际上将实现高可扩展性。行动胜于言语，Polygon 团队在零知识技术方面投入 10 亿美元的行动值得称赞。 - 说到 Cardano，他们也是一个处于非常早期的 beta 产品，和 Solana 一样，也必须实现费用市场。Cardano 的系统要求仍然很低。...
...FHE）、受信执行环境（Trusted Execution Environments, TEEs）和零知识证明（Zero-Knowledge Proofs, ZKPs）——所面临的效率低下、安全漏洞和可用性有限等挑战不同，Arcium 提供了一种高效、去中心化的替代方案。 Arcium 的架构建立在多方执...
...ch/t/zkopru-zk-optimistic-rollup-for-private-transactions/7717)：使用零知识证明的 optimistic rollup 方案，每秒可处理 100 笔隐蔽交易。已上线测试网，支持 ETH、ERC20 和 ERC721 代币 * [反对在 Rollup 中使用 PoS 来选举领袖](https://ethresear.ch/t/against-pro...
...信任的比特币交易。Taproot Assets 并不需要对整条区块链的知识。 - Taproot Assets 允许资产与比特币的原子化互换。 - Taproot Assets 可以发行唯一资产、不唯一的资产以及收藏品。 - Taproot Assets 允许创造性的多签名和联合签名安排。 - ...
...的系统量之间的依赖关系，甚至被认为是可以在数学上[证明](https://hackmd.io/lWCjLs9NSiORaEzaWRJdsQ?view)的，并不存在。这一异常是使用 Certora Prover 发现的。幸运的是，无资金受到风险。这个发现重要地提醒我们，必须非常小心地区分...