对物流相关业务使用rpa技术poc阶段工作总结

具体工作分为两个流程:1,快递查询具体步骤登录系统->界面跳转->根据指定过滤条件从系统内筛选数据->导出到excel表格->对表格进行处理(添加新列,转换日期格式)->根据表格数据到对应快递网站查询物流状态->抓取网站信息...

比特币大跌原因?传特朗普政府要跟踪加密货币钱包

周三晚间,Coinbase 首席执行官 Brian Armstrong 抨击了美国财政部传闻中的一项计划,该计划试图跟踪加密货币钱包的所有者和参与交易的每个人员。  传闻称,这项计划将由即将卸任的财政部长姆努钦执行,如果得以实施,会压制加密货币精神的核心原则—...

最新!长沙区块链发展水平位居全国前列

《2020年中国城市区块链综合指数报告(上半年)》发布会现场。红网时刻11月2日讯(记者 陈珉颖 通讯员 余欢)11月1日,《2020年中国城市区块链综合指数报告(上半年)》正式发布,长沙区块链综合指数排名位居全国第六。该报告显示,北京位列我国城市区块链综合指...

用 Python 进行 DeFi 应用的开发——不同的区块链项目是如何解决安全问题的?


我们看到,在以上项目中,Tezos 支持的智能合约高级语言的种类最丰富,不仅包括 Pascal, Ocaml, Haskell 等多种函数式语言,也包括了 Python 这一应用普遍的语言。而 Cardano、Aeternity 都需要开发者学习一门新的函数式语言,使得开发门槛变得较高。

Michelson 语言的安全特性

在智能合约语言的设计上,Tezos 采用了一种取长补短的创新方案。Tezos 的智能合约底层采用基于 Ocaml 的 Michelson 语言,而开发者实际接触的是 Python 等高级语言,并不需要了解 Michelson 语言本身。如此以来,可以结合 Michelson 语言更好的安全性与可审计性,与 Python 等高级语言的易于编程性。

Michelson 在架构上对标的是以太坊 EVM ,与 EVM 相比其相似之处有

1)是一种 stack 语言

2)使用链上存储

3)采用 gas 费用模型

4)图灵完备

Michelson 与 EVM 的主要区别是,

1)静态类型

所有进入 Michelson 智能合约的数据,都需要明确定义其类型。避免了跟类型不匹配有关的程序 bug ,如浮点溢出、除以 0 等。

2)原子计算

一个 Michelson 智能合约必须完成执行后才能调用其它智能合约。这一点避免了以太坊上经常发生的 re-entrancy 攻击 (如著名的 DAO 攻击)。

3)明确的调用失败

执行期发生的失败只有三种,明确失败(用 FAILWITH 语句处理)、gas 耗尽、数量溢出。这一点避免了以太坊上常出现的隐含模代数、错误指令、stack 溢出等类型的常见执行期攻击。

4)严格的语义

大小写、空格、短行都有严格规范的要求,让代码审计变得更方便。

可以看到 Michelson 相比 EVM 在安全上有诸多的改进,可以更好地抵御以太坊上经常出现的攻击类型。

SmartPy 开发工具包

Tezos 上的 Dapp 开发者并不需要掌握 Michelson 语言 。这是因为开发者可以使用基于 Python 的 SmartPy SDK ,并将 Python 代码写的智能合约编译成 Michelson 语言。因此 Dapp 开发者只需要会 Python 就可以轻松上手。

SmartPy 是一个 Python 库,而 SmartPy.io 让用户能够在一个浏览器中执行 Python 脚本。Smartpy 的官方网站提供了一个在线编辑器(https://smartpy.io/demo/),Dapp 开发者可以直接用 Python 编写代码并编译成 Michelson 智能合约,然后部署到 Tezos 主网上。其使用界面设计相比以太坊的 Remix 在线编辑器更简洁明了,非常容易上手。Smartpy 还自带了一些现成的开发模版,方便开发者参考学习。

SmartPy.io 的界面如下。屏幕左侧区域是代码编写区,开发者可以轻松地使用 Python 来写入并编辑合约的代码。Smartpy 不需要像 Remix 一样分两步编译和执行,按一下代码区上方的执行按钮就一步搞定,非常方便。执行结果立马就可以在屏幕右侧显示出来,包括合约调用的入口、存储状态、编译的 Michelson 代码等。

 

1009文章用图-1.png

Tezos(特所思)作为著名的 PoS 公链,其亮点并不仅仅只是 Staking,Tezos 的形式化验证特征同样也是其主要技术亮点之一。形式化验证能让 DeFi 的安全性方面如虎添翼,让用户对资金的智能合约安全更加有信心。形式化验证方法和 DeFi 安全De...

K神手札:比特币多方叠叠炮 突破大阳即将上演

【K神说】以太坊强势带节奏,比特币突破大阳最快今天就可以送达,稍安勿躁。【消息动态】DeFi概念由波卡和YFI引爆全场,现在很多场外资金和挖矿者还在源源不断的涌入这个概念,就连三大交易所也频繁的上相关概念币种,但里面鱼龙混杂,风险不可谓不高。越是火热的概念,一...

2019年区块链最大悬念:谁将捡起以太坊掉落的王冠

以太坊的头号智能合约公链地位岌岌可危区块链产业最令人兴奋的地方,就在于它把“互联网+”经济的基础设施,从“信息互联网”升级成了“价值互联网”,撬开了一个至少万亿市场规模的全新创业、创富入口。而在区块链产业格局中,群雄逐鹿的战略中心便是智能合约公链,因为它直接决...

大区块链的必然性

与二十年前相比,美国经济的活力较弱,而且这种转变已引起市场力量和控制权的高度集中。产业集中度上升。在大型公司工作的工人比以往任何时候都多。少数主要投资者拥有更大比例的上市公司。与上半个世纪相比,更少的公司(和个人)决定我们的消费,我们在哪里工作,我们赚多少钱甚...

6张拓扑图揭秘中心化交易所的5种行为, 原来中心化比你想象的重要!

版权中心化交易所可以说是加密资产市场中最难分析的部分之一。虽然加密领域中很多参与者的行为都被透明地记录在分布式账本中,但中心化交易所仍然在很大程度上是脱链操作的,只是将活动的子集发布到相应的区块链上。毫无疑问,中心化交易所会带来一定程度的不透明性,甚至会对最复...

2020西部首届区块链赋能产业发展峰会成功召开

2020年10月10日下午14:00,由贵州省工商联指导,贵州极自然网络技术开发有限公司主办,贵州软件开发行业协会和贵阳市大数据业协会共同协办的2020西部首届区块链赋能产业发展峰会,在中国贵阳卢浮宫金熙酒店正式召开并取得圆满成功。本次峰会围绕“无界金融,链成...

2020数字中国创新大赛区块链赛道总决赛在榕成功举办

 10月13日,在第三届数字中国建设峰会期间,2020数字中国创新大赛区块链赛道总决赛及颁奖仪式在福州海峡国际会展中心圆满举办。福州市政协副主席林治良,中国电子信息产业发展研究院副院长刘文强,福建省数字福建建设领导小组办公室副主任陈同彩,福建省工业和...