文章 - 第456页 - 登链社区

主流区块链开发语言大比拼

powervip
发布于 2022-01-19
阅读 ( 10679 )
( 49 )

防止对以太坊的智能合约攻击——代码分析

约通常也处理以太，并且经常将以太发送到各种外部用户地址。这些操作要求合约提交外部调用。这些外部调用可能会被攻击者劫持，攻击者可以强制合约执行进一步的代码(通过一个回退函数)，包括对自身的调用。

攻击

ChinaDeFi 去中心化金融社区
发布于 2022-01-19
阅读 ( 3185 )

Flashbots透明度报告 — 2021年9月至12月

本文是一份Flashbots团队在2021年最后四个月的透明度报告，介绍了团队的成长、新技术发布和研究进展，特别是在以太坊2.0的拍卖和前置保护相关工作。报告详细阐述了最新的MEV-Geth v0.4版本的发布、基础设施改进、社区活动以及即将到来的以太坊合并。

Flashbots MEV 以太坊2.0 白帽前置保护去中心化金融

flashbots
发布于 2022-01-19
阅读 ( 286 )

从零开发区块链应用(四)--自定义业务错误信息

in 从零开发区块链应用

自定义业务错误信息

DApp

杰哥的技术杂货铺
发布于 2022-01-18
阅读 ( 4153 )
( 6 )

从零开发区块链应用(三)--mysql初始化及gorm框架使用

in 从零开发区块链应用

mysql初始化及gorm框架使用

DApp

杰哥的技术杂货铺
发布于 2022-01-18
阅读 ( 3907 )
( 4 )

从零开发区块链应用(二)--mysql安装及数据库表的安装创建

in 从零开发区块链应用

mysql安装及数据库表的安装创建

DApp

杰哥的技术杂货铺
发布于 2022-01-18
阅读 ( 4788 )
( 2 )

从零开发区块链应用(一)--golang配置文件管理工具viper

in 从零开发区块链应用

golang配置文件管理工具viper

DApp

杰哥的技术杂货铺
发布于 2022-01-18
阅读 ( 6117 )
( 38 )

Notional Finance漏洞的事后分析——一个恒真的不变式

Notional Finance在2022年1月7日报告了一个智能合约中的关键漏洞，该漏洞可能导致资产被重复计算。团队使用Certora Prover进行形式验证，但由于一个逻辑错误，导致编写的防止资产既是“位图”又是“活动”状态的不变性条件是空洞的。文章分析了错误和正确的形式化方法，并提出了改进措施，以防止未来出现类似情况，确保代码安全。

形式验证不变性条件 Certora Prover 漏洞分析智能合约安全位图

uri_kirstein
发布于 2022-01-18
阅读 ( 51 )

一文搞懂IPFS中的分布式哈希表

IPFS基于分布式哈希表，实现了3套接口，PeerRouting、ContentRouting、ValueStore。并基于这些接口实现了节点路由、内容寻址、发布订阅、AutoRelay、IPNS等功能。

IPFS

stirlingx
发布于 2022-01-18
阅读 ( 7686 )
( 18 )

零知识证明 - Halo2电路构建源代码导读

理解 Halo2，可以从两部分着手：1/ 电路构建 2/ 证明系统

零知识证明 Halo2

Star Li
发布于 2022-01-18
阅读 ( 5760 )

以太坊智能合约安全建议和最佳实践

本文档提供了以太坊智能合约的安全建议和最佳实践，涉及ERC20代币标准、EVM特性、重入攻击、算术溢出、自毁函数、调用函数、gas限制、编译版本、合约部署、代码规范、代码审计等多方面的安全问题，并针对这些问题提供了相应的解决方案和防范措施。同时，本文档还列举了一些常用的安全工具，帮助开发者进行智能合约的安全分析和测试。

以太坊智能合约安全 Solidity语言漏洞最佳实践