找到约 15 条结果

文章 2024-07-21 zk-insights Weekly

## Highlights ### Pairings for the Rest of Us 文章基于作者从各种公开课程和资料学习的经验，介绍了基于域扩展的椭圆曲线配对的基础概念，重点包括弗罗贝尼乌斯自同态和 Trace 映射，以帮助建立 $\mathbb{G}_1$ 和 $\mathbb{G}_2$ 子群，并逐...

文章 实现 KYBER所需的多项式和线性代数知识

> > 原文：https://words.filippo.io/dispatches/kyber-math/↳ > 译者：Kurt Pan 我曾和一位数学家聊天并试图向他解释椭圆曲线密码学。他最后好像突然懂了，说：“哦，那个呀！书里有一章是关于这些的。你们用这个做出了一个完整...

文章 Bulletproofs零知识证明：内积的零知识与简洁证明

...的情况下证明对内积的知识，尽管这需要一个大小为 $\mathcal{O}(n)$ 的证明，其中 $n$ 是向量的长度。我们还展示了如何使用对数大小的数据来证明对内积的知识，但没有零知识属性。 在本章中，我们将这些算法结合在一起，以...

文章 关于梅特卡夫定律、外部性和生态系统分裂的备注

...生态系统分裂的说明 看起来又到了区块链分裂的季节 [again](http://bitcoincash.org/)。关于一些人讨论这个主题的背景，以及这样的分裂是好是坏： * 权力法则和网络效应（主张BTC/BCC分裂可能因网络效应损失而破坏价值）： * Bria...

文章 Rust内存管理揭秘：深度剖析指针与智能指针

...数据的一种方式（类比 书的目录） - 数据在物理内存（RAM）中是分散的存储着 - 地址空间是检索系统 - 指针就被编码为内存地址，使用 usize 类型的整数表示。 - 一个地址就会指向地址空间中的某个地方 - 地址空间的范围是...

文章 掌握多项式承诺 - KZG多项式承诺初学者指南

...可以快速安全地验证交易而不妥协隐私。 ## 动机 ### ZKSNARKs 学习多项式承诺方案（PCS）很重要，因为它们在创建零知识简洁非交互式知识论证（ZKSNARKs）中发挥了关键作用。ZKSNARKs 是特殊的加密方法，允许一个人（证明者）向...

文章 备战后量子：格密码学初学者指南

> 原文：https\://blog.cloudflare.com/lattice-crypto-primer/ > > 作者：Christopher Patton,Peter Schwabe > > 译者：Kurt Pan  保护网路安全的密码学...

文章 ZK-SNARKs中的算术化

> * 原文：[Arithmetization schemes for ZK-SNARKs](https://www.notamonadtutorial.com/arithmetization-schemes-for-zk-snarks/) > * 作者：Not a Monad Tutorial > * 译者：Kurt Pan 零知识证明（ZKP）正在因其在代理计算给不受信任的服务器，解决去中心化账本的可...

文章 区块链中的数学-欧几里得算法

...整数𝑎和正整数𝑏，求这两个数的最大公因数，记为gcd(a,b)的算法, 其中gcd代表greatest common division首字母。 最大公因数的问题很基础，也很好理解。有多种方法实现，欧几里得算法利用以下性质： gcd(a,b)=gcd(b, a mod b) mod是...

文章 抽象代数

## 抽象代数 - Abstract Algebra 抽象代数是研究在一组上有一个或多个运算符的集合。就我们而言，我们只关注运算符为二元运算符的集合。 给定一个具有二元运算符的集合，我们可以根据这个二元运算符的行为及该集合中允...

文章 在主网上验证 proof verifier 智能合约 (elderberry-fork.8) 的部署

...存和 16 个核心的机器。 在本教程中，我们将提供有关 r6a.8xlarge aws 实例的说明。此实例有 16 个核心 32 线程，512GB 的 SSD。该实例将使用 Ubuntu 22.04 LTS，实例的成本约为 1.82 美元/小时。这个过程非常长，大约需要 5-6 个小时。 那...

文章 03｜变量与数据类型

...的浮点数类型 ### 布尔类型 - bool:布尔类型，true或者false ### 字符型 - char:字符类型 ### 数组类型 - array:固定长度的数组类型，[T;N] T表示元素类型，N表示表示编译期大小，数组元素个数，，或者数组长度。 ### 函数...

文章 跨链MEV拍卖 - 模型提议者收益最大化

...拍卖时的战略决策。 我们将首先探讨 Ed Felten 在最近的 [Arbitrum 研究论坛](https://research.arbitrum.io/t/do-shared-mev-auctions-actually-increase-revenue/9606) [^1] 中提出的基本模型，它说明了单独和联合 MEV 拍卖的基本情况。该模型不仅有助于理...

文章 区块链中的数学 -欧拉定理和欧拉函数

## 写在前面 上一节介绍了[RSA加解密过程](https://learnblockchain.cn/article/1548)，用到了欧拉定理等知识点。这一节详细说说欧拉定理及其相关。 ## 欧拉定理 这里所说的欧拉定理是指数论中的欧拉定理，也称欧拉函数定理。该...

文章 使用Echidna测试智能合约库

> * 原文：https://blog.trailofbits.com/2020/08/17/using-echidna-to-test-a-smart-contract-library/ > * 译文出自：[登链翻译计划](https://github.com/lbc-team/Pioneer) > * 译者：[darren94me](https://learnblockchain.cn/people/4859) > * 校对：[Tiny 熊](https://learnblockchain.cn/pe...