全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

基础篇-函数

in  Rust入门基础到进阶教程
参数，语句和表达式，返回值
  • 木头
  • 发布于 2023-02-15
  • 阅读 ( 2593 )
  • ( 6 )

基础篇-数据类型

in  Rust入门基础到进阶教程
布尔类型，字符类型，数值类型，数组，元组
  • 木头
  • 发布于 2023-02-15
  • 阅读 ( 2857 )
  • ( 7 )

基础篇-变量

in  Rust入门基础到进阶教程
不可变变量，可变变量，常量，默认
  • 木头
  • 发布于 2023-02-15
  • 阅读 ( 2887 )
  • ( 10 )

基础篇-编辑器vscode

in  Rust入门基础到进阶教程
Rust编辑器
  • 木头
  • 发布于 2023-02-14
  • 阅读 ( 3314 )
  • ( 6 )

基础篇-Cargo项目管理器

in  Rust入门基础到进阶教程
cargo new 创建项目。 cargo build 构建项目。 cargo run 一步构建并运行项目。 cargo check 在不生成二进制文件的情况下构建项目来检查错误。
  • 木头
  • 发布于 2023-02-14
  • 阅读 ( 4036 )
  • ( 5 )

基础篇-Hello, World！

in  Rust入门基础到进阶教程
Rust打印“Hello, world! ”
  • 木头
  • 发布于 2023-02-14
  • 阅读 ( 2996 )
  • ( 8 )

基础篇-安装Rust

in  Rust入门基础到进阶教程
安装 Rust 的步骤
  • 木头
  • 发布于 2023-02-14
  • 阅读 ( 6259 )
  • ( 11 )

区块链不可篡改的原因是什么？

本文探讨了区块链的不可篡改性，并强调经济激励在保持区块链安全性与完整性方面的重要性。通过Hash函数和分散的网络结构，区块链能够防止单一实体对历史数据的操纵。文章深入阐述了不可篡改性的原理、实现及其与经济激励之间的关系，并介绍了去中心化和分布式账本的概念。
区块链  不可篡改  Hash函数  经济激励  去中心化  分布式账本 

掌握Solidity：首先掌握计算机科学基础知识

本文强调了掌握计算机科学基础的重要性，利用武术比喻说明基础训练如何为高效实践打下坚实基础。作者认为，关注底层原理与模式转化（如信息编码）会使开发者在任何技术领域中都能更快上手。文章中提到，精通基础知识能够加速学习新知识，而非仅仅依赖于外部框架和工具。通过深化对计算机科学原理的理解，工程师们能够更自信地应对复杂问题，并在竞争激烈的技术环境中脱颖而出。
计算机科学  基础知识  比特字符串  智能合约  学习策略  工程师能力 

Solidity delegatecall 的使用和误区

Solidity delegatecall （委托调用）是一个低级别的函数，其强大但棘手，如果使用得当，可以帮助我们创建 `可扩展` 的智能合约，帮助我们修复漏洞，并为现有的智能合约增加新的功能
delegatecall  Solidity 

各智能合约编程语言的权衡

各种智能合约语言有自己的设计哲学，他们并非一样，这篇文章探索一下 Solidity、Cairo、Rust和Move的语言设计的权衡。
Cairo  Move  Solidity  智能合约 

最全区块链开发者学习路线图

区块链开发者学习路线图
学习资源  入门  路线图 
  • 七哥
  • 发布于 2023-02-07
  • 阅读 ( 9678 )
  • ( 81 )

Damn Vulnerable DeFi Backdoor 解决方案

本文分析了Damn Vulnerable DeFi v3 Backdoor挑战，该挑战涉及利用Gnosis Safe v1.3.0钱包注册表的漏洞。攻击者通过部署恶意合约，在Gnosis Safe钱包创建过程中利用delegatecall机制，在钱包的上下文中批准攻击合约转移token，最终耗尽注册表中的所有token。
Gnosis Safe  delegatecall  漏洞利用  智能合约  代理合约  安全 
  • Dacian
  • 发布于 2023-02-05
  • 阅读 ( 241 )

使用Halmos进行形式化验证的符号测试

本文详细介绍了形式化验证（formal verification）的过程及其在智能合约中的应用，强调了与单元测试的互补关系，以及如何利用Halmos工具简化形式化验证的实施。文中分析了正式验证的挑战、规范的编写开销及其在ERC721A智能合约中的案例，展示了通过符号测试实现高效验证的重要性。
智能合约  Halmos  符号测试  单元测试  ERC721A  形式化验证 

如何在Polygon zkEVM 测试网上部署合约

如何在Polygon zkEVM 测试网上部署合约
zkEVM  EVM  智能合约 

Solidity 非权威开发指南（5）：合约升级

所有以太坊开发者都清楚以太坊世界的一条铁律：合约一旦发布就无法修改。因此，对于合约的发布基本上都采用一种慎之又慎的态度，期望在发布前可以做到尽善尽美，力争合约能正常运行一万年。可是，智者千虑必有失，合约发布百分百不出问题几乎是不可能任务。
合约升级  Solidity 
  • 胡键
  • 发布于 2023-02-02
  • 阅读 ( 6411 )

zkEVM 背后的技术发展：从多项式承诺到硬件加速

在本文中，我们将研究使 zkEVM 成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动 zkEVM 进步的四项技术进展
零知识证明  zkEVM 
  • XPTY
  • 发布于 2023-01-30
  • 阅读 ( 3142 )

Solcurity: 合约代码安全建议

Solidity智能合约有关安全和代码质量标准的建议
区块链安全 
  • 张小风
  • 发布于 2023-01-28
  • 阅读 ( 4213 )
  • ( 131 )

Arbitrum Nitro 是怎样扩容的以及如何使用它

Arbitrum 一个区块链上的区块链，我们要研究一下它
Arbitrum  Rollup 

默克尔树（Merkle Patricia Tree）详解

默克尔树（MerklePatriciaTree）在以太坊中是一种通用的，用来存储键值对的数据结构，可以简称为“MPT”，是字典树Redixtree的变种，也是以太坊的核心算法
默克尔树 
  • Ellen
  • 发布于 2023-01-20
  • 阅读 ( 8635 )
  • ( 22 )