...冻结用户账户中的代币。通常，`freeze-authority` 为 null（全零）。在这种情况下，没有人可以冻结代币账户中持有的相应代币。 ## 理论太多，让我们在实践中看看这些内容 ### Solana CLI 我们将使用 Solana 工具套件与代币程序...
...术，所以我们知道要避免什么，通常如何构建它们。事实证明，修改每个 rollup 的过滤功能是很容易的。 ## 目标 - 应允许来自多个 EOAs 的多笔事务。 - 应该不可能打破一个打包（包括一个组件事务而不包括同一序列中的所有其...
...n.link/vrf) 的可验证随机性来帮助确保这些特征的分布是可证明的随机的。 - **随机奖励** - 音乐 NFT 项目可以根据达到某些里程碑或纪念特殊事件，为社区成员提供随机奖励或升级。 Chainlink VRF 可用于帮助确保奖励和奖品的公平和...
...是一个高频可验证延迟函数 (VDF)，它能够创建历史记录，证明某个事件发生在特定时刻之前或之后。 我们看一个简化版的 PoH 工作流程，从一个随机值开始，运行 hash 函数，并将输出（output）作为输入（input）再次运行该函数...
...j \neq i} v_j \cdot \mathbb{I}(b_j > b_i) - \text{Externality}_i $$ 通过证明当前出价策略与 VCG 原则一致，我们可以确认投标机制的激励兼容性。 ### 进一步的数学分析 通过证明真实出价最大化 Solver 效用，无论其他 Solver 的策略如何，实现...
...着在大型语言代码模型中，Solidity 被忽视。Solidity 在大约零个代码评估基准中出现（即使是 [MultiPL](https://huggingface.co/datasets/nuprl/MultiPL-E)，包括 22 种语言，也缺少 Solidity）。可用的数据集通常质量较差；我们查看了一个开源训练...
...，尽管代码中已经有检查 assert collateral * X / Y > 100，禁止零值。 3. 含糊。例如，当它建议检查代码中的所有不安全数学运算。这是静态检查清单的典型问题，我们不需要这一点。 4. 好的具体问题。例如，当 GPT 表示 create\_loan() ...
...le树及如何进行交易验证。 ## 区块结构 在[工作量证明](https://xiaozhuanlan.com/topic/7548206913)中出现过一个区块信息截图：  细心的同学一定已经在里面发现了很多...
...ic的，使用script更方便 * 支持形式化验证，通过数学方式证明合约的安全性 Atlaspad是使用Move实现的首个IDO平台，很好的利用了Move的特性，非常得有意思，感兴趣的可以通过[这里](https://github.com/xfhxfh1212/initial-dex-offering)查看完...
... **必要时增加深度**：验证和错误处理指示让 AI 超越基本知识。这有助于确保代码能在真实的场景中工作。 一个好的提示就像一张地图，引导 AI 走出误区，达到目标。 ### **3\. 提供适当的上下文** 当你给 AI 提供适当的上...
...括区块链可以传输的任意数据类型，如应用状态、有效性证明或是区块头。 ### **Rollup** 存在于同一个 Rollup 上的应用可以与彼此进行同步组合。然而，不同 Rollup 上的应用则需要借助桥接合约来进行异步组合，这与不同单一...