用途:Anoma Intents 用于跨链 obstruction 传递与意图路由。它把意图建模为双笛卡尔闭范畴中的态射,在 Aptos 等源链上创建意图,经 Anoma 意图机器匹配、路由与 GF(3) 校验,最终在目标链提交。
主要能力:支持意图的 nullify/commit 结构、求解器匹配与 VCG 费用提取、GF(3) 跨链守恒校验、谱隙保持检查,以及用 Juvix 编写意图 DSL 并编译为 Geb 态射。
使用方式:资料给出命令示例,如 just anoma-intent create --from aptos --to anoma --obstruction obs.json、just anoma-solve --intents pool.json --extraction-rate 0.03、just anoma-verify-gf3 --transaction tx.json、just juvix-compile intent.juvix --target geb。
适用场景:跨链消息传递、意图求解与匹配、资源 nullify/commit、需要 GF(3) 守恒或谱隙约束的协调类任务。
限制:资料未提供安装步骤、依赖版本、收费与性能数据;具体链支持范围、安全审计与生产可用性暂未提供。