《Design by Contract原则与实践》是国内第一本系统阐述“契约式设计”思想和方法的译作，深刻理解和充分发挥契约在面向对象软件设计中的作用。《Design by Contract原则与实践》通过Eiffel、Java实例透彻分析DbC思想方法。引入DbC六大原则和六大准则，指导你的应用实践。精辟分析DbC在C/C++语言中的应用。
2022-08-31 18:17:02
9.84MB
1
合同编号-201202014685-PAGE1/NUMPAGES7-WebsiteconstructioncontractPartyA：
2022-07-06 15:04:01
82KB
VueWeb3
Web3 1.0的Vue.js绑定
安装
在模块环境中，例如CommonJS：
npm install vue web3@beta vue-web3
var Vue = require ( 'vue' )
var Web3 = require ( 'web3' )
var VueWeb3 = require ( 'vue-web3' )
// explicit installation required in module environments
Vue . use ( VueWeb3 , { web3 : new Web3 ( web3 . currentProvid
2022-03-18 13:45:49
56KB
1
GraphDeeSmartContract
此仓库是使用图神经网络（DR-GCN）进行智能合约漏洞检测的python实现。
要求
所需的包
python 3或以上
PyTorch 1.0.0
numpy的1.18.2
sklearn用于模型评估
运行以下脚本以安装所需的软件包。
pip install --upgrade pip
pip install torch==1.0.0
pip install numpy==1.18.2
pip install scikit-learn
引文
如果您想在引用我们的或代码库，请使用以下引用：
@inproceedings{ijcai2020-454,
title = {Smart Contract Vulnerability Detection using Graph Neural Network},
author =
2022-03-01 23:39:53
455KB
1
向往协议
Yearn Protocol是一套以太坊智能合约，致力于通过一流的借贷协议，流动性池和社区制定的以太坊策略，为各种资产的储户创造一种简单的方式来为各种资产的储户产生高风险调整后的回报。
在开始此仓库之前，请阅读：
，描述yearn.finance的工作方式。
，说明委派保管库的工作方式。
，描述了yETH保管库如何工作。
要求
要运行该项目，您需要：
Ganache的Python 3.8本地开发环境和Node.js 10.x开发环境。
布朗尼本地环境设置。 参见说明： 。
和本地env变量（ ETHERSCAN_TOKEN ， WEB3_INFURA_PROJECT_ID ）。
使用npm install -g ganache-cli@6.11安装的本地Ganache环境。
安装
要运行Yearn协议，请从GitHub提取存储库并安装其依赖项。 您将需要安装
2022-01-14 10:55:50
168KB
1
智能合约验证
此api将源代码编译为字节码，并将字节码与getCode方法匹配。
范例要求
curl --request POST --data
{
"address": "0x37536bc1088010081691eec2ea6ae5c93533ed24",
"version": "v0.4.21+commit.dfe3193c",
"name": "HelloWorld",
"provider": "https://core.poa.network:443",
"optimization": 0
"sourceCode": "example"
}
范例回应
{
"verified":"no",
"error":"Contract does not exist or name does not match",
2021-12-24 17:30:10
66KB
1