分享百科

指令解码

漏洞披露：Cairo VM中潜在的排序器-证明器不一致性问题

Starkware发现Cairo VM中存在一个关键问题，该问题可能导致程序在VM上成功执行但违反AIR约束，已通过PR修复并发布更新。
Cairo VM  AIR约束  StarkWare  指令解码  安全验证 
登链社区