找到约 11 条结果

文章 使用 Move Prover 验证 Aptos Vault 的正确性

... **金库** 的设计和会计模型中。 ### 高级设计  ### 份额计算如何工作 **在存款时:** ```shell IF first_deposit: shares_minted = amount (1:1 比例...

文章 解析 Circle 的跨链传输协议 (CCTP)

 ### 关于 Circle CCTP 你需要知道的一切 今天，我们将通过了解更多关于 Circle 的跨链传输协议 (CCTP) 来扩展我们的 [知识中心](https://li.fi/knowledge-hub/)。 本文考察了 CCT...

文章 Certora技术白皮书

...in.cn/article/13816) 和 [规范](https://github.com/Certora/v4-core/blob/a20b7cac9dbadf2cf761717317a0f3aa0cc5893e/certora/specs/PoolManager/PoolManager.spec#L328)。 在 **Compound v3** 中，我们证明了用户抵押物两个不同表示之间的关键关系： ```solidity userCollateral[user...

文章 映射Solana的黑盒

 ## 介绍 * * * 随着 Solana 生态系统变得越来越复杂和广泛采用，其许多最活跃的程序在部署时没有开源代码、公共 SDK 或 IDL。这些闭源协议通常是完全可...

文章 docker部署LTC v0.18.1版本开发网

... SIZE ltc/litecoin v0.18.1 344a75a75559 20 seconds ago 245MB ``` 注：以上为个人根据版本更新情况构建LTC镜像，也可以使用官方的bsv镜像:https://hub.docker.com/r/uphold/litecoin-core # 二、LTC容器生成 - 1.创建ltc数...

文章 加密货币桥的完整指南：简化跨链资产转移

...则的跨链 Intent](https://learnblockchain.cn/article/14087)，凭借 [ERC-7683](https://learnblockchain.cn/article/14088) 标准，Across 从根本上重新想象了加密桥的工作方式。用户只需陈述他们的需求——例如“把我的 ETH 从 Optimism 移动到 Polygon”——网...

文章 SUI Move官方示例合约实践——游戏类：基于drand随机数的刮刮卡游戏（drand_based_scratch_card）

...drand随机数的刮刮卡游戏（drand_based_scratch_card） *rzexin 2024.02.15* ## 1 合约说明 ### 1.1 功能介绍 - 本合约是基于`drand`随机数的 **刮刮卡** 游戏合约。[drand](https://drand.love/)是分布式随机数信标，提供可验证、不可预测和无偏...

文章 多项式逼近及其应用:理论与计算

...公式对应的图像如下:  该函数是 $f(x)={\frac {1}{\sigma {\sqrt {2\pi }}}}e^{-{\frac {1}{2}}\left({\frac {x-\mu }{\sigma }}\right)^{2}}$ 正态分布构成部分。 本文参考 [Approximation the...

文章 现代 Yield 协议：Pendle 的构建方式

...ntracts/core/Market/v3/PendleMarketV3.sol#L18) 合约中。此合约充当 ERC20 PENDLE-LPT [代币](https://github.com/pendle-finance/pendle-core-v2-public/blob/761033bcc36ecfdb3c523458d7f66aeabb01c3ab/contracts/core/Market/v3/PendleMarketV3.sol#L37-L38)，代表用户在市场中的份额。市场...

文章 你现在就可以在 Layer-2 上做的 7 件事

...  L2 扩展方案的时代已经到来，这还仅仅是开端。如果你有心成为弄潮儿，现在是尝试和评测各种 L2 方案的绝佳时机。所以，现在可用的 L2 服务中，哪...

文章 zkPorter：Layer 2 方案的新突破

...认为 zkPorter 取得了突破性进展。**zkPorter 不仅可以实现 20,000+ tps 的吞吐量，而且在安全性上优于 Optimisitc Rollup。更重要的是，这个系统将在 6 个月内与 zkSync 2.0 一起主网上线**。 ![1](https://upyun-assets.ethfans.org/uploads/photo/image/311d...