可验证预言机

Fermat

带对偶证书的最短时间路由 · 24 项测试 · 按调用付费

在加权服务图上可证明最优的能力组合——返回最短时间路径以及程函势 T(v)，任何客户端都能在 O(E) 内验证，无需重跑搜索。