致NULS社区成员： 在10月18日测试网v1.1.3-beta版本上线测试后,成功的达成了90%升级的目标,延迟10000块后在2018-10-2019:12:00升级协议版本.

NULS智能合约采用模块化设计,是图灵完备的,兼容UTXO模型,基于JVM实现,内置NVM模块,NULS智能合约解释器将无缝支持JVM体系编程语言,并将陆续支持其他主流编程语言.

致NULS社区成员： 我们已经在10月15日16:00推出了NULS测试网v1.1.2-beta版本,该版本将支持多账户转账、多资产交易和零钱换整等功能.

尊敬的用户： 为了推动Coo生态发展建设,根据Coo项目发展路线图,Coo将于10月内完成COO智能合约部署.

人道主义智能合约 加密货币难以发现现实世界的应用并不是什么秘密。存在各种各样的原因,但事实可能是我们提出的各种加密货币方案没有比当前法币系统更好.

如何使用RemixforCMT部署智能合约,快来看看社区爱好者发布的技术博客。你可以用RemixforCMT写智能合约.

NEO-ONE是一款全新的端到端智能合约框架,旨在让用户轻松在NEO平台上创建dApp。由NEO区块链浏览器NEOTracker5人团队的负责人AlexDiCarlo开发,支持TypeScrip.

智能合约最初三分钟用5个CMT可以做什么？很悲伤的消息是,在币圈大凉的环境下,按照现在的币价来算,只能买一瓶矿泉水.

在NULS社区的共同推动之下,NULS主网协议已于2018年11月27日04:22:30成功启动,新协议下智能合约功能正式启用,现在已经可以在NULS主网上编写、部署和调用智能合约了.

前言：智能合约这个词你可能听过无数遍,但有多少人真正理解什么是智能合约？本文帮你深入理解以太坊智能合约。本文作者是GjermundBjaanes,由“蓝狐笔记”社群的“Dyna”翻译.

你可能听说过「智能合约」,甚至可能知道它们是在区块链上运行的代码。但是你如何才能在区块链上运行代码？这不是可以轻易理解的简单概念。本文解释了智能合约是如何在以太坊区块链上运行的.

前言：智能合约这个词你可能听过无数遍,但有多少人真正理解什么是智能合约？本文帮你深入理解以太坊智能合约。本文作者是GjermundBjaanes,由“蓝狐笔记”社群的“Dyna”翻译.

据CertiK官方消息,Trias智能合约已经顺利通过CertiK的安全审计,在此期间,Trias智能合约接受了CertiK全面、严格的形式化验证审计,并确认合约安全无漏洞.

作者：安比实验室&AnChain.ai安比实验室创始人郭宇：2009年,中本聪创造了一个虚拟的去中心化新世界。这仿佛是一片流着奶和蜜糖的应许之地,人们欢呼雀跃,蜂拥而至.

智能合约能解决诸多问题,但它们本身却似乎问题缠身。EOS中存在的RAM致命漏洞和原因一度成为币圈头条,一周后,一家代码审核公司揭示了智能合约中普通存在漏洞的现象.

2018年5月29日,360安全卫士的官方微博发布消息称：发现EOS主网的一系列高危安全漏洞,其中部分漏洞可以在EOS执行任意代码,即可以通过远程攻击,直接控制和接管EOS上运行的所有节点.

昨日,EDU智能合约出现重大漏洞,任意账户中的EDUToken可被转走,这些漏洞造成了来自项目方地址中的30亿万枚EDUToken被偷走,并被陆续转手在火币上进行抛售,引发市场进一步恐慌.

在区块链技术领域,智能合约一直在多语言开发环境中发挥着至关重要的作用。如此一来,保证智能合约的安全显得尤为重要.

很多以太坊的智能合约控制着有实际价值的数字资产。因此,保证合约没有安全漏洞是十分重要的事情。本文是一篇2017年对以太坊合约攻击调研的文献,来帮助大家避免以太坊智能合约设计中的一些可能导致安全性.

随着近期BOS生态及社区热度的上升,越来越多有着区块链技术背景的开发者开始关注BOS生态,为了让BOS生态更安全、更丰富,从技术全面和技术保障上最大程度的帮助BOS开发者组织资源.

作者：VictorFangWholetthespankhurt？据Coindesk消息,数字货币项目SpankChain称其在周六下午18:00左右遭受了黑客攻击,损失了165.38ETH.

链闻ChainNews：本文将对文章《Thephenomenonofsmartcontracthoneypots》和其评论中提到的smart-contract-honeypots和Solidli.

序众所周知,因为BCH脚本的限制,开发者只能在BCH主链上实现无状态的智能合约,这就使得BCH智能合约可以做的事情变得很有限.

以太坊智能合约的发展在2018年呈指数级增长,2019年似乎将遵循这一趋势。有些框架,如Truffle,可以帮助我们快速构建和维护智能合约,如果您想让亲自动手体验的话,我将解释如何编译您的智能合.

Parity的Substrate区块链框架,在最终版本开发中取得不错的进展。Ink是Parity为基于Substrate的区块链编写智能合约的解决方案.

全球保险巨头大都会人寿保险公司正计划利用以太坊区块链来革新人寿保险的索赔流程,以提升其透明度和效率。据悉,这是世界上第一个专注于人寿保险行业的试点计划.

1、脸书Libra区块链白皮书的推出,吹响了向智能合约进军的号角。在脸书之前,区块链行业所有各类钱包软件安装总数全世界估计只有三千五百万,现在这类技术将要普及到脸书平台上接近三十亿用户,这是两个.

1、脸书Libra区块链白皮书的推出,吹响了向智能合约进军的号角。在脸书之前,区块链行业所有各类钱包软件安装总数全世界估计只有三千五百万,现在这类技术将要普及到脸书平台上接近三十亿用户,这是两个.

近日Diar发布报告指出2019年第一季度智能合约数量约为220万份,对比2018年第一季度智能合约创建总量为180万份,无论是智能合约的水平和数量都高于去年.

20世纪90年代,计算机科学家尼克萨博第一次提出了“智能合约”这一概念,其致力于将已有的合约法律法规以及相关的商业实践转移到互联网上来.

近日,北京大学信息科学技术学院计算机科学技术系肖臻研究员领导的课题组开发出一套基于硬件辅助虚拟化的多核确定性重演系统,引起业界广泛关注.

区块链技术被作为下一代价值互联网,曾被认为是“匿名/隐私保护”的不二之选,可以放心存放个人财富。但是随着行业发展,人们发现事情并没有这么简单.

在上篇《Galaxy数字之美：新型智能合约Q语言,如何实现100%无BUG？》中,我们为大家阐述了VNTChain基于形式化验证的新型智能合约Q语言的它的设计原理及应用价值.

尊敬的用户：据HTP官方消息,将于8月4号下午15:00进行智能合约升级,CEO全球站已关闭HTP转入转出.

尊敬的用户： CEO全球站已完成HTP智能合约,已由总量5亿缩至总量2亿,并且将原持有的HTP币1:1映射完成！更换详情：已经由：原合约地址：0x47ad333653623bacea7104a6.

1概述 Certik是一款通过数学方法(形式化证明）验证智能合约漏洞的分布式应用,CertiK致力于通过全球领先的形式化验证技术,来保证智能合约和区块链系统的安全性.