区块链 Scilla是什么
Scilla是我们为Zilliqa开发的全新智能合约语言,其论文链接为:https://arxiv.org/pdf/1801.00687,它在设计过程中始终把智能合约的安全性放在重要位置,是一种原则语言(principled language)。
Scilla通过在智能合约上强加一种结构,直接在语言层面消除了某些已知漏洞,从而使在Zilliqa上运行的应用程序不易受到攻击。此外,Scilla的原则结构也将使应用程序在本质上更安全。
作者:Zilliqa爱好者中文社区
链接:https://www.jianshu.com/p/5379e44280f5
来源:简书
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
区块链 Scilla是什么相关推荐
- 区块链分片技术相关资料收集
区块链分片技术相关资料收集 分片要提高的就是每秒交易量tps 目标是很明确的,比特币的tps是7,以太坊的tps是15,eos现在的tps是三千多,理论上可以达到10k需要很多dapp来实现,但现实生 ...
- [译] 2019 区块链平台与技术展望
原文地址:Blockchain Platforms & Tech to Watch in 2019 原文作者:Eric Elliott 译文出自:掘金翻译计划 本文永久链接:github.co ...
- 企业区块链应用程序的两个关键问题
公共区块链通过提供数据的透明度.完整性.可追踪性.真实性来协调信任层.它可以记录所有交易活动.这些独特的属性吸引了许多企业来开发应用程序,这些应用程序记录利益相关者之间的透明活动.提供来源可追溯性的所 ...
- 到这个年纪为什么我还要开始学习理解参与区块链?
[顺势而为,与时俱进的需要] 看来我对信息的敏感程度还不够,最近才认真研读了相关文件: 国务院关于印发"十三五"国家信息化规划的通知国发[2016]73号 1 信息技术创新代际周期 ...
- 浅谈几种区块链网络攻击以及防御方案之其它网络攻击
旧博文,搬到 csdn 原文:http://rebootcat.com/2020/04/16/network_attack_of_blockchain_other_attack/ 写在前面的话 自比特 ...
- 浅谈几种区块链网络攻击以及防御方案之拒绝服务攻击
旧博文,搬到 csdn 原文:http://rebootcat.com/2020/04/14/network_attack_of_blockchain_ddos_attack/ 写在前面的话 自比特币 ...
- 浅谈几种区块链网络攻击以及防御方案之女巫攻击
旧博文,搬到 csdn 原文:http://rebootcat.com/2020/04/13/network_attack_of_blockchain_sybil_attack/ 写在前面的话 自比特 ...
- 浅谈几种区块链网络攻击以及防御方案之日蚀攻击
旧博文,搬到 csdn 原文:http://rebootcat.com/2020/04/12/network_attack_of_blockchain_eclipse_attack/ 写在前面的话 自 ...
- 浅谈几种区块链网络攻击以及防御方案之51#37攻击
旧博文,搬到 csdn 原文:http://rebootcat.com/2020/04/11/network_attack_of_blockchain_51_attack/ 写在前面的话 自比特币诞生 ...
- 世界上最大的超级计算机,科学网—区块链(blockchain)如何能造出世界上最大的超级计算机? - 刘进平的博文...
区块链(blockchain)如何能造出世界上最大的超级计算机? Technology As our desktop computers, laptops, mobile devices, etc. ...
最新文章
- Spring Cloud Alibaba基础教程:Sentinel使用Apollo存储规则
- python困难_Python开发总感觉困难重重,可能是你没用上这些开发工具
- 无废话WPF系列5:控件派生图
- php7 nts,php7.0.24-nts配置步骤
- ad导入pcd后网络标号消失_如何将后端BaaS化:业务逻辑的拆与合
- 1.Spring——七大主要模块
- kubernetes视频教程笔记 (39)-高可用的K8S构建-kubeadm部署安装
- 华为的哪个字体像苹果的_华为默认字体是什么字体
- 中值滤波器 median filter
- 向Spring大佬低头——大量源码流出解析
- 4种Word文档解除密码保护的方法
- 最全架构设计实践方法论(一)
- 王琪你计算机学院,麦考瑞大学 AI 实验室中科院信工所,两场论文直播重磅来袭!...
- 各种短视频极速版如何实现自动看视频赚钱
- 【数据库】--- Redis
- 职业人需要直面的7个问题(转载)
- 详解Java操作符 instanceof
- 用户输入商品价格和商品数量,以及收货地址,可以自动打印订单信息 分析:
- ERP实施-新能源-三元锂电池
- ARM在不同模式下如何区别同名寄存器(如fiq模式下的R8_fiq与其他模式下的R8),从而访问不同的寄存器...
热门文章
- Chrome升级 76.0.3809.87后 GreenChrome无法使用的办法
- GPU图形绘制管线简介
- Mysql触发器学习
- python sys与shutil模块
- 怎么把excel表格内的数据导入数据库?
- 图片少量显示 9张一下 类似微信,微博客户端
- 新手如何快速学习单片机
- Php 类似coffeescript,十个CoffeeScript一行程序——震惊你的小伙伴
- python语音转文字源码_python文字转语音实现过程解析
- 拓端tecdat|R语言非线性回归beta系数估算股票市场的风险分析亚马逊AMZN股票和构建投资组合