Tolk 安全解析：从 FunC 的工程痛点到新的审计要点

CertiK 通过代码对比 FunC 与 Tolk：FunC 时代字段顺序、整数宽度、解析位置等底层细节靠约定维护，一处失误即可改变资产归属或导致双重入账；Tolk 以命名结构、精确类型、自动序列化、显式 mutation 和专用入口将其交给编译器管理，并引入 lazy、union、nullable 与 BounceMode 等新安全边界，但授权、重放、异步状态、记账与治理风险仍需完整审计覆盖。