Đang tải...
Towards a Formally Verified EVM in Production Environment
Among dozens of decentralized computing platforms, Ethereum attracts widespread attention for its native support of smart contracts by means of a virtual machine called Ethereum Virtual Machine (EVM). Programs can be developed in various front-end languages. For example, Solidity can be deployed to...
Đã lưu trong:
| Xuất bản năm: | Coordination Models and Languages |
|---|---|
| Những tác giả chính: | , , |
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
2020
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7282840/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-50029-0_21 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|