首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

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

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

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

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

9月15日,Zeppelin的路线图建议发布。Zeppelin是一种构建安全智能合约的开源架构,遵循MIT许可。该建议的推出正是时候,从DevCon2大会上围绕着智能合约形式验证的报告和讨论的次数上就可以证实这一点。 智能合约解决方案的创建者Demian Brener和Manuel Aráoz是Zeppelin相关工作的先行者。Zeppelin是一个社区驱动项目,目的在于实现安全的、经测试的且经审计的智能合约代码开发。到目前为止最大规模的智能合约应用“DAO”,在今年早期由于在其智能合约中所存在的一个漏洞而被攻击,造成了六千万美元的损失。这个事件说明了社区中的许多关注是合理的,这将形式验证问题置于了一个重要位置。 鉴于以太坊是最广为使用的智能合约开发平台,Zeppelin项目在初期是侧重于为Solidity语言构建工具。在发布的建议中

阿里总参谋长曾鸣:区块链中没有绝对的“去中心化”

图:阿里巴巴总参谋长、湖畔大学教育长曾鸣 一直想写去中心化,因为这个词在区块链的讨论中是个非常重要的基础概念,但又有太多的模糊和误解的地方。只是有些无从下手,因为关联的问题层次很丰富,而讨论又容易情绪化。正好以太坊的创始人Vitalik Buterin写了篇很长的文章,详细地谈了他对这个问题的看法。在他思考的基础上,我进一步明确了自己的想法,那就是,不应该盲目追求去中心化。实际上,去中心化有优点,也有缺陷,任何一个项目,去中心化的程度和方法应该是个系统内生变量,是机制设计的关键,也是区块链生态演化的重点。 我们先来看看Vitalik Buterin的思路。Vitalik Buterin把去中心化分为三个层面来考虑: 架构层面, 政治/决策层面 逻辑层面他认为区块链在架构和决策层面是去中心化的,但在逻辑层面是中心化的。架构层面是去中心化的,或

相关文章

发表评论

资源下载

更多资源
Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Nacos

Nacos

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

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux

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

用户登录
用户注册