...构建。 2. 应用程序的其余部分，调用snarky来创建和验证证明。目前有用于Node.js和OCaml/ReasonML的api以这种方式与snarky程序交互。 我们将使用两个Node.js库: ● [snarkyjs-crypto](https://learnblockchain.cn/article/3346)，它让我们能够访问密...
...可能性](https://x.com/intoverflow/status/1789420694964466000)，即 ZK 证明系统比 Plonky3 更快，Plonky3 是许多其他项目（包括 Succinct 的 SP1）使用的证明系统。最近，Valida 团队发布了独立的基准测试，揭示了一些有趣的见解。现在，是时候分...
...息。 ### 代数布局与路由（APR） 在 APR 中，AIR 实例和证明直接映射到一组 Reed-Solomon 接近性问题（函数是否看起来像低度多项式）。要构建这个新框架，我们将定义 为集合 的 [消失多项式](https://zcash.github.io/halo2/background/polyn...
...产 - 大宗商品（例如，黄金、石油） - 艺术品和收藏品 - 知识产权 - 股票和债券 - 个人数据 RWA 的概念在区块链和去中心化金融（DeFi）领域受到了极大的关注，因为它们具有将这些资产代币化并将其引入链上的潜力。[代币化](ht...
...通过 Merkle 树的方式组合，实现更复杂的逻辑，这为 L2 上证明系统提供了可能性； 🔹 Tapscript 升级了比特币脚本，允许验证一系列脚本，来决定 [UTXO](https://learnblockchain.cn/tags/UTXO) 是否能被花费，这为 L2 的提款、罚没等操作...
# 手把手带你构建Sui零信任交换DApp前端 @SUI Move开发必知必会 ## 1 前言 在之前的文章，我们已经介绍和实践了`Sui`官方示例中的 [零信任交换(trustless swap)](https://learnblockchain.cn/article/8449) 合约，以及如何 [构建Sui的索引器及RPC...
...以来，数百种其他加密货币也进入了市场。 尽管事实证明，在市场拥挤的情况下，很多数字货币越来越难以脱颖而出，但莱特币（LTC）是一种与比特币不同的加密货币，已经能够经受住激烈的竞争。截至2020年5月，按市值计算...
...换回数字。我们可以通过 FFT 快速地乘多项式，因为事实证明，如果将多项式转换为_评估形式_（即对于某个域 D 中的每个 x，得到 f(x) 的值），则可以通过直接乘以它们的评估结果来乘以两个多项式。所以我们将把表示我们两个...
...台联合主办，HPB芯链战略支持的，聚焦于深度分享区块链知识，实现小会技术交友。 **区块链技术工坊一直以来坚持4F原则：** * Frency - 每周三晚上一次； * Focus - 聚焦区块链技术分享； * Fun - 20人以内会前做自我介绍，分...
...下原因重新引起了人们的兴趣： 1. 潜在的 PQ 问题 2. 证明系统快速发展，并越来越接近通过 SNARK/STARK 实现可行的状态证明。 * * * 关于二叉树设计，有两个主要的开放性问题： 1. 稀疏 vs 非稀疏 2. 使用哪种哈希函数进...
...行挤兑这样的最坏情况下也是如此。但是，我们如何正式证明 AMM 始终有足够的流动性来履行其义务呢？ 本文深入探讨了 [Uniswap v4 的流动性机制](https://v4.uniswap.org/)，并概述了一种正式的方法来证明其偿付能力。通过利用数学...
...EVM？ 如果你还不熟悉，Polygon zkEVM 是一个与 EVM 兼容的零知识 [rollup](https://ethereum.org/en/developers/docs/scaling/#rollups)。这意味着它可以作为 [Ethereum](https://ethereum.org/en/developers/docs/) 区块链的扩展解决方案；通过实现更高的每秒交易...