找到约 15 条结果

文章 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是...

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

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

文章 抽象代数

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

文章 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...

文章 椭圆曲线点加法

... ## 椭圆曲线的集合论定义 椭圆曲线上的[点集](https://learnblockchain.cn/article/9540)在椭圆曲线点加法下形成一个群。 希望如果你已经阅读了我们的[群论介绍](https://learnblockchain.cn/article/11320)，你实际上能够理解大部分内容，除了...

文章 零知识证明 - Halo2开发常见错误(Custom Gate)

使用[Halo2](https://learnblockchain.cn/article/3442)开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。 为了清晰地讲解这些...

文章 V神的交易所储备证明: Having a safe CEX: proof of solvency and beyond

...下来. 该文库我会不断更新, 如果喜欢的话麻烦点一下`star`. 由于文章由markdown的方式编写, 部分链接与图片显示可能存在问题, 大家可以移步到[github源](https://github.com/Pencil-Yao/YBlog/blob/master/excellent_article/Having%20a%20safe%20CEX:%20proof%20...

文章 比较各大跨链消息桥

...，因此桥梁构建者必须投资于持续的审计和公开赏金。 이러한实际安全措施可以帮助避免因实施疏忽或代码中的错误而导致的灾难性黑客攻击。 - **审计 —** 每个 AMB 经历的审计次数（越多越好）。 - **Immunefi 的公开赏金 —*...

文章 Michael.W基于Foundry精读Openzeppelin第11期——Math.sol

...# 0. 版本 [openzeppelin]：v4.8.3，[forge-std]：v1.5.6 #### 0.1 Math.sol Github: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.8.3/contracts/utils/math/Math.sol Math库为合约开发提供了solidity内置的uint256运算以外的其他整形运算方法。solidity...

文章 ECDH秘钥协商算法原理

...是椭圆曲线迪菲-赫尔曼秘钥交换（Elliptic Curve Diffie–Hellman key Exchange），主要是用来在一个不安全的通道中建立起安全的共有加密资料，一般来说交换的都是`私钥`，这个密钥一般作为“对称加密”的密钥而被双方在后续数据传...

文章 Fixed Point Math Toolkit in TON Smart Contracts: An In-depth Analysis

> TON (The Open Network) stands as a beacon of innovation in the decentralized blockchain ecosystem, designed to provide an efficient, scalable, and user-friendly environment for developing and running smart contracts. At the heart of smart contract development lies the intricate dance of mathematic...