什么是智能合约？ （自动化基础）

定义和核心机制

1. 智能合约是部署在区块链上的自动执行程序，在满足预定条件时自动运行。

2. 它的运作无需中介，直接通过代码执行条款，而不是依赖法律执行或第三方验证。

3. 一旦部署，其逻辑在网络中的所有节点上就变得不可变，这意味着没有任何单个实体可以追溯地改变其行为。

4. 每一个操作——无论是转移代币、铸造 NFT 还是调整协议参数——都被记录为所有参与者可见的确定性状态变化。

5. 仅在收到触发其公共功能之一的有效交易后才会执行，确保严格遵守输入验证和访问控制规则。

执行环境依赖

1. 智能合约需要底层区块链提供的运行时环境，例如以太坊虚拟机（EVM）或Solana的Sealevel运行时。

2. 语言选择与平台兼容性紧密结合：Solidity 和 Vyper 面向 EVM 兼容链，Rust 主导 Solana，Move 用于 Sui 和 Aptos。

3. 编译将高级源代码转换为虚拟机可执行的字节码，每条指令消耗可量化的 Gas 或计算单元。

4. 合约的存储布局在部署时是固定的，根据定义的编码标准为映射、结构和数组等变量分配持久空间。

5. 合约之间的外部调用遵循严格的消息传递语义，其中必须显式处理返回数据，并且通常实施重入防护以防止递归执行漏洞。

实践中的交互模式

1. 用户主要通过针对调用数据中编码的特定功能选择器的钱包签名交易与智能合约交互。

2. 只读函数可以通过eth_call或类似的RPC方法在链外调用，返回结果而不消耗gas或改变状态。

3. 应付函数接受本机代币传输以及函数调用，从而在去中心化应用程序中实现集成支付逻辑。

4. 回退和接收函数处理意外或通用的 Ether 接收，当不存在匹配的函数签名时，充当通用消息传递的入口点。

5. 执行期间发出的事件提供与主存储分开存储的索引、可搜索日志，促进前端索引和分析工具集成。

安全关键设计约束

1. 缺乏动态链接意味着所有依赖项都必须编译到最终的字节码中，从而消除运行时库更新。

2. 如果多个合约共享相同的槽偏移量，则可能会发生存储冲突，特别是在没有适当分离的情况下使用 delegatecall 或代理模式时。

3. 整数溢出在历史上是可利用的，但在 Solidity 0.8+ 中通过内置检查得到缓解；旧版本需要手动使用 SafeMath。

4. 时间戳依赖性引入了不可预测性，因为区块时间戳是由矿工控制在有界容差窗口内的。

5. 区块哈希可访问性仅限于最近的 256 个区块，限制了链上随机性生成的熵源。

常见问题解答

Q1.智能合约可以自行发起交易吗？不可以。智能合约不能自主触发外部动作；他们只响应由外部账户或其他合约发起的传入交易。

Q2。部署后是否可以暂停智能合约？是的——如果合约包含通过布尔状态变量和基于修饰符的访问控制实现的暂停机制，尽管这需要在开发过程中具有远见。

Q3。为什么有些智能合约使用代理模式？代理模式通过将存储布局与实现分离来实现逻辑升级，允许加载新字节码，同时保留跨部署的持久状态。

Q4。如果智能合约在执行过程中耗尽 Gas 会发生什么？整个交易将恢复，恢复到那时为止的所有状态更改，并且已经消耗的天然气将作为验证者的付款被没收。