...付』，如果这些缺陷和漏洞在测试环节被发现，就能有效避免损失。测试是智能合约开发与交付过程中至关重要的一环。其能有效检验实际结果是否符合设计预期，有助识别错误、查缺补漏。同时，高质量、可复用的测试，还有助于提升整体开发效率。前文介绍了Solidity的前世今生、语法特性、设计模...
知识:合约,智能合约,链上,区块
...云南创新研究院白晓敏，周楚涵本文将介绍基于模型检测形式化方法应用于智能合约辅助生成和验证的一个案例，便于大家了解相关的技术路线。作为形式化方法的工程实践，模型驱动工程（MDE）旨在提高程序规范中的抽象级别，从而提高程序规范中的抽象级别，通过使用可执行模型转换来增加程序开...
知识:合约,智能合约,模型,智能合约验证
自BCH在去年5月份升级之后，实现智能合约功能一直都是BCH发展的其中一个方向。BCH社区的开发者为了实现这一功能在不断努力。经历一年多的时间，BCH在智能合约、公链方面也取得了一定的成绩。 BCH经过升级，在OP-return容量扩大的基础上，BCH社区相继推出虫洞、SLP等代币方案实现了BCH区块链发行Token...
知识:合约,区块链,以太坊
随着以智能合约（Smart Contract）及区块链应用（DApp）为核心的区块链2.0时代逐渐成为主流，智能合约及区块链应用的安全性也越发成为业界备受关注的焦点。 尤其是，在经历过诸如THE DAO、币安被盗等事件，智能合约及区块链应用的安全性究竟应该如何得到验证和保障，业已成为当前区块链业界亟待解...
知识:智能合约,工具,区块,以太坊
昨天，在文章中阐述了智能合约无限授权的相关问题。简单来说，就是一些DeFi生态上的智能合约在投资者不经意间开启无限授权智能合约就可以调用你合约地址上的所有数字资产。如果漏洞发生，被黑客利用，你该地址上（包括冷钱包）的资产一瞬间化为乌有。因为有智能合约无限授权，黑客甚至都不...
知识:智能合约,合约,比特派,代币
...使用百度超级链XuperChain作为底层框架的获奖人亲身分享获奖案例，深度解析智能合约编写历程。带你解析如何基于XuperChain编写“微信”智能合约，如何在百度超级链上实现直播打卡挑战，以及探讨审计智能合约在超级链上的具体应用。【本期主题】：如何编写赢得万元奖金的智能合约【主讲嘉宾】：...
知识:智能合约,链上,区块链研发,区块链工程师
...POS+BFT（案例:原链YCC）联盟链：Tendermint，PBFT私链：RAFT平台支持语言：Go语言智能合约开发语言：Go,Solidity，C++,Javascript特 点模块化设计，轻松部署你的链Chain33采用模块化设计，提供超过十种以上的模组化功能，开发者可自由组合应用，开发简易，仅需基础的编程能力，即可打造一条公链，无需耗费大量...
知识:公链,智能合约,以太坊,联盟链
...还大。下面介绍下Kleros最初开始的想法。大家接触到区块链，最先想到的是智能合约。想到的是 信息的公开化。大家去信任化、去中心化，不需要去信任第三方。但在区块链发展过程中就会遇到一个问题，有些东西可以写进智能合约，但有很多东西写在智能合约之后，还会出现人和人之间产生分歧的情...
知识:智能合约,代币,去中心化,预言机
...势。为防止更多人受骗，知帆科技在这里阐述了什么是虚拟货币传销、利用智能合约技术进行传销、虚拟货币传销的特征、宣传手法，总结归纳了虚拟货币在传销案件中扮演的角色，以及如何辨别利用虚拟货币进行传销等违法犯罪的思路和方法。01虚拟货币传销虚拟货币传销本质上是新型网络传销，可...
知识:虚拟货币,智能合约,货币传销,合约
...2008年，拥有撮合交易系统低延时、高并发的核心技术。2013 年启动区块链、智能合约的研发与创新，2014 年申请第一个区块链发明专利：钱包找回功能，并在2017 年 12 月获得授权。目前已累计申请了200多项区块链技术的发明专利，其中有7项已经获得授权，全球排名第8。经过5年的潜心研发，2018年11月19日...
知识:公链,智能合约,联盟链,区块链
...式编写应用程序应该尽可能简单，理想情况下，应该感觉像是在编写常规的智能合约代码。实现此目的的一种方法是将应用程序建模为状态机。强制移动游戏框架就是其中的一个示例，通常EVM已基于状态机的基本思想构建，状态机基于事务执行来更新每个区块的状态。那么，普通智能合约和兼容状态通...
知识:合约,以太坊,智能合约,钱包
...方案非常兴奋。 去中心化自主组织 由于能够选择使用自动化智能合约，大多数人都对以太坊具有强烈的兴趣。然而，这些智能合约并不是完全自主的，而是某种程度上的自主。以太坊生态系统对于使用智能合约的生物体，机器人或者任何其他的物种来说都没有任何偏见，它只是正常地一...
知识:以太坊区块链
...来自 Polkadot Wiki，更新时间为 2020 年 5 月 4 日。Polkadot 中继链并不原生支持智能合约。不过 Polkadot 上的平行链将支持智能合约。现在有像Edgeware[1] 这样已公布的项目，并且由于Substrate 有内置的合约模块[2]，将来应该会有更多的平行链支持这一功能。资源对于那些想开始编写智能合约，并部署在基于 Subst...
知识:合约,Polkadot,智能
...式编写应用程序应该尽可能简单，理想情况下，应该感觉像是在编写常规的智能合约代码。实现此目的的一种方法是将应用程序建模为状态机。强制移动游戏框架就是其中的一个示例，通常EVM已基于状态机的基本思想构建，状态机基于事务执行来更新每个区块的状态。那么，普通智能合约和兼容状态通...
知识:合约,以太坊,智能合约,状态
智能合约在2015年推出，作用是将支付、交易等金融和非金融服务数字化和代币化，通过使用智能合约，签署合同的过程能够被高度简化，而且也只需遵循区块链规则。首先，智能合约不受特定司法管辖区的约束，所以，智能合约可以在全球范围内运行。但是，与制定智能合约相关的一个问题是它们无法...
知识:智能合约,链上,预言机,去中心化