智能合约(smart contract),区块链领域人士想必都不会陌生。智能合约就是将现实合约条款的执行过程电子化并实现量化交易的一种协议,它就是通过一套以数字形式定义的承诺(commitment),让合约参与方可以在上面执行这些承诺。数字形式就意味着所有的智能合约不得不写入计算机可读的代码中。智能合约是基...
知识:智能合约,智能合约代码,合约,区块链领域
...的融合将会对虚拟网络世界产生深刻的影响。随着数字社会的发展，特别是区块链上的智能合约模式出现，产生了新的可运行的计算架构，Gartner称之为Programmable Economy，网络虚拟经济逐渐占据了半壁江山，法律与代码技术产生了更深度的融合需求，如何保证支配数字社会的计算机代码与支配实体社会的...
知识:智能合约
...的融合将会对虚拟网络世界产生深刻的影响。随着数字社会的发展，特别是区块链上的智能合约模式出现，产生了新的可运行的计算架构，Gartner称之为Programmable Economy，网络虚拟经济逐渐占据了半壁江山，法律与代码技术产生了更深度的融合需求，如何保证支配数字社会的计算机代码与支配实体社会的...
知识:算法,数字社会,智能合约,软件
区块链代码审计据链闻消息，DeFi 项目 YFValue （YFV）发布公告称，团队于昨日在 YFV 质押池中发现一个漏洞，恶意参与者借此漏洞对质押中的 YFV 计时器单独重置。目前已有一个恶意参与者正试图借此勒索团队。慢雾安全团队对此进行了深入分析，以下是相关技术细节。从声明中我们可以得知是 YFV 抵押...
知识:代码审计,钱包安全审计
...最大收益。最近我国数字化发展的步伐加快，捷报频传，国家数字法币、PSN区块链网络、蚂蚁区块链平台公测。而国外的发展也让人感受到数字化竞争的激烈氛围， Libra2.0推出。通过最近的区块链领域的消息来看，一场全面数字化的革命脚步越来越近了！虽然世界还在疫情的阴影下，但是区块链在全世...
知识:联盟链,蚂蚁区块链,合约,区块链
...大的社交编程及代码托管网站GitHub实现代码开源，并创建项目主页。 作为开源代码库以及版本控制系统，Github拥有超过900万开发者用户。随着越来越多的应用程序转移到了云上，Github已经成为了管理软件开发以及发现已有代码的首选方法。开放源代码的软件开发模式最大的优点在于其可得到大量的开放...
知识:挖矿,开源,代码,区块
...的安全性，可靠性和正确性。目前区块链安全审计领域多为静态分析（只对源代码内部逻辑进行审计），而动态分析（使用代码编译后执行时产生的数据进行审计）能够涵盖的安全漏洞比静态分析要广得多。Runtime Verification 拥有世界顶尖的形式化验证团队， 能够对编译后的二进制代码直接进行验证。相...
知识:公链,智能合约,代币,区块链领域
...者参与和投资。从合约安全角度分析，区块链的安全事件中，大多都是由于源代码存在漏洞而使黑客趁虚而入。智能合约本身受到区块链本身保护，所以智能合约代码可以最大限度的开源和让人阅读。但是代码的公开性使得黑客容易掌握代码的缺陷，进一步利用代码缺陷触发条件改变智能合约执行结果...
知识:区块链技术,合约,数字资产,去中心化
作者：刘曦子 袁方来源：赛迪区块链生态联盟出品：链世纪财经区块链自主可控成为近期热议话题。中共中央总书记习近平在主持中共中央政治局第十八次集体学习时指出，区块链发展过程中要推动协同攻关，加快推进核心技术突破，为区块链应用发展提供安全可控的技术支撑。区块链自主可控是真命...
知识:开发者,区块链开源项目,区块链,以太坊
...名安全审计公司Certik代码审计，WeToken发布了智能合约技术代码由世界领先的区块链安全审计机构Certik全程参与本次代码审计工作。Certik依靠动态分析、静态分析、人工复核从中寻找潜在的安全隐患，以及可能生产的漏洞，对去中心化钱包WeToken进行全方位的安全审核。审计结果在审计后，Certik再次确认...
知识:钱包,智能合约,智能合约技术,区块链应用
全球区块链合规联盟 首席合规顾问 罗滔[email protected]众所周知，智能合约是全球范围内的价值转移工具。因此其法律适用问题值得合约各方关注。随着区块链科技的发展，智能合约能够被视为合法合约，成了一个法律意义上的问题。因此，英国的法律专项工作组对智能合约的法律适用问题作出了如下声...
知识:合同法,区块链智能合约,英国
来源：赛迪区块链生态联盟区块链自主可控成为近期热议话题。中共中央总书记习近平在主持中共中央政治局第十八次集体学习时指出，区块链发展过程中要推动协同攻关，加快推进核心技术突破，为区块链应用发展提供安全可控的技术支撑。区块链自主可控是真命题还是伪命题？或在区块链技术与产...
知识:开发者,以太坊,区块链,比特币
近日，DeFi 明星项目 GIBXSwap 发布了智能合约技术代码审计报告。 全球领先的区块链安全审计机构CertiK参与了本次代码审计。CertiK依靠动态分析、静态分析和人工审核，发现潜在的安全风险和可能的生产漏洞，并对GIBXSwap进行了全面的审核。CertiK 测试、分析和推断了 ??GIBXSwap 智能合约技术代码的结构、实...
知识:智能合约,币安,挖矿,区块链
...进行双重支付（即双花）。代码审计在区块链的安全事件中，大多都是由于源代码存在漏洞而使黑客趁虚而入。智能合约受到区块链本身保护，所以智能合约代码可以最大限度的开源和让人阅读。但是代码的公开性使得黑客容易掌握代码的缺陷，进一步利用代码缺陷触发条件改变智能合约执行结果，使...
知识:黑客,智能合约,51%攻击,区块链安全,比特币
区块链自主可控成为近期热议话题。中共中央总书记习近平在主持中共中央政治局第十八次集体学习时指出，区块链发展过程中要推动协同攻关，加快推进核心技术突破，为区块链应用发展提供安全可控的技术支撑。区块链自主可控是真命题还是伪命题？或在区块链技术与产业发展中，哪些可控哪些不...
知识:开发者,区块链,区块链开源项目,以太坊