...算方式，如全同态加密（FHE）、安全多方计算（MPC）和零知识证明（ZKP），在成本、灵活性和用户友好性方面存在缺陷。 同态加密的主要限制是处理的高计算量和成本。 MPC是一种强大的隐私保护计算技术。然而，它可能非常...
...的证明”而来的人——让我们开始吧。 ### ZK-VM 代表零知识虚拟机。 它证明程序被正确执行。 - “程序”可以是任何程序。 在我们的例子中，“meow（喵）”是一个程序。 该程序通常用用户友好的语言编写，如 Solidity、Rust...
...议成为可能的奇妙数学之旅。如果你有兴趣学习这些数学知识，请告诉我们！一篇“邻近间隙 201”的文章永远不会被排除。 在撰写本文时，一周内发布了 6 篇与 Reed-Solomon 码和邻近间隙相关的论文： 1. Diamond 和 Gruen, **关于随...
...，ZK-Rollup 系统使用的是 ZK-SNARKs ，即，一种易于验证的零知识证明系统 。这对于矿工和其他观察者来说很友好，因为验证证明的成本较低，可以立即核实 assertion 的正确性。但是，零知识证明系统也有一个很大的缺点：除非要断...
...什么是in-band secret distribution呢？我们知道，Zcash使用了零知识证明，因此交易内部的私密信息对外是隐藏的。但是，如果我想要消费某一笔交易的输出（Note），就必须提供这些私密信息（用于生成Nullifier）。问题来了，交易发送...
...体验不是很理想，但以太坊创始人V神最近表示zkRollup(零知识证明)可扩展性方案能够很好地解决性能瓶颈问题，该技术将在未来一年产生巨大影响。V神也多次提到路印新一代去中心化交易所，路印DEX基于zkRollup技术将大部分计算...
...RK（succinct non-interactive argument of knowledge，简洁的非交互式知识证明）常被认为是 “解决” 扩容问题的灵丹妙药。虽然 SNARK 可以提供难以想象的好处，但我们也要知道 —— SNARK 无法解决区块链当前面临的带宽约束问题。 本文...
...供商是 Google、Facebook 和 Twitch）。 zkLogin 应用程序使用零知识技术来隐藏用户的真实身份。 例如，用户是 [hello@zksecurity.xyz](mailto:hello@zksecurity.xyz)。 ### OAuth 2.0 和 JSON Web Tokens (JWT) zkLogin 支持的单点登录协议是 [OAuth 2.0](https://oaut...
.../0xparc.org/blog/zk-id-1) *今年 1 月，我们启动了 0xPARC 零知识身份 (ZK-Identity) 工作小组：一个尝试使用 zkSNARKs 来构建数字身份工具的工作小组。在解释为什么密码学的进展对实现新的身份原语很重要的系列文章中，本文系第一...
...cale/50) 交易聚合平台 [ParaSwap](https://paraswap.io/) 宣布与 零知识证明研发机构[ StarkWare](https://starkware.co/) 合作，共同探索基于零知识证明技术的低成本兑换方案，降低用户成本，提高用户体验。 此前， DeversiFi 、Immutable 、dYdX 已...
...响和滑点。我们的第一篇文章关注于 Renegade，一种使用零知识证明和安全多方计算 (MPC) 来确保隐私的协议，同时保持去中心化。 本文将重点转向 Tristero，这是一个全新的替代方案，重新设计暗池，以速度和可扩展性为核心。...
... 这就是我们的神奇密码学发挥作用的地方，它使用了零知识证明。本节将有意省略实现细节，同时尝试保留验证过程的不同组件的直觉。考虑在 L2 上执行用户操作的具体示例，该示例需要使用密钥库 Rollup 进行验证过程。 在...
...化验证框架) 的初步步骤。 正如我们最近分享的那样，零知识电路[充满了错误](https://bugs.zksecurity.xyz/)，但幸运的是，诸如形式化验证之类的技术可以极大地提高对 ZK 电路正确性的信心。 Clean 使我们能够在 Lean4 中定义电路，指...
...否得到执行。如果路由器是专有的，而提供者希望保护其知识产权，通过控制路由的TEE应用程序记录模型指纹可能是一个折中方案。这将使用户能够验证模型在时间上的一致性或比较不同账户间的模型，以确保公平性和非歧视性...