cse-ll4smartcontract:智能合约的线性逻辑-分配（HCMUT）

智能合约的线性逻辑（ll4smartcontract） HCM工业大学的数学模型作业。 报告，智能合约用例 您可以查看我的团队报告，其中包括带有线性逻辑的智能合约的用例。 具有Solidity的智能合约 我的团队使用语言实现智能合同。 该合约在运行， 是一个Web浏览器，允许编写Solidity智能合约，在以太坊网络（或测试网络）上部署和运行。 扎实，以太坊和混音？ 什么是Solidity？ Solidity是用于实现智能合约的面向合约的高级语言。 它受到C ++，Python和JavaScript的影响，旨在针对以太坊虚拟机（EVM）。 实体是静态类型的，除其他功能外，还支持继承，库和复杂的用户定义类型。 什么是以太坊？ 以太坊是一个基于区块链技术的开放软件平台，使开发人员能够构建和部署去中心化应用程序（dApp）。 什么是混音？ Remix（以前称为Browser Solidi