Zeppelin：用于区块链应用的开源安全智能合约架构-低调大师

Zeppelin：用于区块链应用的开源安全智能合约架构

2018-04-18 843

9月15日，Zeppelin的路线图建议发布。Zeppelin是一种构建安全智能合约的开源架构，遵循MIT许可。该建议的推出正是时候，从DevCon2大会上围绕着智能合约形式验证的报告和讨论的次数上就可以证实这一点。

智能合约解决方案的创建者Demian Brener和Manuel Aráoz是Zeppelin相关工作的先行者。Zeppelin是一个社区驱动项目，目的在于实现安全的、经测试的且经审计的智能合约代码开发。到目前为止最大规模的智能合约应用“DAO”，在今年早期由于在其智能合约中所存在的一个漏洞而被攻击，造成了六千万美元的损失。这个事件说明了社区中的许多关注是合理的，这将形式验证问题置于了一个重要位置。

鉴于以太坊是最广为使用的智能合约开发平台，Zeppelin项目在初期是侧重于为Solidity语言构建工具。在发布的建议中

微信关注我们

原文链接：https://yq.aliyun.com/articles/583160

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

工信部：筹建全国首个区块链和分布式记账标准化技术委员会

在3.15即将来临之时，我国工信部给区块链行业又带来了一大利好消息。雷锋网·AI金融评论获悉，3月12日，工业和信息化部（以下简称工信部）在官网发布公告称，其正在就筹建全国区块链和分布式记账技术标准化技术委员会事宜开展专题研究，旨在尽快推动形式完备的区块链标准体系，做好ISO/TC 307技术对口工作。公告显示，目前，国际标准化组织（ISO）、国际电信联盟（ITU）、万维网联盟（W3C）等国际标准化机构纷纷启动区块链标准化工作。ISO成立了专注于区块链领域的技术委员会TC 307（区块链与分布式记账技术技术委员会），开展基础、身份认证、智能合约等重点方向的标准化工作。据雷锋网(公众号：雷锋网)·AI金融评论了解，中国以参与国（P成员）身份参加了ISO的相关标准化活动，并在此取得了积极进展。2017年4月，中国代表团在ISO举办的第

2018-04-19

741

自2013年起，IT国产化的趋势兴起，政府、央企等均加大了对与国产设备的采购力度。除了政策层面的利好之外，国产品牌的性价比以及定制化的服务能力，也令其在市场上占据一定的优势。以传统上由F5、A10等国际厂商统领的应用交付领域为例，在电信运营商近年来的集采公告中，均有本土厂商分到一杯羹。更有像弘积科技这样的新锐本土厂商顺利通过了中移动负载均衡集采的中高端测试。 “应该说这些年来国产品牌进步很快。过去，由于拥有更长时间的技术沉淀和积累，国际品牌在性能上相比国产品牌存在较大的优势。但最近几年，本土厂商正在迎头赶上。”弘积科技CTO高春华表示。随着移动互联网的日渐普及，应用为王逐步成为一种共识。IDC等多家国际咨询机构的研究报告显示，国内应用交付市场正面临每年20%以上的增长率，这对于迎头奋进中的本土厂商无疑是一块有诱惑力的蛋糕。应用交付“国产化”大有可为在高春华看来，当下本土厂商具备多重有利因素，令其可以应用交付领域大展拳脚。首先，随着x86架构CPU处理能力的提升，与专有芯片的区别越来越小，这使得国产厂商与国际厂商在硬件平台之上的技术差距日趋缩小。其次，以弘积科技为表率的技术性...

2018-04-19

676

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。