...付』，如果这些缺陷和漏洞在测试环节被发现，就能有效避免损失。测试是智能合约开发与交付过程中至关重要的一环。其能有效检验实际结果是否符合设计预期，有助识别错误、查缺补漏。同时，高质量、可复用的测试，还有助于提升整体开发效率。前文介绍了Solidity的前世今生、语法特性、设计模...
知识:合约,智能合约,链上,区块
...云南创新研究院白晓敏，周楚涵本文将介绍基于模型检测形式化方法应用于智能合约辅助生成和验证的一个案例，便于大家了解相关的技术路线。作为形式化方法的工程实践，模型驱动工程（MDE）旨在提高程序规范中的抽象级别，从而提高程序规范中的抽象级别，通过使用可执行模型转换来增加程序开...
知识:合约,智能合约,模型,智能合约验证
...使用百度超级链XuperChain作为底层框架的获奖人亲身分享获奖案例，深度解析智能合约编写历程。带你解析如何基于XuperChain编写“微信”智能合约，如何在百度超级链上实现直播打卡挑战，以及探讨审计智能合约在超级链上的具体应用。【本期主题】：如何编写赢得万元奖金的智能合约【主讲嘉宾】：...
知识:智能合约,链上,区块链研发,区块链工程师
自BCH在去年5月份升级之后，实现智能合约功能一直都是BCH发展的其中一个方向。BCH社区的开发者为了实现这一功能在不断努力。经历一年多的时间，BCH在智能合约、公链方面也取得了一定的成绩。 BCH经过升级，在OP-return容量扩大的基础上，BCH社区相继推出虫洞、SLP等代币方案实现了BCH区块链发行Token...
知识:合约,区块链,以太坊
昨天，在文章中阐述了智能合约无限授权的相关问题。简单来说，就是一些DeFi生态上的智能合约在投资者不经意间开启无限授权智能合约就可以调用你合约地址上的所有数字资产。如果漏洞发生，被黑客利用，你该地址上（包括冷钱包）的资产一瞬间化为乌有。因为有智能合约无限授权，黑客甚至都不...
知识:智能合约,合约,比特派,代币
...、交通、通信、医疗等行业离不开它，云、大数据、物联网、区块链、人工智能等产业也离不开它。这些链条如果出了安全问题，那就都是大事，甚至有可能威胁生命。所以我们网络安全从业者要好好打磨和修炼自身，不断学习，自身强大了，才有力量给安全行业做更多贡献。“蓄不久则著不盛，积不...
知识:区块链,区块链安全,智能合约,钱包
随着以智能合约（Smart Contract）及区块链应用（DApp）为核心的区块链2.0时代逐渐成为主流，智能合约及区块链应用的安全性也越发成为业界备受关注的焦点。 尤其是，在经历过诸如THE DAO、币安被盗等事件，智能合约及区块链应用的安全性究竟应该如何得到验证和保障，业已成为当前区块链业界亟待解...
知识:智能合约,工具,区块,以太坊
...还大。下面介绍下Kleros最初开始的想法。大家接触到区块链，最先想到的是智能合约。想到的是 信息的公开化。大家去信任化、去中心化，不需要去信任第三方。但在区块链发展过程中就会遇到一个问题，有些东西可以写进智能合约，但有很多东西写在智能合约之后，还会出现人和人之间产生分歧的情...
知识:智能合约,代币,去中心化,预言机
...性、共识机制、加密算法和零知识证明、时间戳功能、公开透明和匿名性、智能合约等计算机技术综合应用的新型数据库。以上提到的每一个名词属于区块链的特性，都可以围绕某个或某几个特性展开具体的商业应用。区块链技术经历了10多年的发展，从区块链1.0的数字货币，到区块链2.0的智能合约，...
知识:区块链,区块链技术,智能合约,区块链产业
...POS+BFT（案例:原链YCC）联盟链：Tendermint，PBFT私链：RAFT平台支持语言：Go语言智能合约开发语言：Go,Solidity，C++,Javascript特 点模块化设计，轻松部署你的链Chain33采用模块化设计，提供超过十种以上的模组化功能，开发者可自由组合应用，开发简易，仅需基础的编程能力，即可打造一条公链，无需耗费大量...
知识:公链,智能合约,以太坊,联盟链
...势。为防止更多人受骗，知帆科技在这里阐述了什么是虚拟货币传销、利用智能合约技术进行传销、虚拟货币传销的特征、宣传手法，总结归纳了虚拟货币在传销案件中扮演的角色，以及如何辨别利用虚拟货币进行传销等违法犯罪的思路和方法。01虚拟货币传销虚拟货币传销本质上是新型网络传销，可...
知识:虚拟货币,智能合约,货币传销,合约
...、互为备份，可用来辅助电子证据的真实性认定。三是在示证环节，可采用智能合约、区块链浏览器示证，以提高电子证据的合法性和真实性；四是在质证环节，区块链可以固化取证和示证这两个环节，全流程可追潮，增强电子证据的合法性认定。02区块链司法案例【案例1：杭州互联网法院司法区块链...
知识:区块链,区块链技术,区块链平台,区块链应用案例
...、仲裁等司法辅助机构，降低服务成本、提升服务效率。借助区块链存证与智能化辅助服务技术等，实现区块链电子律师函、智能律师调解、区块链电子公证书、区块链电子司法鉴定报告、区块链互联网仲裁等系列服务，从而充分发挥司法辅助机构在纠纷化解中的地位和作用。快速审判：通过部署多方...
知识:区块链
CEG（Circular Economy Global），是一个公链项目，它支持用 Solidity 进行智能合约的开发，支持基于环签名 的隐私保护，同时支持去中心化的跨链交易。CEG（Circular Economy Global），是一个公链项目，它支持用 Solidity 进行智能合约的开发，支持基于环签名的隐私保护，同时支持去中心化的跨链交易。CEG 的 Storem...
知识:去中心化,智能合约,公链,DEFI
...2008年，拥有撮合交易系统低延时、高并发的核心技术。2013 年启动区块链、智能合约的研发与创新，2014 年申请第一个区块链发明专利：钱包找回功能，并在2017 年 12 月获得授权。目前已累计申请了200多项区块链技术的发明专利，其中有7项已经获得授权，全球排名第8。经过5年的潜心研发，2018年11月19日...
知识:公链,智能合约,联盟链,区块链