...注解用于指定测试应该因为算术错误（如整数溢出、除以零等）而失败。`` 参数必须是有效的模块路径，例如 `Self` 或 `my_package::my_module`。 ```rust module test_example::my_module { #[test] #[expected_failure(arithmetic_erro...
...材。 - **设备和库存：** 工业机械、车辆、集装箱。 - **知识产权和合同：** 专利、音乐或电影特许权使用费、长期服务协议。 - **收藏品和奢侈品：** 艺术品、老爷车、葡萄酒收藏品。 - **环境资产：** 碳信用额度、水权、可...
...的图，Data blob 和当前的 calldata 相似，rollup 可以将交易、证明等数据通过blob上传到 layer 1 来保证 data availability。 **成本** Data blob 的设计初衷是支持 rollup **高通量的交易**，相比同等大小的 calldata（使用链上存储），blob 的**...
...在已在主网上线。但这仅仅是个开始。[基准已经成功地证明了高达 128MB 每个区块的吞吐量](https://blog.availproject.org/a-guide-to-selecting-the-right-data-availability-layer/)，在不牺牲网络安全或性能的情况下提高了 32 倍。由于 Avail 的弹性架...
... **优点：** 1. 计算是在链外的，交易本身既是结果也是证明。节点只做验证即可，不需要对交易进行额外的计算，也没有额外的状态存储。交易本身的输出 UTXO 的计算是在钱包完成的，这样交易的计算负担完全由钱包来承担，...
...化验证和文档工具。当前用 Haskell 编写的实现已成功用于证明标准合约（如 ERC20 代币和自动做市商 (AMM)）的端到端正确性。展望未来，重点是加强其数学基础、扩展其表达能力以及扩大在开发者和研究社区中的采用。 #### 近...
... 我们的重点完全放在开发人员身上，为他们配备工具和知识，以便借助 Shyft 的回调 API 有效地跟踪此平台上特定集合的出价。 请随意探索提供的存储库中本文的完整 [source code](https://github.com/Shyft-to/solana-brainfood/tree/main/track-nft-b...
由 [Michael](https://x.com/mostlyblocks) 和 [Kubi](https://x.com/kubimensah)（[Gattaca](https://x.com/gattacahq)）共同撰写。特别感谢 [Thomas](https://x.com/soispoke), [Julian](https://x.com/_julianma), [Toni](https://x.com/nero_eth), [Ladi](https://x.com/ladislaus0x), [Justin](https://x...
...这些低需求subgraph的工作，有一个额外的机制叫做**索引证明**（POI）。POI是对subgraph状态哈希的签名，索引器需要它来获得奖励。POI被乐观地接受，但以后可以被罚没。在网络的第一个版本中，通过治理设置的仲裁员将决定这些...
...用户引导到以太坊的一次机会，因为操作账户所需的技术知识将减少。这种简化并不直接转化为无错误的代码。然而，通过减少可能的外部攻击面，开发者现在需要处理的沙盒更小，安全不变性更容易定义。我们认为账户抽象是...
...从物物交换系统演变为使用Coin，最终演变为书面所有权证明，例如纸币。随着技术的进步，交易现在以数字方式进行，通常需要像银行这样受信任的第三方。然而，这种对中介机构的依赖带来了一些问题，包括交易费用、延迟...
...执行的组件”，打包成一个独立的库，用于验证器、欺诈证明、侧链等等。 为了我们的目的，我们可以将 Solana 虚拟机定义为： > **Solana 验证器中由 Bank 组件驱动的、解耦的运行时接口和交易处理管道，该管道协调并行指令和...