...据的版权与来源上链，实现“AI 数据合规”； * 通过零知识证明（ZKP），让 AI 的推理过程“可验证但不泄露细节”。 #### 2. Web3 需要 AI 的智能层 Web3 的问题在于“效率”与“交互体验”。 智能合约虽然安全，但逻辑死板...
...个教程比较接近。 ## Lookup 要解决的问题 在零知识证明系统中，通常会利用算数化过程将一个计算问题转化为与之等价的数学表达形式(通常是多项式)，这样就可以利用数学性质来对多项式进行变换，计算和验证。这...
疫情在家，多看点代码。对于疫情也感慨几句，对于资深程序员，这么多年了还没有和家人在一起吃晚饭这么多天。老实讲，比平时公司附近晚上吃的好得多。上海停运了，连各种骚扰电话也少了。有空再翻了翻Zinc的设计和代...
zk-snarks能不能对密文进行零知识证明呢
...决方案接近全面开发，正在向主网过渡 - 正在为融合零知识证明 (ZKP) 的隐私Layer 1s (L1s) 和L2s进行积极开发 - 账户抽象正在普及，显著提升用户体验 - 随着替代L1区块链（如基于Move的区块链）的出现，区块链领域正在增长 - 模...
...中的隐私方面起着至关重要的作用。其中一种技术是 **零知识证明 (ZKP)**，它允许用户在不泄露底层数据的情况下证明语句的有效性。正如 [Partisia Blockchain 的 Medium 文章](https://medium.com/partisia-blockchain/privacy-enhancing-technologies-explain...
...nark源代码](https://github.com/scipr-lab/libsnark)，建议想深入[零知识证明](https://learnblockchain.cn/categories/zkp/)的小伙伴都读一读。Bellman库主要围绕[Groth16算法](https://learnblockchain.cn/2019/05/27/groth16/)，libsnark给出了SNARK相关算法的全貌，各种R...
...希。而有时我们希望这些数据是隐私的，这就需要引入零知识证明。gnark已经帮我们实现了merkle路径的验证逻辑电路，这里我们只需定义一下电路。 ``` type merkleCircuit struct { RootHash frontend.Variable `gnark:",public"` Path, Helper [...
...算方法，如全同态加密（FHE）、安全多方计算（MPC）和零知识证明（ZKP），在成本、灵活性和可用性方面存在缺陷。 同态加密的主要限制是计算开销高和处理成本。 MPC是一种良好的隐私保持计算方法。然而，它可能是最昂贵...
...可能少地接触数学。 然而，当我开始学习机器学习基础知识时，我的观点开始转变。后来，深入研究零知识证明开启了一个更广阔的数学世界。现在，我享受数学本身带来的乐趣，但它也为我的日常工作提供了更深入的理解。 ...
...有关各个网络的信息将会有所变化。* ## 01. Rollups 背景知识 Rollups 是一种可扩展性解决方案，即通过在 Rollups (L2) 网络中将交易捆绑在一起并进行压缩，然后将它们发送到一个共识层 (比如以太坊 L1 主网) 进行验证。通过一次...
...签校验：** Bob接收该预签名$(R,\hat{R},\hat{s},\pi )$，校验零知识证明。计算$R_x=f(R)$，并使用Alice的公钥$X$校验预签名 $$\begin{aligned} & \mathsf{Verify}\left( \pi ,(G,\hat{R})(R,Y) \right)=1, \\ & \hat{s}\cdot \hat{R}=\mathsf{hash}(m)\cdot G+R_x\cdot X. \\ ...
...供自我托管交易，利用其巨大的流动性池。与其他基于零知识证明（zkp）的可扩展性解决方案类似，我们并不改变区块链的基本规模，而是改变其目的：从在链上计算小负载转向验证链下计算的大负载。 “不要计算，要验证...
...CBDC 的方法是使用 UHS（未花费资金哈希集），这是一个零知识证明（ZKP），用于表明客户有足够的数字法定货币来支付某些东西：  但是，如果没有这些 ZKP，中央银行...
...，但代价是用户的隐私。 另一方面，一些链通过使用零知识证明来更新应用程序状态而不泄露数据（例如 Aleo、Mina），或通过在 TEE（例如 Secret Network）中加密合约执行和状态来提供用户或状态级别的强大匿名性。在那里，隐私...