优惠论坛

标题: Sui IDLeak验证器(转) [打印本页]

作者: 935a 时间: 2023-6-29 11:36
标题: Sui IDLeak验证器(转)

与原来的Move设计不同，Sui的区块链平台引入了一个独特的以“目标”为中心的全局存储模型。这个模型的一个显著特点是：任何具有key属性（作为索引上链存储）的数据结构必须以ID类型作为该结构的第一个字段。ID字段不可改变，且不能转移到其他目标上，因为每个对象必须有一个全局唯一的ID。为了确保这些特性，Sui在抽象解释器上建立了一套自定义分析逻辑。

IDLeak验证器，也被称为id_leak_verifier，与抽象解释器协同工作进行分析。它有着自己独特的AbstractDomain，被称为AbstractState。每个AbstractState由多个局部变量对应的AbstractValue组成。通过AbstractValue来监督每个局部变量的状态，以此来追踪一个ID变量是否是全新的。

在结构体打包的过程中，IDLeak验证器只允许将一个全新的ID打包到一个结构体中。通过抽象解释分析，IDLeak验证器可以详尽地跟踪本地数据流状态，以确保没有现有的ID被转移到其他结构体对象。

作者: 如梦的生活 时间: 2023-6-29 13:11
不知是有什么作用的了

作者: 22301 时间: 2023-6-29 13:33
这个验证器还是不太懂的啦。

作者: 赚钱小样 时间: 2023-6-30 13:24
这个的话是没用过的了不错的

作者: rainwang 时间: 2023-6-30 14:21
这东西对普通的人有啥意义呢，可以不懂的

作者: 爬格子的瘦书生 时间: 2023-6-30 15:59
这是把源代码都发出来的节奏

作者: 爱美的女人 时间: 2023-7-5 10:06
看吧，到底是怎么样的验证器

作者: 德罗星 时间: 2023-7-5 15:59
这个东西我不了解的啊.

欢迎光临优惠论坛 (https://tcelue.tv/)