chenhaishu91909
这家伙很懒,什么也没写
Ethereum白皮书原版加中文版
What Ethereum intends to provide is a blockchain with a built-in fully fledged Turing-complete programming language that can be used to create "c
以太坊 23 0 ZIP 2020-12-22 16:12:08
Solidity中文develop.zip
Solidity develop 文档(开发版) Solidity 是一门面向合约的、为实现智能合约而创建的高级编程语言。这门语言受到了 C++,Python 和 Javascript 语言的影响,设计的目的是能在以太坊虚拟机(EVM)上运行。 Solidity 是静态类型语言,支持继承、库和复杂的
Proxy 7 0 ZIP 2020-12-17 19:12:10
Formal Verification of Smart Contracts
The paper outline a framework to analyze and verify both the runtime safety and the functional correctness of Solidity contracts in F*, a functional p
企业管理 25 0 PDF 2020-12-17 19:12:10
Solidity中文stable.zip
Solidity develop 文档(稳定版) Solidity 是一门面向合约的、为实现智能合约而创建的高级编程语言。这门语言受到了 C++,Python 和 Javascript 语言的影响,设计的目的是能在以太坊虚拟机(EVM)上运行。 Solidity 是静态类型语言,支持继承、库和复杂的
Oracle 15 0 ZIP 2020-12-17 19:12:07
Securify Practical Security Analysis of Smart Contracts.pdf
Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with
Linux/Unix认证 12 0 PDF 2020-12-17 17:12:59
ContractFuzzer Fuzzing Smart Contracts.pdf
ContractFuzzer generates fuzzing inputs based on the ABI specifications of smart contracts, defines test oracles to detect security vulnerabilities, i
以太坊 16 0 PDF 2020-08-10 00:08:25
Ethereum Project Yellow Paper.pdf
Ethereumimplementsthisparadigminageneralisedmanner.Furthermoreitprovidesapluralityofsuchresources,eachwithadistinctstateandoperatingcodebutabletointer
以太坊 15 0 PDF 2020-06-12 01:06:08
以太坊智能合约最佳安全开发指南.pdf
本文翻译自:https://github.com/ConsenSys/smart-contract-best-practices。为了使语句表达更加贴切,个别地方未按照原文逐字逐句翻译,如有出入请以原文为准。这篇文档旨在为Solidity开发人员提供一些智能合约的安全准则(securitybasel
以太坊 27 0 PDF 2020-05-17 09:05:36
Making Smart Contracts Smarter.pdf
本文研究了在类似于加密货币的开放分布式网络中运行Ethereum智能合约的安全性。我们引入了几个新的安全问题,在这些问题中,对手可以通过巧妙地执行合约来获取利润。这些bug表明,在理解底层平台的分布式语义方面存在细微的差异。作为一种改进,我们提出了增强Ethereum操作语义的方法,使合约不那么脆弱
以太坊 35 0 PDF 2020-05-15 20:05:43
Solidity官方文档中文版.pdf
Solidity是一种语法类似JavaScript的高级语言。它被设计成以编译的方式生成以太坊虚拟机代码。在后续内容中你将会发现,使用它很容易创建用于投票、众筹、封闭拍卖、多重签名钱包等等的合约。
以太坊 27 0 PDF 2020-04-22 10:04:39