GreenYoshi 的文章 - 登链社区

GreenYoshi

TA的文章 TA购买的 TA喜欢的 TA收藏的

反编译Vyper程序以进行形式验证

本文介绍了Certora Verification工具包，旨在防止Vyper编程中的逻辑错误，特别是在DeFi应用中的重要性。文章详细阐述了Certora验证流程，分析了Vyper的内存处理对形式验证的挑战，并展示了如何利用该工具验证具体代码的有效性。通过引入高层次的内存结构解析和逻辑约束，该工具有效提高了代码验证的可扩展性。

Vyper Certora 形式验证智能合约 EVM 编程错误

Certora 发布于 2023-08-15 23:56 阅读(642) 点赞(0)

分享

智能合约安全系列文章反汇编·下篇

上篇我们详细分析了智能合约反汇编后的代码内容，包括多个反汇编指令的含义，数据在栈中的存储方式，并通过上下文关联关系梳理代码逻辑。本篇我们将继续分析上篇遗留的反汇编代码，...

反汇编智能合约安全

零时科技发布于 2020-12-24 10:21 阅读(3394) 点赞(0) ( 3 )

分享

智能合约安全系列文章反汇编·上篇

通过上一篇反编译文章的学习，我们对智能合于opcode的反编译有了基础的学习，对于初学者来说，要想熟练运用还得多加练习。本篇我们来一块学...

智能合约安全反汇编

零时科技发布于 2020-12-11 22:43 阅读(4691) 点赞(0) ( 6 )

分享

深入研究智能合约反编译

探究如何将原始字节码转换为可读的 Solidity 代码及其对应的应用程序二进制接口（ABI）

反编译智能合约

Tiny熊发布于 2024-01-17 11:54 阅读(8110) 点赞(5) ( 108 )

分享

零时科技 | 智能合约安全系列文章之反编译篇

通过在线网站反编译智能合约opcode的一种方法

区块链安全反汇编智能合约安全

零时科技发布于 2020-12-04 11:51 阅读(5269) 点赞(0) ( 4 )

分享

初学者指南 - 通过五个Solidity项目构建开发者技能圈

本文列出了五个初学者可以构建的Solidity项目，以帮助他们打造开发者作品集。这些项目包括随机加密彩票、众筹应用程序、基于预言机的交换应用、ERC20稳定币以及简单的去中心化自治组织（DAO），每个项目都有详细的指导，旨在提高开发者的技能并在求职时脱颖而出。

Solidity 智能合约区块链去中心化项目作品集

Cyfrin 发布于 2024-12-31 18:13 阅读(1698) 点赞(0)

分享

【译】完全理解以太坊智能合约

这篇文章是我看到的介绍以太坊智能合约原理最经典的文章，尤其是后半部分，作者原作者 Gjermund Bjaanes，本文为翻译。

EVM 智能合约

Tiny熊发布于 2018-01-04 11:30 阅读(120607) 点赞(69) ( 248 )

分享

学习开发代币

学习开发代币

Joey 发布于 2024-05-07 09:27 阅读(2770) 点赞(0) ( 8 )

分享

以太坊的消息签名 CTF工具汇总

📌靶场刷题遇得到很多关于验证签名的题，在这里汇总一下，消息签名的工具和方法。

以太坊消息签名 ERC191

0xSecYou 发布于 2024-04-30 11:38 阅读(3241) 点赞(3) ( 63 )

分享

成为 Web3 开发者需要掌握哪些知识

Web3 开发者有哪些方向，需要掌握什么知识？

入门区块链入门

Dapplink 发布于 2024-04-24 10:56 阅读(10726) 点赞(26) ( 440 )

分享

GreenYoshi

0xd9a8...6ed9

贡献值: 12 学分: 23

Hi,I'm Yoshi

5 关注 0 粉丝