The paper outline a framework to analyze and verify both the runtime safety and the functional correctness of Solidity contracts in F*, a functional programming language aimed at program verification.

Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property. Securify s analysis consists of two steps. First, it symbolically analyzes the contract s dependency graph to extract pr

适合以太坊学习爱好者

应用描述 该应用为一款基于JUICE开放服务平台开发的图书管理DApp应用，通过应用界面可以对图书进行增删查功能操作 项目运行（nodejs 6.0+） 安装依赖 npm install 本地调试（http://localhost:30001/bookMgr） npm run dev 发布 npm run build 打包后的demo下目录static和文件index.html，放到服务器上，直接访问静态文件index.html 开放服务平台线上打包修改两个地方 DApp-Demo\config\index.js assetsPublicPath: '/bookMgr' \DApp-Demo\index.html [removed][removed]

Solidity编程 - 构建以太坊和区块链智能合约的初学者指南

智能合约12个案例分享。通过对智能合约在12个案例的实践，总结出智能合约的应用之道。

《区块链 技术驱动：数字货币与智能合约技术》.

去中心化应用(Dapp) 和前端页面交互去中心化应用(Dapp) 和前端页面交互

熊丽兵所著的《精通以太坊智能合约开发》PDF版本，包含开发DAPP所需的基本知识以及案例，十分适合以太坊开发者和有兴趣的各位阅读。

包括golang视频+源码；密码学；超级账本；以太坊Ebay区块链练习；智能合约；