在本模块中,Jim Posen与Nico讨论了小域和二进制域在SNARK(可证明非交互式知识)中的应用,特别是小域技术的性能效率及其重要性。 **核心内容概括:** 视频主要探讨了使用小域(如64位Goldilocks域)构建SNARK的优势,尤其是在计...
...上进行了以下革新,引入了一种新的 AMM 模型 —— Liquidity Book: - **垂直方向的流动性分布**:Uniswap V3 的限价流动性本质上是水平方向上“平铺”在 LP 设定的价格区间内;而 Joe V2 则是在垂直方向上“堆叠” LP 提供的限价流动...
..."_ by "Least Authority" - _"Pairings for Beginners"_ by Craig Castello - _"Compute the Tate Pairing"_ by Michael Scott - _"An Introduction to Mathematical Cryptography"_ by J. Hoffstein, J. Pipher and J. Silverman 本文档记录了我的学习历程。 作为一名新手,我可能犯了一些错...
# 不规则多项式承诺(Jagged Polynomial Commitments) ## 矩阵结构概述 假设有一个固定大小的矩阵,行数为 $2^n$,列数为 $2^k$。该矩阵有两种表示方式: 1. 将每一列视为一个多变量多项式。这将产生 $2^k$ 个 $n$ 变量多项式。 2. ...
 ## 1、函数 Function ### 1.1、函数 Function 函数是 **Move** 语言中的代码构建块,它们被用于定义模块的逻辑和行为。在**Move** 语言中,函数是可重用的代...
该视频介绍了SafeUtils,一个旨在防止以太坊上交易被篡改的工具,尤其是在多重签名钱包(如Safe)中。核心观点是:SafeUtils可以帮助用户验证他们即将签署的交易是否与Safe应用和钱包中显示的信息完全一致,从而避免潜在的攻...
...y YanLong Chen. > Special thanks to [Kevin Mai-Hsuan Chia](https://medium.com/u/9b73fea85d46?source=post_page---user_mention--23c978031464---------------------------------------), [Chih-Cheng Liang](https://medium.com/u/5c031577a87d?source=post_page---user_mention--23c978031464---------------------...
视频 AI 总结: 该视频是关于智能合约安全审计课程第七节,重点是通过实际案例进行安全审查和审计,提升DeFi安全技能。本节将分析7-BossBridge项目,该项目涉及L1和L2之间的桥接机制,用于转移ERC-20代币。视频强调了使用工具...
视频 AI 总结: 该视频是 ZK Forge Bootcamp 的第一节核心课程,主要介绍了零知识证明(Zero-Knowledge Proof,简称 ZK)的基础知识。演讲者 Laurie Peltonen 是一位区块链开发者和研究员,拥有丰富的 EVM 和 ZK 开发经验。他深入浅出地讲解...
...数据。 ## 先决条件 1. 在 [Chainbase](https://www.chainbase.com/) 上拥有免费账户,并获得 API 密钥。 2. 一个集成开发环境(IDE)。我们的示例使用 JavaScript,您可以使用 [VS Code](https://code.visualstudio.com/) 作为您的 IDE。 3. 一个 ERC20 代...
...ckchain.cn/2025/06/12/25.jpg) * * * [深度研究 - Solana DePIN 2024年10月\\ \\ Deep Dive - Solana DePIN October 2024.pdf\\ \\ 19 MB\\ \\ 下载圆圈](https://blog.syndica.io/content/files/2024/11/Deep-Dive---Solana-DePIN-October-2024-1.pdf ...
...一台[伪装成下方隐藏的人与人下棋的机器](https://bigthink.com/the-past/mechanical-turk/)。 当蒸汽机和电力推动我们的机械时,我们几乎没有途径来复制人类意识。图灵预测,到2000年,当计算机内存达到100 MB时,我们将拥有模仿人类...
...曲线方程形式,称为 [affine(仿射)](https://www.sciencedirect.com/topics/computer-science/affine-coordinate) [Weierstrass(维尔斯特拉斯)](https://ocw.mit.edu/courses/18-783-elliptic-curves-spring-2021/597144daafd05ed68ba5145a505148cc_MIT18_783S21_notes2.pdf) 形式。其他形...
视频的核心内容是Eigenlayer的介绍及其在以太坊生态系统中的作用。Eigenlayer声称能够为以太坊提供共享安全性,允许现有的以太坊验证者在不停止验证以太坊的情况下,参与其他服务的验证,从而实现资源的高效利用和奖励的增...