|
AVM 使用 c++实现，AVM 表示的逻辑实现在 MachineStateKeys 类的 machineHash 函数（machinestate.cpp）中。AVM 的特别之处就是除了执行外，还能较方便的表达（证明）执行状态。深入理解 AVM 的基本数据结构，AVM 的基本的数据类型包括： using value = std::variant<Tuple, uint256_t, CodePointStub, HashPreImage, Buffer>; enum ValueTypes { NUM, CODEPT, HASH_PRE_IMAGE, TUPLE, BUFFER = 12, CODE_POINT_STUB = 13 }; (责任编辑：admin) |