... AMM 的优化建议包括高效的数学库和内联函数。 * **背景知识：** 强调了背景知识的重要性，例如 Chebyshev 逼近法在数学函数优化中的应用。
...img.learnblockchain.cn/pics/20211226170134.jpg) ## 交易排序（历史证明） Solana最大的特点是它的历史证明（PoH），它是基于一串sha256哈希值作为时间的证明。其背后的想法是，要计算hash300，必须先按顺序计算hash1，然后hash2，以此类推...
... 函数将用户持有的 NFT 存入 Kiosk。需要提供 KioskOwnerCap 以证明操作权限。 - **上架出售**：`list_nft_for_sale` 函数为指定的 NFT 创建一个 Listing，设置出售价格。也需要提供 KioskOwnerCap。 - **购买 NFT**：`purchase_nft` 函数允许买家购...
...机——要么通过一个轻节点或完整节点验证区块头或状态证明包含在底层。然而，在前面的例子中，利用底层层次的经济安全性来确保包含（如果所有数据可用）到 rollups 中，可能是一个相对“强”的保证，表明桥接转账可以发...
...链间通信的 Superchain 架构，以及使用 Cannon FPVM 进行欺诈证明的无需许可的二分协议 - Arbitrum Orbit 通过其 Nitro 堆栈提供更大的灵活性，支持传统的以太坊 rollups 和 AnyTrust 模式（使用 Data Availability Committee），以及用于 Rust 和 C++ ...
...去玩点刺激的，拿下一个进阶版的漏洞合约。 ## **前置知识** 这里就不再重复之前的基础知识了，不了解或者遗忘的可以再看看上一篇文章：《[智能合约安全审计入门篇 —— delegatecall (1)](https://learnblockchain.cn/article/4125)》...
...和非同质化代币并解释它们各自的用例 - 应用加密代币知识，使用同质化和非同质化代币创建程序 - 了解如何在 Gear Protocol 中实现同质化和非同质化代币 ### 让我们开始吧！ ### 同质化代币及其属性 同质化代币提供与...
...面解释）。 出于与引导加载程序内存某些内容相关的零知识证明未来可能集成的内部原因，交易数组不是作为交易数组的 ABI 编码传递的，而是： - 我们有一个恒定的最大交易数量。在撰写本文时，这个数字是 10000。 - 然后，...
...的系统在论文[“可扩展的协作 zk-SNARK及其在完全分布式证明委托中的应用”](https://eprint.iacr.org/2024/940)中提出，允许多个云服务器共同计算 zk-SNARK 证明，而无需依赖于集中的、强大的证明者。该论文介绍了几种用于协作证明生...
...，向上舍入可能会导致发行的流动性代币多于抵押品所能证明的数量。恶意行为者可以利用这种差异进行套利攻击，通过有利的舍入结果从协议中提取价值。为了减轻风险，使用 **try_floor_u64** 进行向下舍入到最接近的整数。这...
...算完整性属性 [7] 提供私有数据访问和可验证执行。执行证明将公开发布，允许用户验证区块是否根据声明的策略在 TEE 内构建。 TEE 区块构建是 Rollup 的一个强大原语，不仅可以缓解任意区块排序的风险，还提供了一个框架来...
...但这些方法需要对比特币网络进行软分叉升级，以验证零知识证明。相比之下，最近的主权Rollup提案利用比特币Ordinals存储数据，使得交易有效性能够被主权rollup节点独立验证，无需比特币核心升级。 Chainway已经发布了一款[比...
...** 在Rust中，泛型通过 **单态化（monomorphization）** 实现零成本抽象。编译器会在编译时为每种具体类型生成专属代码。比如： ```rust fn max(list: &[T]) -> T { let mut max = list[0]; for &item in list { if item > max { max...