# \#anoma **URL:** https://forum.anoma.net/tag/anoma/6.md [Latest](https://forum.anoma.net/latest.md) · [Categories](https://forum.anoma.net/categories.md) · [Tags](https://forum.anoma.net/tags.md) --- ## [AL Design Doc: Proposal for AL Phase 2](https://forum.anoma.net/t/al-design-doc-proposal-for-al-phase-2/2678)
**Author:** [@l4e21](https://forum.anoma.net/u/l4e21)\ **Replies:** 0\ **Last updated:** [May 19, 2026, 9:52am UTC](https://forum.anoma.net/t/al-design-doc-proposal-for-al-phase-2/2678 "2026-05-19T09:52:12Z")
Here is a proposal for the second phase of AL work. We have been spending time improving the event broker and working on some other areas General improvements to the virtual machine, addition of special VM classes and… --- ## [ThyHBB Prototype Proposal](https://forum.anoma.net/t/thyhbb-prototype-proposal/2635)
**Author:** [@l4e21](https://forum.anoma.net/u/l4e21)\ **Replies:** 1\ **Last updated:** [March 18, 2026, 2:52pm UTC](https://forum.anoma.net/t/thyhbb-prototype-proposal/2635 "2026-03-18T14:52:42Z")
Jamie, Isaac, and I have met regarding interest in prototyping the Heterogeneous Bracha Broadcasting algorithms designed by Jamie and Isaac. The reasons for such a proposal are as follows: We would like a prototype of… --- ## [AL Design Doc: Desciribing the initial prototype](https://forum.anoma.net/t/al-design-doc-desciribing-the-initial-prototype/2603)
**Author:** [@l4e21](https://forum.anoma.net/u/l4e21)\ **Replies:** 3\ **Last updated:** [March 9, 2026, 1:41pm UTC](https://forum.anoma.net/t/al-design-doc-desciribing-the-initial-prototype/2603 "2026-03-09T13:41:42Z")
This post makes reference to the first release of the AL prototype The AL prototype’s design follows the spirit of systems which have influenced it, and has similar general qualities. The primary benefit of writing a p… --- ## [AL Design Doc: Drafting the Abstract Machine for Elixir](https://forum.anoma.net/t/al-design-doc-drafting-the-abstract-machine-for-elixir/2581)
**Author:** [@l4e21](https://forum.anoma.net/u/l4e21)\ **Replies:** 12\ **Last updated:** [February 5, 2026, 12:23pm UTC](https://forum.anoma.net/t/al-design-doc-drafting-the-abstract-machine-for-elixir/2581 "2026-02-05T12:23:09Z")
This is a diagram intended to display the basic design components for the first version of the AL kernel as I intend to write it in Elixir: processes, algorithms, other basic details. Many things did not go into consider… --- ## [Controllers and Solvers in the Abstract](https://forum.anoma.net/t/controllers-and-solvers-in-the-abstract/2539)
**Author:** [@l4e21](https://forum.anoma.net/u/l4e21)\ **Replies:** 4\ **Last updated:** [December 18, 2025, 9:22pm UTC](https://forum.anoma.net/t/controllers-and-solvers-in-the-abstract/2539 "2025-12-18T21:22:45Z")
Controllers and Solvers in the Abstract The aim of this post is to describe the minimal general shape of a solver-controller architecture, as well as the two primary ways in which controllers can interact under such a sy… --- ## [R&D objectives dependency graph](https://forum.anoma.net/t/r-d-objectives-dependency-graph/1639)
**Author:** [@ray](https://forum.anoma.net/u/ray)\ **Replies:** 6\ **Last updated:** [June 25, 2025, 5:47pm UTC](https://forum.anoma.net/t/r-d-objectives-dependency-graph/1639 "2025-06-25T17:47:34Z")
Formulated with Jeremy this afternoon, posting for reference. An enveloping box is a larger objective that depends on everything inside it, otherwise A → B means B depends on A. Archive link: --- ## [Is it necessary to translate white papers into local languages?](https://forum.anoma.net/t/is-it-necessary-to-translate-white-papers-into-local-languages/1584)
**Author:** [@werts\_eth](https://forum.anoma.net/u/werts_eth)\ **Replies:** 0\ **Last updated:** [June 8, 2025, 7:09pm UTC](https://forum.anoma.net/t/is-it-necessary-to-translate-white-papers-into-local-languages/1584 "2025-06-08T19:09:52Z")
Is it necessary to translate documentation into natural languages such as Russian, French and others? Modern information technologies provide the possibility of translation, but it is not always accurate and corresponds … --- ## [Anoma-Powered Cross-Chain Strategy Builder](https://forum.anoma.net/t/anoma-powered-cross-chain-strategy-builder/1305)
**Author:** [@Atharva](https://forum.anoma.net/u/Atharva)\ **Replies:** 0\ **Last updated:** [March 19, 2025, 5:32am UTC](https://forum.anoma.net/t/anoma-powered-cross-chain-strategy-builder/1305 "2025-03-19T05:32:27Z")
We’re exploring a cross-chain strategy builder that leverages Anoma’s intent-centric architecture to facilitate complex, multi-step trading workflows—particularly for options and derivatives. By harnessing Anoma’s univer… --- ## [Exploring the Dominion of Anoma: A Distributed Operating System](https://forum.anoma.net/t/exploring-the-dominion-of-anoma-a-distributed-operating-system/1055)
**Author:** [@mariari](https://forum.anoma.net/u/mariari)\ **Replies:** 3\ **Last updated:** [January 14, 2025, 11:31am UTC](https://forum.anoma.net/t/exploring-the-dominion-of-anoma-a-distributed-operating-system/1055 "2025-01-14T11:31:17Z")
Exploring the Dominion of Anoma: A Distributed Operating System Anoma is an operating system, a distributed one at that. However, what does this mean in practice for Anoma and her Dominion? Further, What implications doe… --- ## [\[Proposal\] Integration of Spicenet into Anoma's intent-centric network](https://forum.anoma.net/t/proposal-integration-of-spicenet-into-anomas-intent-centric-network/1060)
**Author:** [@karthik-spicenet](https://forum.anoma.net/u/karthik-spicenet)\ **Replies:** 0\ **Last updated:** [January 12, 2025, 6:00pm UTC](https://forum.anoma.net/t/proposal-integration-of-spicenet-into-anomas-intent-centric-network/1060 "2025-01-12T18:00:35Z")
Hello guys - I’m Karthik, one of the cofounders of Spicenet. Spicenet is the Unified and Composable Liquidity Layer enabling developers to build highly performant, customizable and capital-efficient trading applications.… --- ## [The Anoma Level (AL) Programming System](https://forum.anoma.net/t/the-anoma-level-al-programming-system/421)
**Author:** [@mariari](https://forum.anoma.net/u/mariari)\ **Replies:** 3\ **Last updated:** [December 9, 2024, 3:26pm UTC](https://forum.anoma.net/t/the-anoma-level-al-programming-system/421 "2024-12-09T15:26:35Z")
Anoma Anoma is a distributed operating system, in the same vain as Urbit and Erlang. However as Urbit took Erlang to a hierarchical user system, Anoma takes Urbit to potentially byzantine actors. Further, rather than bas… --- ## [\[Proposal\] Efficient Heterogeneous Paxos 2.0](https://forum.anoma.net/t/proposal-efficient-heterogeneous-paxos-2-0/771)
**Author:** [@karbyshev](https://forum.anoma.net/u/karbyshev)\ **Replies:** 0\ **Last updated:** [September 18, 2024, 10:50am UTC](https://forum.anoma.net/t/proposal-efficient-heterogeneous-paxos-2-0/771 "2024-09-18T10:50:27Z")
Research proposal on Heterogeneous Paxos 2.0 Together with @isheff we have been working on the heterogeneous consensus protocol, and developed a new version of the consensus algorithm called HPaxos 2.0. The main improvem… --- ## [How to check the correspondence of nullifiers and commitments between compliance proofs and resource logic proofs](https://forum.anoma.net/t/how-to-check-the-correspondence-of-nullifiers-and-commitments-between-compliance-proofs-and-resource-logic-proofs/726)
**Author:** [@xuyang](https://forum.anoma.net/u/xuyang)\ **Replies:** 5\ **Last updated:** [August 13, 2024, 2:11am UTC](https://forum.anoma.net/t/how-to-check-the-correspondence-of-nullifiers-and-commitments-between-compliance-proofs-and-resource-logic-proofs/726 "2024-08-13T02:11:40Z")
The transaction execution requires not only proofs verification but also some out-of-proof/circuit checks. It may be necessary to explicitly explain these checks in the Specs in the future. In this post, I will focus on … --- ## [Anoma Topics Meeting Digest: Global Data Brokers](https://forum.anoma.net/t/anoma-topics-meeting-digest-global-data-brokers/676)
**Author:** [@mariari](https://forum.anoma.net/u/mariari)\ **Replies:** 9\ **Last updated:** [July 31, 2024, 2:47pm UTC](https://forum.anoma.net/t/anoma-topics-meeting-digest-global-data-brokers/676 "2024-07-31T14:47:00Z")
The general design We wish to design a global data broker that gets messages about a particular topic. This would likely be an actor or a pool of actors. From there, we would make sub brokers as a custom query. These wo…