会员服务
SimPLe · 收缩 · Automator · Engineering · 操作 ·
2021 年 6 月 28 日
Verification of a Smart Contract for a Simple Casino
翻译：简单赌场智能合同核查
Mark Utting,Liam Kent
Mark Utting,Liam Kent
from arxiv, 12 pages

We describe the verification of an existing smart contract for a simple casino application, using the Whiley specification and programming language, with a fully automated verification engine based on Boogie and Z3. After finding and fixing several specification and code issues in the smart contract, we are able to verify all the operations of the smart contract.


翻译：我们用Wayy规格和编程语言描述对现有的简易赌场申请智能合同的核查情况,并用布吉和Z3制成的完全自动化的核查引擎,在发现和确定智能合同中的若干规格和代码问题后,我们能够核查智能合同的所有运作。
0
下载
关闭预览

相关内容

对比学习简述
专知会员服务
88+阅读 · 2021年6月29日
【AAAI2021】对比聚类，Contrastive Clustering
【AAAI2021】对比聚类，Contrastive Clustering
专知会员服务
76+阅读 · 2021年1月30日
近期必读的六篇 NeurIPS 2020【域自适应】相关论文和代码
专知会员服务
41+阅读 · 2020年12月1日
【MIT】反偏差对比学习，Debiased Contrastive Learning
【MIT】反偏差对比学习，Debiased Contrastive Learning
专知会员服务
90+阅读 · 2020年7月4日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
241+阅读 · 2020年4月19日
强化学习的对比无监督表示，CURL: Contrastive Unsupervised Representations for Reinforcement Learning
强化学习的对比无监督表示，CURL: Contrastive Unsupervised Representations for Reinforcement Learning
专知会员服务
40+阅读 · 2020年4月11日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
91+阅读 · 2019年10月10日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
52+阅读 · 2019年9月29日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
26+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
pytorch-pretrained-BERT：BERT PyTorch实现，可加载Google BERT预训练模型
pytorch-pretrained-BERT：BERT PyTorch实现，可加载Google BERT预训练模型
AINLP
35+阅读 · 2018年11月6日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
已删除
已删除
将门创投
6+阅读 · 2017年7月6日
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
Arxiv
0+阅读 · 2021年9月1日
Improving Human Decision-Making with Machine Learning
Improving Human Decision-Making with Machine Learning
Arxiv
1+阅读 · 2021年8月31日
Verification of the Incremental Merkle Tree Algorithm with Dafny
Arxiv
0+阅读 · 2021年8月31日
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Arxiv
0+阅读 · 2021年8月30日
A Typed Programmatic Interface to Contracts on the Blockchain
Arxiv
0+阅读 · 2021年8月29日
Contrastive Embedding for Generalized Zero-Shot Learning
Arxiv
6+阅读 · 2021年3月30日
Contrastive Clustering
Arxiv
31+阅读 · 2020年9月21日
Text Summarization with Pretrained Encoders
Arxiv
5+阅读 · 2019年8月22日
A Dual Approach to Scalable Verification of Deep Networks
A Dual Approach to Scalable Verification of Deep Networks
Arxiv
3+阅读 · 2018年8月3日
Zero-Shot Transfer Learning for Event Extraction
Arxiv
10+阅读 · 2017年7月4日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
SimPLe
收缩
Automator
Engineering
操作
相关VIP内容
对比学习简述
专知会员服务
88+阅读 · 2021年6月29日
【AAAI2021】对比聚类，Contrastive Clustering
【AAAI2021】对比聚类，Contrastive Clustering
专知会员服务
76+阅读 · 2021年1月30日
近期必读的六篇 NeurIPS 2020【域自适应】相关论文和代码
专知会员服务
41+阅读 · 2020年12月1日
【MIT】反偏差对比学习，Debiased Contrastive Learning
【MIT】反偏差对比学习，Debiased Contrastive Learning
专知会员服务
90+阅读 · 2020年7月4日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
241+阅读 · 2020年4月19日
强化学习的对比无监督表示，CURL: Contrastive Unsupervised Representations for Reinforcement Learning
强化学习的对比无监督表示，CURL: Contrastive Unsupervised Representations for Reinforcement Learning
专知会员服务
40+阅读 · 2020年4月11日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
91+阅读 · 2019年10月10日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
52+阅读 · 2019年9月29日
热门VIP内容
相关资讯
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
26+阅读 · 2019年5月18日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
pytorch-pretrained-BERT：BERT PyTorch实现，可加载Google BERT预训练模型
pytorch-pretrained-BERT：BERT PyTorch实现，可加载Google BERT预训练模型
AINLP
35+阅读 · 2018年11月6日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
已删除
已删除
将门创投
6+阅读 · 2017年7月6日
相关论文
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
Arxiv
0+阅读 · 2021年9月1日
Improving Human Decision-Making with Machine Learning
Improving Human Decision-Making with Machine Learning
Arxiv
1+阅读 · 2021年8月31日
Verification of the Incremental Merkle Tree Algorithm with Dafny
Arxiv
0+阅读 · 2021年8月31日
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
Arxiv
0+阅读 · 2021年8月30日
A Typed Programmatic Interface to Contracts on the Blockchain
Arxiv
0+阅读 · 2021年8月29日
Contrastive Embedding for Generalized Zero-Shot Learning
Arxiv
6+阅读 · 2021年3月30日
Contrastive Clustering
Arxiv
31+阅读 · 2020年9月21日
Text Summarization with Pretrained Encoders
Arxiv
5+阅读 · 2019年8月22日
A Dual Approach to Scalable Verification of Deep Networks
A Dual Approach to Scalable Verification of Deep Networks
Arxiv
3+阅读 · 2018年8月3日
Zero-Shot Transfer Learning for Event Extraction
Arxiv
10+阅读 · 2017年7月4日
Top
微信扫码咨询专知VIP会员
Top