追踪 Anoma 研究主题（ART）

介绍

ARTs 始终提醒我们，知识是最宝贵的资源，而分享知识是我们最大的优势。通过在 ART 报告中公开我们的研究，我们致力于促进围绕 Anoma 更具韧性和透明度的生态系统

几周前，我们推出了 Anoma 研究主题（ART），这是一个收集和记录我们研发工作的中心，记录了每一个关键步骤。通过这篇文章，我们旨在描述 ART 的结构，既是为了邀请外部参与，也希望能为其他人提供这种系统的参考。此外，我想带你快速了解 ART 是如何诞生的，它内部解决了哪些问题，以及它对 Anoma 的意义。对于希望进一步探索的人，我们邀请你访问 ART 网站 。

什么是 ART？

遵循 Anoma 通过开源项目促进公共产品的承诺，ART 是一个开放获取 、 轻量级、同行评审的报告索引。虽然主要由 Anoma 的研究人员和工程师撰写和评审，但它向任何希望参与的人开放。

ART 系列涵盖了各种主题 ，从分布式系统、密码学到编译器和区块链，映射了 Anoma 所基于的理论基础。它是 Anoma 的核心知识库，并且正在不断增长。这就是 ART 对我们而言所代表的意义，而系列中的每一份报告本身都是一份 ART。

ART 最初为何存在？

在过去的两年里，Anoma 发展了许多想法和项目 ，作为一个概念， 它已经发展 。在 2023 年初的瓦伦西亚静修期间，我们需要一个结构化的系统来记录正在进行的研究工作变得清晰，并在参加 ETHPrague 和 ETHCC 2023 后进一步讨论。ART 的创建是去年第四季度开发过程中各种讨论和提出的关注点自然而然的结果。虽然我在赋予 ART 其形状方面发挥了重要作用，但这确实是一个协作努力，得到了 Anoma 团队的惊人支持。

ART 是如何开始的？

ART 始于 2023 年秋季。当时，Anoma 有三个活跃的编译器项目，由三个子团队使用三种不同的技术为三种新的编程语言：Juvix 用 Haskell，Geb 用 Lisp，和 VampIR 用 Rust。它们一起提供了一个端到端的解决方案 ，可以将意图编译为声明性程序为算术电路 ，在一定程度上支持 ZK 证明，以及根据用户选择的原生二进制文件以透明执行。

在开发这些编译器过程中，我们遇到了技术问题和风险。我们必须质疑我们是否从一开始就清楚编译器的可行性，以及是否需要开发新技术来满足 Anoma 的需求。但这些问题答案并不明确。

事实上，如果你从下往上滚动已发布的 ART 列表 ，你会发现一个明显的模式。前几个 ART 都是关于编译器的，都是写来回答这些问题中的某些。这些 ART 帮助我们做出了后续的关键决策。

虽然创建编译器可以很有趣，但这需要大量时间、精力和资源。完成我们的第一个 ART 后，我们撰写了一系列关于我们的编译器栈的论文：Geb Pipeline、Rethinking VampIR 和 VampIR Bestiary。到 2023 年底，这些 ART 以及进一步的讨论让我们停止了 Geb Lisp 实现和 VampIR 的积极开发；记住，这两者是 Juvix 的主要后端。

所以，尽管这可能具有挑战性，但取消项目有时是必要的。在 Anoma，我们已经看到了因此带来的许多积极成果。事实上，Anoma 作为一个团队现在内部结构更加完善；它拥有一个更加清晰的开发路线图，并且通过我们之前以 Juvix、Geb 和 VampIR 为例，我们现在对 Anoma v1 要实现可行所需的内容以及隐私保护意图编译器必须能够完成的工作有了更好的理解。

别再重新发明轮子了？

如果你认为 ART 只是一个预印本服务器用来存储论文，你就错过了它的全部潜力。ART 当然比其他知名平台如 Arxiv、IACR 和 OpenReview 要简单得多。即使这些平台的影响力确实更广，ART 也通过成为 Anoma 的内部中心而独树一帜。我们关注着投稿以及整个编辑和审稿过程的发生。这种方法确保了正在进行的工作首先能在我们所有的 Anoma 团队之间快速共享。事实上，我们的同行评审过程已成为我们研究工作的重要组成部分。

特别是，ART 提供了一种面向不同目标的同行评审流程，这些目标与学术会议或期刊典型的同行评审流程不同，这些目标能更好地满足我们整体组织需求。有两个关键区别：

学术同行评审是特定学科分支的子学科，旨在与特定学科的研究文献在逻辑一致性和语言可读性上保持一致。ART 同行评审则面向跨学科的综合，与整体 Anoma 概念保持整体关联。

学术同行评审周期以月为单位衡量，而 ART 同行评审周期以周或天为单位衡量。迭代速度对于我们至关重要，以便在 Heliax 和 Anoma 中协调研究、工程和产品功能的时间表。

像微软这样的一些公司，它们在某种程度上与伽罗瓦等实体以及关注与我们相似主题的以太坊和几何等公司一样分享其研究成果，其研究实践在某些方面相似，在其他方面则不同。特别是，我们邀请区块链行业研究社区成员参与 ART，并将这一概念重新创作成新的版本。同行评审可以是一种极其高效的知识传播和研究交叉授粉方法，但必须根据具体目的进行设计，才能有效地推动其发展。

结论

ART 是我们近期努力将 Anoma 从研究项目转变为可行产品的一部分。它有助于区分 Anoma 面临的研究和工程问题，并在研究、工程和产品流程的适当位置解决这些问题。每个 ART 都是为了支持这一转变，解决诸如意图解决、为函数程序制定更好的编译策略直至零知识证明等问题，从成功和失败中学习，并应对未知。我们现在可以专注于将所有乐高积木组合起来，使 Anoma 变得可行。

ARTs 作为一个不断提醒的标志，即知识是我们最宝贵的资源——分享知识是我们最大的优势。通过在 ART 报告中公开我们的研究，我们致力于促进围绕 Anoma 更具弹性和透明度的生态系统。如果你阅读 ARTs，请加入我们的 Anoma 研究论坛 。请随时表达你的担忧，解决不确定性，并帮助我们改进规范和任何需要改进的其他领域。我们邀请所有人参与！你可以在网站上了解有关 ART 流程的所有信息。

好了，各位。回去工作吧！

致谢

感谢 Christopher Goes 和 apriori 提供的反馈和审阅