... 通过本指南，我们学习了用于函数调用的 ABI 编码的基础知识，ABI 编码函数调用的关键组件，并对 calldata 有了更详细的了解。我们还探讨了如何计算 calldata 的 gas 成本，甚至进一步探讨了更复杂的 calldata 解码和编码练习，以帮...
...ollups 如何做到同样的事情呢？ 对本来就基于 KZG 承诺证明的方案很容易，例如使用 BLS12_381 的 PLONK。然而，许多应用会选择不同的证明方案，更重要的是，会选择其他具有不同群阶的椭圆曲线，并因而产生其他域。。这在证...
...有效性证明的效率。Starknet 使用 STARKs（可扩展、透明的知识论证）作为其证明系统，能够为复杂的计算生成简洁的证明，从而大大降低链上验证过程的复杂性。 本文将深入探讨使 Starknet 成为 TPS 性能最强的 L2 的不同组件 — C...
...个攻击角度。 也许我们应该回顾一下我们到目前为止的知识，这将给我们一个前进方向。让我们看看：我们知道算术电路由**加法**和**乘法**门组成。并且每当你向电路输入一些输入时，它会通过导线向前流动并进入门（记住...
...了关于 Circle STARK 的四部分系列。 **zkSecurity** 为包括零知识证明、MPC、FHE 和共识协议在内的密码系统提供审计、研究和开发服务。 [了解更多 →](https://zksecurity.xyz/) >- 原文链接： [blog.zksecurity.xyz/post...](https://blog.zksecurity.xyz/pos...
...太坊上的rollup，其两层链间的双向交互并不完善。例如零知识证明，虽可以保证两层链间交互数据的安全性，却无法在layer2的角色设计和数据可用性上发力。 所以可以推测的是，未来Starcoin一定会在layer2使用多技术组合方案，...
...些语言。 注意 对于密码学家：我在这篇博文中忽略了知识论证。下面提到的任何项目似乎都没有说明证明者可以以多项式时间访问解决方案。这完全是关于解决方案的存在性。 ## 免责声明：我带有偏见 我正在开发 [Clean](http...
...化金额，并在每次转让的交易中提供金额一致且非负的零知识证明。这样，只有交易当事人知道当前交易的具体金额信息，第三方观察者无法获知金额数据。 此外，我们还可以使用环签名实现转账流向的盲化。用户的 coin 在 C...
...—哪怕只是有上传、下载而不能修改的权力（比如某些零知识证明的链下撮合），也是中心化的，因为你可以拒绝履约。 用第一原理去要求当前的去中心化世界，似乎有点过于“残酷”（除了公链本身，其他项目都不满足）...
...证模式（例如 utreexo、SwiftSync，很可能也会影响到基于零知识证据的系统例如 ZeroSync）的实现变得复杂许多。如果我们可以让 BIP30 完全退场，那会是一件好事。 并不是非要倡议采取什么行动（现状似乎相当不错），我希望为上...
...面安全** Certora 的安全框架将正式验证与对 DeFi 的专业知识相结合。与 [Spearbit](https://spearbit.com/) 和 [Cantina](https://cantina.xyz/welcome) 社区合作，我们提供的安全策略远超传统审计。我们不仅仅是识别漏洞，而是证明它们无法存在...
...FHE）、受信执行环境（Trusted Execution Environments, TEEs）和零知识证明（Zero-Knowledge Proofs, ZKPs）——所面临的效率低下、安全漏洞和可用性有限等挑战不同，Arcium 提供了一种高效、去中心化的替代方案。 Arcium 的架构建立在多方执...