The differences of smart contract programming on Aptos and Sui
through the comparison and analysis of OmniBTC's mirror BTC Move code.
Intro
First introduces the paradigm shift of smart contract development,
from code and data together to code and data sepa...
简介
介绍了2种搭建本地测试网的方式, 并演示了普通转账和合约调用
1. Sui相关链接
Sui 官网: https://sui.io/#
Sui 代码: https://github.com/MystenLabs/sui
Sui 官方钱包(浏览器插件): https://docs.sui.io/devnet/explore/wallet-browser
Sui 浏览器: https://explorer.devnet.sui.io/
Sui 官方文档: https://docs.sui.io/learn
...
使用 Move Prover 对智能合约进行快速可靠的形式化验证⋆
David Dill, Wolfgang Grieskamp()⋆⋆,
Junkil Park, Shaz Qadeer, Meng Xu, and Emma Zhong
Novi Research, Meta Platforms, Menlo Park, USA
摘要。 Move Prover (MVP) 是用 Move 编程语言编写的智能合约的形式化验证器。 MVP 具有表达性强的规范语言,并且足够快速和可靠,可以由开发人员和集成测试...
Why am I optimistic about the Move language
who I am?
My technical titles used to be: gguoss, Guanghua, Guo Daxia, Gavin Guo, GG. I am a blockchain technical engineer.
I have been engaged in the development of the underlying framework of the blockchain fo...