Scilla是我们为Zilliqa开发的全新智能合约语言,其论文链接为:https://arxiv.org/pdf/1801.00687,它在设计过程中始终把智能合约的安全性放在重要位置,是一种原则语言(principled language)。

Scilla通过在智能合约上强加一种结构,直接在语言层面消除了某些已知漏洞,从而使在Zilliqa上运行的应用程序不易受到攻击。此外,Scilla的原则结构也将使应用程序在本质上更安全。

作者:Zilliqa爱好者中文社区
链接:https://www.jianshu.com/p/5379e44280f5
来源:简书
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

区块链 Scilla是什么相关推荐

  1. 区块链分片技术相关资料收集

    区块链分片技术相关资料收集 分片要提高的就是每秒交易量tps 目标是很明确的,比特币的tps是7,以太坊的tps是15,eos现在的tps是三千多,理论上可以达到10k需要很多dapp来实现,但现实生 ...

  2. [译] 2019 区块链平台与技术展望

    原文地址:Blockchain Platforms & Tech to Watch in 2019 原文作者:Eric Elliott 译文出自:掘金翻译计划 本文永久链接:github.co ...

  3. 企业区块链应用程序的两个关键问题

    公共区块链通过提供数据的透明度.完整性.可追踪性.真实性来协调信任层.它可以记录所有交易活动.这些独特的属性吸引了许多企业来开发应用程序,这些应用程序记录利益相关者之间的透明活动.提供来源可追溯性的所 ...

  4. 到这个年纪为什么我还要开始学习理解参与区块链?

    [顺势而为,与时俱进的需要] 看来我对信息的敏感程度还不够,最近才认真研读了相关文件: 国务院关于印发"十三五"国家信息化规划的通知国发[2016]73号 1 信息技术创新代际周期 ...

  5. 浅谈几种区块链网络攻击以及防御方案之其它网络攻击

    旧博文,搬到 csdn 原文:http://rebootcat.com/2020/04/16/network_attack_of_blockchain_other_attack/ 写在前面的话 自比特 ...

  6. 浅谈几种区块链网络攻击以及防御方案之拒绝服务攻击

    旧博文,搬到 csdn 原文:http://rebootcat.com/2020/04/14/network_attack_of_blockchain_ddos_attack/ 写在前面的话 自比特币 ...

  7. 浅谈几种区块链网络攻击以及防御方案之女巫攻击

    旧博文,搬到 csdn 原文:http://rebootcat.com/2020/04/13/network_attack_of_blockchain_sybil_attack/ 写在前面的话 自比特 ...

  8. 浅谈几种区块链网络攻击以及防御方案之日蚀攻击

    旧博文,搬到 csdn 原文:http://rebootcat.com/2020/04/12/network_attack_of_blockchain_eclipse_attack/ 写在前面的话 自 ...

  9. 浅谈几种区块链网络攻击以及防御方案之51#37攻击

    旧博文,搬到 csdn 原文:http://rebootcat.com/2020/04/11/network_attack_of_blockchain_51_attack/ 写在前面的话 自比特币诞生 ...

  10. 世界上最大的超级计算机,科学网—区块链(blockchain)如何能造出世界上最大的超级计算机? - 刘进平的博文...

    区块链(blockchain)如何能造出世界上最大的超级计算机? Technology As our desktop computers, laptops, mobile devices, etc.  ...

最新文章

  1. Spring Cloud Alibaba基础教程:Sentinel使用Apollo存储规则
  2. python困难_Python开发总感觉困难重重,可能是你没用上这些开发工具
  3. 无废话WPF系列5:控件派生图
  4. php7 nts,php7.0.24-nts配置步骤
  5. ad导入pcd后网络标号消失_如何将后端BaaS化:业务逻辑的拆与合
  6. 1.Spring——七大主要模块
  7. kubernetes视频教程笔记 (39)-高可用的K8S构建-kubeadm部署安装
  8. 华为的哪个字体像苹果的_华为默认字体是什么字体
  9. 中值滤波器 median filter
  10. 向Spring大佬低头——大量源码流出解析
  11. 4种Word文档解除密码保护的方法
  12. 最全架构设计实践方法论(一)
  13. 王琪你计算机学院,麦考瑞大学 AI 实验室中科院信工所,两场论文直播重磅来袭!...
  14. 各种短视频极速版如何实现自动看视频赚钱
  15. 【数据库】--- Redis
  16. 职业人需要直面的7个问题(转载)
  17. 详解Java操作符 instanceof
  18. 用户输入商品价格和商品数量,以及收货地址,可以自动打印订单信息 分析:
  19. ERP实施-新能源-三元锂电池
  20. ARM在不同模式下如何区别同名寄存器(如fiq模式下的R8_fiq与其他模式下的R8),从而访问不同的寄存器...

热门文章

  1. Chrome升级 76.0.3809.87后 GreenChrome无法使用的办法
  2. GPU图形绘制管线简介
  3. Mysql触发器学习
  4. python sys与shutil模块
  5. 怎么把excel表格内的数据导入数据库?
  6. 图片少量显示 9张一下 类似微信,微博客户端
  7. 新手如何快速学习单片机
  8. Php 类似coffeescript,十个CoffeeScript一行程序——震惊你的小伙伴
  9. python语音转文字源码_python文字转语音实现过程解析
  10. 拓端tecdat|R语言非线性回归beta系数估算股票市场的风险分析亚马逊AMZN股票和构建投资组合