可验证智能合约简介

文章深入探讨了基于Move的区块链技术，介绍了其安全性和开发者体验优势。Move采用基于资产的存储模型，提高了安全性，并通过静态调度和形式验证器增强了可靠性。对比了基于Move的区块链Aptos和Sui的架构差异。未来展望包括吸引开发者建立应用生态系统。

Rust实战：构建实用的CLI工具HTTPie引言在现代开发中，命令行工具（CLI）因其强大且灵活的特性而广受欢迎。Rust语言凭借其内存安全性和高效性能，正成为构建CLI工具的绝佳选择。在本文中，我们将以构建HTTPie的简化版为例，展示如何使用Rust实现一个功能强大的

深入探索Cairo编程语言：Starknet的基础与实践CairoCairo和Cairo实战主题什么是CairoFieldElementStarklings介绍实战什么是CairoWhatisCairo?Cairoisaprogramminglan

最近遇到一个有趣的问题，有人在测试Rust的性能的时候发现Rust比Golang慢竟然一倍

结构体struct是复合数据结构，它是由其它数据类型组合而来。其它语言也有类似的数据结构，不过可能有不同的名称，例如object、record等。

第8条：熟悉引用和指针类型在一般的编程中，引用(reference)是一种间接访问数据结构的方式，它与拥有该数据结构的变量是分开的。在实践中，引用通常由指针(pointer)来实现。指针是一个数字，它的值是数据结构的变量在内存中的地址。现代CPU通常会对指针施加一些限制：内存地

在Rust编程语言中，变量的可变性指的是变量在声明后是否可以改变其值。Rust中的变量默认是不可变的，即一旦赋值后，不能更改其值。要使变量可变，必须使用mut关键字来声明。

什么是mpt树MerklePatriciaTree(简称MPT树，实际上是一种trie前缀树)是以太坊中的一种加密认证的数据结构，可以用来存储所有的(key，value)对https://learnblockchain.cn/article/319（七哥的文章，详细讲解了mpt树）

作为一个想入门web3的前端来说，你一定很熟悉web2。也一定很好奇web3有什么特别呢？

Let'sMove0基础web2向web3迁移指南(4)实战篇时间戳

Starknet最主要的几大技术特性，包括利于ZK证明生成的Cairo语言、 原生级别的AA、业务逻辑与状态存储相独立的智能合约模型。

引言dent_list是sui-framework实现的一个拒绝名单列表，用于进行对sui核心类型的地址访问控制。它仅能由系统事务创建，是shareobj,本文通过介绍deny_list的实现与使用，理解在suimove中实现访问控制的思想

详解 slog 的用法

Starknet Foundry合约测试代码错误修复及部署和交互测试

starknet智能合约编写、部署和调用

solidity太卷了，最近在研究cairo，可是cairo升级太快了，一直苦于没有资料，于是乎苦苦哀求Starknet中文大使和鸦老师，他们在百忙之中整理了一些资料。现在发出来，希望大家共勉，一起builder

Starknet在2023年正式上线主网后，备受关注，这有可能是接下来的热点（？保持一个关注）。在2023年9月的时候，也有广泛流传的，官方只想给开发者空投，那大家不赶紧学一波，发点合约占占坑位？开源库、文档Starknetbookhttps://docs.s

在 Remix 中通过无缝集成 Starknet Remix 插件，让开发者可以更方便进行 Cairo 开发

1什么是MoveflowMoveFlow是建立在Move生态系统之上的加密资产流支付协议，它可以实现即时、无缝和不间断的支付流。