找到约 14 条结果

文章 DeFi 3.0

...款证券化,收益按链上智能合约自动分配。 ### 4. **知识证明(ZKP)赋能** * **隐私化流动性池** Penumbra 的 **zk-Swap** 实现完全隐蔽的交易路径: ` 用户A → [zkProof生成] → 验证节点 → [UTXO销毁/铸造] → 用户B ` ...

文章 从Layer1到Layer3都在做什么?

...项目;大饼🫓:指比特币)。 随着zkSync的上线(知识证明的以太坊扩容项目、兼容EVM),我们对Layer2的关注度越来越高,我们今天不聊黑话,聊聊这些Layer1、Layer2是什么意思,科普一下~ 所谓Layer,通常是对一类...

文章 与人工智能领域相似的一幕正在知识证明领域上演:一个价值千亿美元以上的机会正在涌现

...,我们将注意力转向一种展现出非常相似模式的技术:知识 (ZK) 证明。 虽然对于密码学圈子之外的许多人来说仍然不熟悉,但 ZK 技术提供了一种变革性的价值主张:在不泄露任何底层信息的情况下证明某件事是真实的。这种...

文章 了解 ETH 黄皮书

... | | 为 zkEVM、形式化验证打基础 | 其形式化定义为知识证明和安全工具提供基准 |

文章 介绍Anoma:一个面向私有资产无关的物物交换的区块链平台

...型(BTC)与接收者的资产类型一致。Anoma 区块链能够在知识隐私中结算该交易。在 Anoma 上,观察者将无法推断出 Alice 和 Bob 之间交易的任何信息。此外,该交易看起来与涉及 BTC、ETH 或任何其他加密货币的交易无异。 ### 使用...

文章 Mina 协议上的知识机器学习

...上共享输入和模型,从而损害隐私。 ZKML 是一种基于知识 (ZK) 的机器学习 (ML) 系统,知识是一种加密方法,允许一方向另一方证明他们知道一条信息或已正确执行计算,而无需泄露信息本身或任何信息。有关计算的详细信...

文章 引介 micro-zk-proofs : 用于创建和验证知识 SNARK 证明的开源库

...[noble cryptography](https://paulmillr.com/noble/) 并行创建和验证知识 SNARK 证明。 - 支持 Groth16。计划支持 PLONK 和其他算法 - 可选,使用 Web Worker 实现快速证明生成 - 支持现代 wasm 和旧版 js circom 程序 - 解析 R1CS,WTNS ### 用法 `np...

文章 Sui zkLogin核心交互逻辑拆解 @SUI Move开发必知必会

...户自己去记忆这个盐值。 #### (3)ZK Proving Service(知识证明服务) 它也是一个后端服务,负责根据`JWT`、`JWT`随机数、用户盐值和最大纪元生成`ZK`证明。该证明与 `zkLogin` 交易的临时签名一起在链上提交。 ### 3.2 流程说...

文章 知识证明 - zkSNARK入门

...连接,引导普通人理解抽象后的逻辑。 网络上讲解知识证明的文章就不多,这些文章要不太浅显,要不太深入,很少有能给入门者整体框架上的认识。 比如,阿里巴巴知识证明就是一个非常好的通俗理解知识证明的...

文章 OP Succinct:将ZK融入OP Stack Rollups

...计算便宜。而且,与其他L2解决方案相比,ZK Rollups凭借知识证明技术实现了快速终结性,交易最终确定时间最短。此外,ZK Rollups通过数据压缩减少链上存储量,仅保留必要的验证数据,这进一步节省了成本。 然而,当前的Z...

文章 2024-08-25 zk-insights Weekly

... Papers ### 【论文速递】Crypto 2024 (多项式承诺、SNARKs、知识证明、数据可用性采样、后量子聚合签名) - ### Improved Lattice Blind Signatures from Recycled Entropy - ### Raccoon: A Masking-Friendly Signature Proven in the Probing Model - ### Identity-Based En...

文章 知识证明 - zkEVM源代码分析(State Circuit)

zkEVM是知识证明相对复杂的知识证明应用,源代码值得反复阅读和学习。 https://github.com/appliedzkp/zkevm-circuits.git 本文中采用的源代码对应的最后一个提交信息如下: ``` commit 1ec38f207f150733a90081d3825b4de9c3a0a724 (HEAD -> main) A...

文章 知识证明安全工具现状 - ZKSECURITY

知识证明 (ZKP) 已经从提供隐私和可验证性的理论概念发展到具有实际的、现实世界的实现。一些最常见的用例包括区块链中的私有交易(例如,[Zcash](https://z.cash/))、具有私有智能合约能力的区块链(例如,[Aleo](https://aleo.org...

文章 ICICLE 案例研究:利用 Brevis 加速 ZK 证明

...处理任何大小的数据计算,并在任何区块链上无缝验证知识 (ZK) 证明。 Brevis 需要高性能的 ZK 证明来突破智能合约的局限性,并显著降低实施复杂、数据密集型功能相关的成本,因此决定使用 Ingonyama 的 ICICLE 加速库。 ![](http...