Web2 的开发者,如何进入 Web3,学习路线图解读
本文介绍了使用 LlamaCloud 和 LlamaIndex 进行文档解析,以提取如英国邮政编码、IP 地址、电子邮件地址、银行详细信息等敏感信息的方法,用于欺诈检测和数字取证。通过 GenAI 引擎,可以从各种格式的文档中提取信息,并展示了使用 LlamaExtract 提取信息的代码示例。文章还评估了使用不同配置的成本和输出结果。
本文收集了关于零知识证明的一些学习资料(包括科普文章,论文,开源仓库及相关学习网站等),并对这些资源进行了整理分析,希望能对大家有所帮助。
本文介绍了Certora Verification工具包,旨在防止Vyper编程中的逻辑错误,特别是在DeFi应用中的重要性。文章详细阐述了Certora验证流程,分析了Vyper的内存处理对形式验证的挑战,并展示了如何利用该工具验证具体代码的有效性。通过引入高层次的内存结构解析和逻辑约束,该工具有效提高了代码验证的可扩展性。
上篇我们详细分析了智能合约反汇编后的代码内容,包括多个反汇编指令的含义,数据在栈中的存储方式,并通过上下文关联关系梳理代码逻辑。本篇我们将继续分析上篇遗留的反汇编代码,...
通过上一篇反编译文章的学习,我们对智能合于opcode的反编译有了基础的学习,对于初学者来说,要想熟练运用还得多加练习。本篇我们来一块学...
探究如何将原始字节码转换为可读的 Solidity 代码及其对应的应用程序二进制接口(ABI)
通过在线网站反编译智能合约opcode的一种方法
本文列出了五个初学者可以构建的Solidity项目,以帮助他们打造开发者作品集。这些项目包括随机加密彩票、众筹应用程序、基于预言机的交换应用、ERC20稳定币以及简单的去中心化自治组织(DAO),每个项目都有详细的指导,旨在提高开发者的技能并在求职时脱颖而出。
这篇文章是我看到的介绍以太坊智能合约原理最经典的文章,尤其是后半部分,作者原作者 Gjermund Bjaanes, 本文为翻译。