...安全**——VRF 用于帮助保护域名系统（DNS）消息。 - **零知识技术**——VRF 用于零知识证明和零知识数据库的协议设计中。 - **非交互式彩票系统**——VRF 为彩票实现可证明的公平有效的开奖结果。 - **可验证的交易托管方案**—...
zk-snarks能不能对密文进行零知识证明呢
...个教程比较接近。 ## Lookup 要解决的问题 在零知识证明系统中，通常会利用算数化过程将一个计算问题转化为与之等价的数学表达形式(通常是多项式)，这样就可以利用数学性质来对多项式进行变换，计算和验证。这...
...希。而有时我们希望这些数据是隐私的，这就需要引入零知识证明。gnark已经帮我们实现了merkle路径的验证逻辑电路，这里我们只需定义一下电路。 ``` type merkleCircuit struct { RootHash frontend.Variable `gnark:",public"` Path, Helper [...
...决方案接近全面开发，正在向主网过渡 - 正在为融合零知识证明 (ZKP) 的隐私Layer 1s (L1s) 和L2s进行积极开发 - 账户抽象正在普及，显著提升用户体验 - 随着替代L1区块链（如基于Move的区块链）的出现，区块链领域正在增长 - 模...
疫情在家，多看点代码。对于疫情也感慨几句，对于资深程序员，这么多年了还没有和家人在一起吃晚饭这么多天。老实讲，比平时公司附近晚上吃的好得多。上海停运了，连各种骚扰电话也少了。有空再翻了翻Zinc的设计和代...
...中的隐私方面起着至关重要的作用。其中一种技术是 **零知识证明 (ZKP)**，它允许用户在不泄露底层数据的情况下证明语句的有效性。正如 [Partisia Blockchain 的 Medium 文章](https://medium.com/partisia-blockchain/privacy-enhancing-technologies-explain...
...算方法，如全同态加密（FHE）、安全多方计算（MPC）和零知识证明（ZKP），在成本、灵活性和可用性方面存在缺陷。 同态加密的主要限制是计算开销高和处理成本。 MPC是一种良好的隐私保持计算方法。然而，它可能是最昂贵...
...nark源代码](https://github.com/scipr-lab/libsnark)，建议想深入[零知识证明](https://learnblockchain.cn/categories/zkp/)的小伙伴都读一读。Bellman库主要围绕[Groth16算法](https://learnblockchain.cn/2019/05/27/groth16/)，libsnark给出了SNARK相关算法的全貌，各种R...
...有关各个网络的信息将会有所变化。* ## 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）的可扩展性解决方案类似，我们并不改变区块链的基本规模，而是改变其目的：从在链上计算小负载转向验证链下计算的大负载。 “不要计算，要验证...
Halo2 是一种零知识证明系统， Halo2 不需要可信设置。支持递归证明，允许将多个证明组合成一个简洁的证明，提高了证明的可扩展性和效率。
...CBDC 的方法是使用 UHS（未花费资金哈希集），这是一个零知识证明（ZKP），用于表明客户有足够的数字法定货币来支付某些东西：  但是，如果没有这些 ZKP，中央银行...
...innet-alpha-launch-743c6bc2b95e) 时，这是成为 web3 首屈一指的零知识（ZK）应用中心的重要一步。开发者现在可以使用第一代 [通用电路](https://mantanetwork.medium.com/universal-circuits-101-d182a86956b6) 构建，这是一个多功能的 ZK 电路库，专门为...