AnomaResearch & Insights
探索 Anoma 生态系统的前沿研究，深入了解意图中心架构的创新突破
Anoma 测试网已上线！
Anoma 测试网是一个互动式、游戏化的可视化展示，展示了 Anoma 分布式操作系统所实现的功能
介绍 Web3 的操作系统
我们如何为 Web3 创建一个繁荣的应用层？
宣布启动 Intents 项目第一组
经过激烈的申请过程，已有 15 个项目被选中参与 Intents Initiates 计划
介绍 Intents Initiates
Intents Initiates 计划支持使用 Anoma 构建的项目以及在更广泛的 intents 生态系统中构建的项目
Anoma 的首个测试网已上线！
Anoma 的首个测试网正式上线。Anoma 向意图导向应用的首批构建者开放
Anoma 的主网路线图
Anoma 的主网路线图分为三个基本阶段：开发网、测试网和主网
TL;DW：意图讨论会核心要点
我们为你准备了关于协议、分布式系统、密码学以及与意图相关的应用的讨论会核心要点
意图与意图中心架构导论
意图。去中心化的意图完成机制是针对特定应用的，目前还没有人提出一个能够通用且完成任何意图的机制
Anoma 基金会宣布 Anoma 第三轮融资完成
Anoma 是首个以意图为中心的架构，为构建基础设施层和去中心化应用引入了新的范式
Anoma 在 Elixir 中
本文解释了为什么 Anoma 使用 Elixir 编程语言构建
Slow Games
我们通过回顾概念框架、有损压缩模型、一个示例博弈模型、模拟和未来方向来探讨慢速博弈
从资源模型的角度看意图
我们探讨了意图是什么，并描述了在资源模型中实例化它们的两种具体方法
威胁模型分析
深入分析威胁模型的构建方法，为系统安全评估提供全面的理论框架和实践指导。
SuperSpartan by Hand
手工实现 SuperSpartan 零知识证明系统，深入理解其核心算法和优化技术。
树木有害：字符串图的优势
探讨字符串图相对于传统树形结构的优势，以及在编译器设计中的创新应用。
Arithmetizing Computable Programs Simply
简化可计算程序的算术化过程，提供高效的程序验证和证明生成方法。
想象多聊天：探索聊天应用架构和 Anoma 的潜力
通过多聊天应用的架构设计，展示 Anoma 在去中心化通信领域的巨大潜力。
形式化验证与 Coalgebra 理论
结合形式化验证与 Coalgebra 理论，为复杂系统的正确性证明提供数学基础。
资源与 ARM：Anoma 的核心概念
深入解析 Anoma 的资源模型和 ARM 架构，理解意图中心设计的核心概念。
Understanding and Arithmetizing Hylomorphism Traces
详细阐述 Hylomorphism 追踪的理解和算术化方法，优化递归计算的验证过程。
Abstract Intent Machines
抽象意图机的理论基础和实现原理，为意图驱动计算提供形式化框架。
追踪 Anoma 研究主题（ART）
追踪和分析 Anoma 的核心研究主题，展示项目的学术发展脉络和技术演进。
Elixir 中的第二价格拍卖
在 Elixir 语言中实现第二价格拍卖机制，展示函数式编程在区块链应用中的优势。
微分方程逻辑程序设计
探索微分方程与逻辑程序设计的结合，为连续系统的离散化验证提供新方法。
迈向以意图为中心的拓扑
构建以意图为中心的网络拓扑结构，优化去中心化系统的通信效率和安全性。
Public Signal
深入分析公共信号机制在去中心化协调中的作用，以及在 Anoma 生态中的应用。
Anoma 的 P2P 层简介
全面介绍 Anoma 的点对点网络层设计，包括协议选择、优化策略和安全考虑。
这不是你要找的SUAVE
澄清对 SUAVE 机制的常见误解，深入分析其在 MEV 解决方案中的真正作用。
帐篷中的隐私：关于私密求解策略的概述
探讨私密求解策略的设计原理，为隐私保护的意图匹配提供技术方案。
基于意图的协议pt1：展开UniswapX
深度解析 UniswapX 协议的意图驱动设计，展示基于意图的 DeFi 协议创新。
Typhon 的 Chimera 链
介绍 Typhon 项目中的 Chimera 链技术，实现异构区块链间的原子交易。
Zexe vs. VeriZexe vs. Taiga
对比分析 Zexe、VeriZexe 和 Taiga 三种隐私保护协议的技术特点和应用场景。
意图并非真实
深入探讨意图概念的哲学和技术内涵，澄清对意图中心架构的理论误解。
Anoma 正在将图重新带回到密码学
展示 Anoma 如何将图论重新引入密码学领域，为隐私计算提供新的数学工具。
A Vamp-IR -IR算术电路指南
详细介绍 Vamp-IR 中间表示和算术电路的设计，为零知识证明提供高效编译支持。
Plonkup中的哈希函数
深入分析 Plonkup 证明系统中哈希函数的选择和优化，提升证明生成效率。
异构 Paxos 和多链原子提交
探讨异构 Paxos 共识机制在多链原子提交中的应用，实现跨链事务的一致性。
Ferveo 加密技术概述
全面介绍 Ferveo 门限加密技术的原理和实现，为分布式系统提供隐私保护。
揭开递归零知识证明的神秘面纱
揭示递归零知识证明的核心技术，实现可扩展的证明压缩和验证优化。
揭开ZEXE的神秘面纱
深度解析 ZEXE 协议的设计理念和技术实现，理解可编程隐私的实现机制。
分布式账本中的侧信道分析
分析分布式账本系统中的侧信道攻击威胁，提供全面的安全防护策略和评估方法。
揭秘HybridDKG、一种分布式密钥生成方案
详细介绍混合分布式密钥生成方案的设计，结合多种密码学技术提升安全性和效率。
可聚合 DKG：分布式密钥生成的优化方案
探索可聚合分布式密钥生成技术，为大规模分布式系统提供高效的密钥管理解决方案。