可互换的知识领域

挑战系统通过可互换的库支持多个知识领域。每个域都是一个自包含的捆绑包，它定义了在该域中生成挑战所需的一切。

域名如何运作

• 协调器在启动时加载批准的域包。
• 每个挑战都是从捆绑包内的规范生成的，并由纪元种子播种。
• 捆绑包提供了自己的验证器，因此评分逻辑随域一起传播。
• 添加域不需要更改挖掘协议。

捆绑内容

启动域

该协议以不需要专有语料库的通用推理域开始： 逻辑推理链、文档合成和结构化提取。附加 域是通过以下方式添加的提议.

确定性要求

仅当域的验证器具有确定性时才会获得批准：相同的工件和 相同的种子在任何机器上都必须始终产生相同的判决。不确定性 评分无法独立重播，不可重播的评分无法验证。