找到约 14 条结果

文章 连续只读内存约束：一个使用Lambdaworks的实现

## 介绍 当我们首次探索 STARKs 的世界时，我们遇到的最令人困惑的概念之一就是约束。我们一直在问自己：仅仅使用几个多项式，怎么可能概括 trace 值之间高度复杂的关系？直到我们开始实现一些示例时，我们才真正理解了该...

文章 【zkMIPS系列】zkVM 中的离线内存检查

...操作是正确的。在内存系统中，值 $v$ 可以被写入地址 $a$，随后程序可以通过地址 $a$ 检索值 $v$。该技术允许验证者高效地确认证明者遵守了内存的规则（即，任何读取操作返回的值确实是写入该内存地址的最新值）。 术语...

文章 Deep Dive into the TON FunC Dict Tool: The Art of Key-Value Pair Management in Smart Contracts

> In the sprawling expanse of blockchain technology, smart contracts stand as sentinels of trust and automation, guarding the gates of transactional integrity. The Open Network (TON), with its robust and scalable blockchain platform, empowers developers with a rich arsenal of tools to forge sophisti...

文章 Solana CLI 参考和使用

solana -cli 包为 Solana 提供了命令行界面工具 ## 示例 ### 获取公钥 ``` // Command $ solana-keygen pubkey // Return ``` ### 空投 SOL/ Lamports ``` // Command $ solana airdrop 1 // Return "1 SOL" ``` ### 获得平衡 ``` // Command $ solan...

文章 极简 Ark 解释

...作者：Ruben Somsen_ > > _来源： [https://gist.github.com/RubenSomsen/a394beb1dea9e47e981216768e007454?permalink\_comment\_id=4633382](https://gist.github.com/RubenSomsen/a394beb1dea9e47e981216768e007454?permalink_comment_id=4633382)_ ## 概述 Ark 是一种踪迹最小化的 coinswap 协议...

文章 区块链中的数学 - 中国剩余定理

... 写在前面 上一节介绍了[欧拉定理和欧拉函数](https://learnblockchain.cn/article/1559)并加以证明。其中欧拉函数是积性函数的证明用到了中国剩余定理【欧拉函数性质4】，没印象的可以再看看， 当时没有展开，本节详细说明下。 ...

文章 二次剩余与三次剩余

...知道 $g$、$Y$ 和 $p$，也很难确定 $x$，只要素数足够大。RSA 公钥方法中使用了另一个难题，它涉及模数 ($N$) 分解的难度，模数由两个素数组成。 另一个难题是模 $n$ 的二次剩余，它使用以下形式： $x^2 \equiv a \pmod p$ 我们必须找...

文章 A Gentle Intro to RISC-V

RISC-V is an open source hardware project started in 2010 at UC Berkeley USA 。As described by its official site https://riscv.org >RISC-V: The Free and Open RISC Instruction Set Architecture Below is the longer version of this description, Let's find out what a Instruction Set Architecture ...

文章 Across 协议 Diff 审计 - Arbitrum 自定义 GasToken 和独占期

...量缩放错误) - [中等严重性](#中等严重性) - [过时的 `SafeERC20` 合约未先批准为零](#过时的-safeerc20-合约未先批准为零) - [低严重性](#低严重性) - [浮动 Pragma](#浮动-pragma) - [缺少文档字符串](#缺少文档字符串) - [用自定义...

文章 盲化的 Diffie-Hellman 密钥交换

...者：Ruben Somsen_ > > _来源： [https://gist.github.com/RubenSomsen/be7a4760dd4596d06963d67baf140406](https://gist.github.com/RubenSomsen/be7a4760dd4596d06963d67baf140406)_ 本协议的目标是让 Bob 可以跟 Alice 执行一次盲化的 Diffie-Hellman 密钥交换，从而，在未来，当...

文章 使用 payjoin 实现交互式的支付批处理

> _作者：Dan Gould_ > > _来源： [https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2023-May/021653.html](https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2023-May/021653.html)_ ### 隐私性之外的 Payjoin 高手续费率的比特币总是会 [吸引](https://twitter.com/BTCse...

文章 BTC Lisp 作为 Script 的一种替代

> _作者：ajtowns_ > > _来源： [https://delvingbitcoin.org/t/btc-lisp-as-an-alternative-to-script/682](https://delvingbitcoin.org/t/btc-lisp-as-an-alternative-to-script/682)_ 这是我关于 [Chia Lisp](https://delvingbitcoin.org/t/chia-lisp-for-bitcoiners/636) 的文章（ [中文译本](http...

文章 Solidity语言 - 结构体

...下是在 Solidity 中声明一个结构体的方法。 ```solidity contract StructsExample { struct Foo { uint256 a; uint256 b; } Foo public myFoo; } ``` **myFoo** 是一个结构体 Foo 的公共变量，它同时存储 **uint256 a** 和 **uint256 b**。如你所...

文章 区块链中的数学 - 迪菲-赫尔曼密钥交换

...们介绍了[离散域上的椭圆曲线签名和验证过程](https://learnblockchain.cn/article/1551)，本节继续介绍离散域上椭圆曲线进行迪菲赫尔曼密钥交换，并加以实例说明。首先看看什么是迪菲赫尔曼密钥交换？ ## 迪菲-赫尔曼密钥交换 Di...