Towards verifying ethereum smart contract bytecode in Isabelle/HOL
CPP '18: Certified Proofs and Programs Los Angeles CA USA January, 2018, pp. 66-77, 2018.
EI
Abstract:
Blockchain technology has increasing attention in research and across many industries. The Ethereum blockchain offers smart contracts, which are small programs defined, executed, and recorded as transactions in the blockchain transaction history. These smart contracts run on the Ethereum Virtual Machine (EVM) and can be used to encode ag...More
Code:
Data:
Get fulltext within 24h
Upload PDF
1.Your uploaded documents will be check within 24h, and coins will be credited to your account.
2.As the current system does not support cash withdrawal, you can add staff WeChat (AMxiaomai) to receive it as a red packet.
3.10 coins will be exchanged for 1 yuan.
?
￥
Upload a single paper
for 5 coins
Wechat's Red Packet
?
￥
Upload 50 articles
for 250 coins
Wechat's Red Packet
?
￥
Upload 200 articles
for 1000 coins
Wechat's Red Packet
?
￥
Upload 500 articles
for 2500 coins
Wechat's Red Packet
?
￥
Upload 1000 articles
for 5000 coins
Wechat's Red Packet
Tags
Comments