智能合约（Smart Contract）是以计算机为主要工具，将数学算法嵌入到程序中，用以证明某个事件是否符合约定条件，并保证各方在约定时间内按照约定条件达成一致，以验证和执行合同条款的计算机文本。简单来说智能合约是一个计算机程序，可以在不需要第三方介入的情况下自动执行合同条款。
在传统合约中，如果一个交易是在互联网上进行，那么需要先通过一个叫公钥（public key）的数学算法（public function），将交易双方的私钥转换为一串字符串，然后用公钥对字符串进行校验，以确保交易不会被篡改或伪造。然而在智能合约中，由于没有了私钥值这一约束条件，公钥很难被伪造。
contract D{
uint256[]public uArr;
uint256[3]public uArr1=[1,2,3];
mapping(uint=>string)public i2s;//position is 0
function setArr(uint key){
uArr.push(100);
uArr.push(200);
uArr[0]=200;
}
function setInt(uint key){
i2s[key]="zzz";
}
}
智能合约通过自动执行合同条款，将合同转化为一种自动化的交易，从而减少了人为因素对交易的影响。根据不同的业务需求和环境，智能合约会自动执行一系列操作。
智能合约是分布式系统或应用程序中可扩展性的基础，它能够在没有第三方参与的情况下实现业务逻辑，为用户提供了更安全、更高效地使用系统的方式。
智能合约是一种以代码形式编写的合约，它可以在区块链上自动执行。智能合约可以实现多种功能，如转账、验证身份、创建数字身份等。
智能合约的语法一般采用基于Solidity的编程语言。其中，关键字包括contract、function、modifier、event等。下面给出一个简单的智能合约示例代码：
pragma solidity^0.8.0;contract Hello{string message;constructor(string memory _message){message=_message;}function getMessage()public view returns(string memory){return message;}function setMessage(string memory _newMessage)public{message=_newMessage;}}
上述示例代码定义了一个合约名为Hello，其中包含了一个存储字符串类型的变量message，以及两个函数getMessage和setMessage用于获取和设置变量message的值。
library VectorSum{
//因为目前的优化器在访问数组时无法移除边界检查，
//所以这个函数的执行效率比较低。
function sumSolidity(uint[]_data)public view returns(uint o_sum){
for(uint i=0;i<_data.length;++i)
o_sum+=_data<i>;
}
//我们知道我们只能在数组范围内访问数组元素，所以我们可以在内联汇编中不做边界检查。
//由于ABI编码中数组数据的第一个字（32字节）的位置保存的是数组长度，
//所以我们在访问数组元素时需要加入0x20作为偏移量。
function sumAsm(uint[]_data)public view returns(uint o_sum){
for(uint i=0;i<_data.length;++i){
assembly{
o_sum:=add(o_sum,mload(add(add(_data,0x20),mul(i,0x20))))
}
}
}
智能合约能在不改变交易对手方、交易规则和协议的情况下，自动执行合同条款，从而保证交易执行不受任何第三方干扰。
智能合约的核心在于“信任”，基于信任的机制设计使得合约双方能够在没有第三方的参与情况下进行公平合理地交流沟通；智能合约能够使参与者能够根据信任程度选择不同的触发条件和触发机制，从而使规则透明、安全。
这也是区块链与传统金融系统最大的不同之处，区块链以“信任”为核心进行设计和开发，以去中心化、可追溯等特性，在保证交易真实性、不可篡改性等方面可以大大提升交易各方之间的信任程度。
