# Latest **URL:** https://forum.anoma.net/latest.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: Effects on the Edge](https://forum.anoma.net/t/al-design-doc-effects-on-the-edge/2751)
**Author:** [@l4e21](https://forum.anoma.net/u/l4e21)\ **Replies:** 0\ **Last updated:** [September 15, 2026, 8:23am UTC](https://forum.anoma.net/t/al-design-doc-effects-on-the-edge/2751 "2026-09-15T08:23:06Z")
AL Design Doc: Effects on the Edge So far AL has mainly focused on its basic relational/object semantics within a transaction. I feel that AL’s intra-transactional semantics are now relatively well-defined and am happy w… --- ## [Interoperability between declarative and imperative paradigms via PA](https://forum.anoma.net/t/interoperability-between-declarative-and-imperative-paradigms-via-pa/2686)
**Author:** [@vveiln](https://forum.anoma.net/u/vveiln)\ **Replies:** 14\ **Last updated:** [September 4, 2026, 11:21pm UTC](https://forum.anoma.net/t/interoperability-between-declarative-and-imperative-paradigms-via-pa/2686 "2026-09-04T23:21:08Z")
The goal of this post is to describe the problem of interoperability of different paradigms and propose the short- and long- term solution that involves minimal changes but preserves maximum generality. Declarative vs i… --- ## [Should Rome be used for the Solana Protocol Adapter?](https://forum.anoma.net/t/should-rome-be-used-for-the-solana-protocol-adapter/2746)
**Author:** [@AHart](https://forum.anoma.net/u/AHart)\ **Replies:** 1\ **Last updated:** [September 3, 2026, 2:42pm UTC](https://forum.anoma.net/t/should-rome-be-used-for-the-solana-protocol-adapter/2746 "2026-09-03T14:42:38Z")
Hello. @graphomath asked me about Rome, a framework for converting EVM/solidity contracts into a form that works on Solana. Right now, we have a working version of the PA for Solana. If we used Rome, all that would be sc… --- ## [AL Design Doc: Where Does a Value Live? Storage as Configuration in Developing AL Towards a Temporal Semantics](https://forum.anoma.net/t/al-design-doc-where-does-a-value-live-storage-as-configuration-in-developing-al-towards-a-temporal-semantics/2743)
**Author:** [@l4e21](https://forum.anoma.net/u/l4e21)\ **Replies:** 0\ **Last updated:** [August 23, 2026, 6:43pm UTC](https://forum.anoma.net/t/al-design-doc-where-does-a-value-live-storage-as-configuration-in-developing-al-towards-a-temporal-semantics/2743 "2026-08-23T18:43:34Z")
AL Design Doc: Where Does a Value Live? Storage as Configuration in Developing AL Towards a Temporal Semantics Summary This article goes over the recent set of changes to AL since . I describe the new constraint store, t… --- ## [ARM-RISC0 V2: notes for anomapay-backend-multichain and anomapay-workers-queue](https://forum.anoma.net/t/arm-risc0-v2-notes-for-anomapay-backend-multichain-and-anomapay-workers-queue/2741)
**Author:** [@xuyang](https://forum.anoma.net/u/xuyang)\ **Replies:** 2\ **Last updated:** [August 20, 2026, 12:07pm UTC](https://forum.anoma.net/t/arm-risc0-v2-notes-for-anomapay-backend-multichain-and-anomapay-workers-queue/2741 "2026-08-20T12:07:54Z")
Migration notes for anomapay-backend-multichain and anomapay-workers-queue. From: anoma-rm-risc0 = "1.1.1" (crates.io) To: anoma-rm-risc0 @ git tag v2.0.0-rc.3-abi\_encode (commit a7d28eb) — to be replaced by a publish… --- ## [ARM-RISC0 V2: Compliance Merge and Kind Table Optimization](https://forum.anoma.net/t/arm-risc0-v2-compliance-merge-and-kind-table-optimization/2693)
**Author:** [@xuyang](https://forum.anoma.net/u/xuyang)\ **Replies:** 1\ **Last updated:** [July 31, 2026, 9:01am UTC](https://forum.anoma.net/t/arm-risc0-v2-compliance-merge-and-kind-table-optimization/2693 "2026-07-31T09:01:16Z")
Background The ARM (Anoma Resource Machine) compliance circuit is the core proving primitive: given a set of consumed and created resources, it proves that the conservation law holds (balanced kinds and quantities) and p… --- ## [\[Temp Check\] Activate Withdrawal Fee for AnomaPay](https://forum.anoma.net/t/temp-check-activate-withdrawal-fee-for-anomapay/2727)
**Author:** [@thespacecatjr](https://forum.anoma.net/u/thespacecatjr)\ **Replies:** 3\ **Last updated:** [July 29, 2026, 11:49am UTC](https://forum.anoma.net/t/temp-check-activate-withdrawal-fee-for-anomapay/2727 "2026-07-29T11:49:34Z")
Summary This proposal introduces a 25 basis point (0.25%) fee on withdrawals from AnomaPay’s shielded pool back to transparent EVM wallets. Revenue generated from the fee will be distributed as follows: 50% will be u… --- ## [Zconnect as a standard Web wallet interface for Zcash](https://forum.anoma.net/t/zconnect-as-a-standard-web-wallet-interface-for-zcash/2734)
**Author:** [@sugo](https://forum.anoma.net/u/sugo)\ **Replies:** 2\ **Last updated:** [July 23, 2026, 12:36pm UTC](https://forum.anoma.net/t/zconnect-as-a-standard-web-wallet-interface-for-zcash/2734 "2026-07-23T12:36:25Z")
Motivation The Zcash ecosystem currently has no dedicated Web wallet software, apart from a Metamask snap from the ChainSafe team, much less a standardized interface that all wallets could use as a signing gadget of sort… --- ## [Zcash protocol ideas](https://forum.anoma.net/t/zcash-protocol-ideas/2732)
**Author:** [@sugo](https://forum.anoma.net/u/sugo)\ **Replies:** 1\ **Last updated:** [July 21, 2026, 4:53pm UTC](https://forum.anoma.net/t/zcash-protocol-ideas/2732 "2026-07-21T16:53:12Z")
Ever since Dev Ojha joined the Zcash ecosystem (through Valar Group), protocol development in this network has been accelerating at an unprecedented pace. More recently, alongside Shielded Labs and the Zcash Foundation, … --- ## [AL, As It Currently Exists](https://forum.anoma.net/t/al-as-it-currently-exists/2733)
**Author:** [@l4e21](https://forum.anoma.net/u/l4e21)\ **Replies:** 0\ **Last updated:** [July 20, 2026, 1:34pm UTC](https://forum.anoma.net/t/al-as-it-currently-exists/2733 "2026-07-20T13:34:12Z")
AL has recently accumulated a lot of features due to trying to meet the demand of its users. It is clear that some of this must be technical debt. Now it is important to iterate upon the design- we must re-evaluate every… --- ## [Vectorize Resource Logic Circuits](https://forum.anoma.net/t/vectorize-resource-logic-circuits/2730)
**Author:** [@murisi](https://forum.anoma.net/u/murisi)\ **Replies:** 1\ **Last updated:** [July 14, 2026, 4:21pm UTC](https://forum.anoma.net/t/vectorize-resource-logic-circuits/2730 "2026-07-14T16:21:09Z")
Abstract Currently resource logic circuits like the transfer authorization circuit take a single witness and output the corresponding resource logic instance. This RFC proposes to instead make resource logic circuits tak… --- ## [Aggregation Circuit and Instance Refactor — RFC](https://forum.anoma.net/t/aggregation-circuit-and-instance-refactor-rfc/2724)
**Author:** [@xuyang](https://forum.anoma.net/u/xuyang)\ **Replies:** 2\ **Last updated:** [July 13, 2026, 7:30am UTC](https://forum.anoma.net/t/aggregation-circuit-and-instance-refactor-rfc/2724 "2026-07-13T07:30:55Z")
Abstract Move compliance↔logic consistency checks from out-of-circuit Rust into the aggregation guest, and commit a compact AggregationInstance instead of raw byte blobs. This shrinks the aggregation journal/instance, el… --- ## [Generic Private Logic Upgrades(Migration) via the Conversion Circuit](https://forum.anoma.net/t/generic-private-logic-upgrades-migration-via-the-conversion-circuit/2718)
**Author:** [@xuyang](https://forum.anoma.net/u/xuyang)\ **Replies:** 9\ **Last updated:** [July 10, 2026, 8:56am UTC](https://forum.anoma.net/t/generic-private-logic-upgrades-migration-via-the-conversion-circuit/2718 "2026-07-10T08:56:38Z")
Background In the Anoma Resource Machine (ARM), a resource kind is derived from the resource logic verifying key and the resource label. resource\_kind = H(logic\_vk || resource\_label) This property is desirable because … --- ## [System of Systems and ARM of ARMs](https://forum.anoma.net/t/system-of-systems-and-arm-of-arms/2725)
**Author:** [@vveiln](https://forum.anoma.net/u/vveiln)\ **Replies:** 3\ **Last updated:** [July 8, 2026, 4:32pm UTC](https://forum.anoma.net/t/system-of-systems-and-arm-of-arms/2725 "2026-07-08T16:32:04Z")
In my attempts to optimize the architecture of the ARM to make it more suitable for protocol bootstrapping, I came across the concept of system of systems. I noticed a bunch of parallels between this framework and Anoma … --- ## [Design Philosophy of AL + Bibliography](https://forum.anoma.net/t/design-philosophy-of-al-bibliography/2698)
**Author:** [@l4e21](https://forum.anoma.net/u/l4e21)\ **Replies:** 2\ **Last updated:** [June 23, 2026, 9:35am UTC](https://forum.anoma.net/t/design-philosophy-of-al-bibliography/2698 "2026-06-23T09:35:01Z")
The purpose of this post is to explain and justify the design features of AL and provide resources for extra reading for interested users. Design Principles The AL runtime can be modelled as what we call a ‘commitment m… --- ## [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… --- ## [Revisiting a Hardware Strategy for Anoma](https://forum.anoma.net/t/revisiting-a-hardware-strategy-for-anoma/2666)
**Author:** [@apriori](https://forum.anoma.net/u/apriori)\ **Replies:** 0\ **Last updated:** [April 29, 2026, 3:34am UTC](https://forum.anoma.net/t/revisiting-a-hardware-strategy-for-anoma/2666 "2026-04-29T03:34:12Z")
tl;dr The right hardware bet for Anoma is not a phone. It is a custom phone OS that owns the developer surface for shielded execution. Note: I co-wrote this post with claude opus 4.7 A return visit to a question we … --- ## [Execution Proof — Data Availability Strategies](https://forum.anoma.net/t/execution-proof-data-availability-strategies/2660)
**Author:** [@xuyang](https://forum.anoma.net/u/xuyang)\ **Replies:** 0\ **Last updated:** [April 20, 2026, 7:17am UTC](https://forum.anoma.net/t/execution-proof-data-availability-strategies/2660 "2026-04-20T07:17:26Z")
Background The ARM execution proof is a ZK rollup-style protocol. The ExecutionProofInstance is committed to the RISC0 journal — the canonical public record — and downstream verifiers chain proofs by matching pre/post … --- ## [\[Idea\] Anoma Protocol Adapter × Across Protocol](https://forum.anoma.net/t/idea-anoma-protocol-adapter-x-across-protocol/2658)
**Author:** [@apriori](https://forum.anoma.net/u/apriori)\ **Replies:** 0\ **Last updated:** [April 16, 2026, 7:08pm UTC](https://forum.anoma.net/t/idea-anoma-protocol-adapter-x-across-protocol/2658 "2026-04-16T19:08:34Z")
Anoma Protocol Adapter × Across Protocol tl;dr Product: deposit transparent tokens on any EVM chain, receive a shielded note in AnomaPay on the destination chain, in one atomic destination-chain transaction. No pre-reg… --- ## [\[Idea\] Anoma Protocol Adapter × NEAR Intents](https://forum.anoma.net/t/idea-anoma-protocol-adapter-x-near-intents/2657)
**Author:** [@apriori](https://forum.anoma.net/u/apriori)\ **Replies:** 0\ **Last updated:** [April 16, 2026, 7:22am UTC](https://forum.anoma.net/t/idea-anoma-protocol-adapter-x-near-intents/2657 "2026-04-16T07:22:30Z")
Anoma Protocol Adapter × NEAR Intents Note: This is an idea that we could prototype, this document does not make any claims about product market fit or user stories justifying demand. Claude Code & Gemini Flash assisted… --- ## [Execution Proof Performance Report](https://forum.anoma.net/t/execution-proof-performance-report/2654)
**Author:** [@xuyang](https://forum.anoma.net/u/xuyang)\ **Replies:** 0\ **Last updated:** [April 14, 2026, 12:06pm UTC](https://forum.anoma.net/t/execution-proof-performance-report/2654 "2026-04-14T12:06:00Z")
Execution Proof Guest — Performance Report Benchmark Results (wall time, Groth16 prover) with delta — delta proof verified inside the zkVM via ECDSA recovery without delta — delta proof bytes passed through to the jour… --- ## [Shielded ARM Trust Assumptions And Security Properties](https://forum.anoma.net/t/shielded-arm-trust-assumptions-and-security-properties/2647)
**Author:** [@vveiln](https://forum.anoma.net/u/vveiln)\ **Replies:** 0\ **Last updated:** [April 10, 2026, 3:23pm UTC](https://forum.anoma.net/t/shielded-arm-trust-assumptions-and-security-properties/2647 "2026-04-10T15:23:27Z")
This post is an attempt to extract ARM trust assumptions and specify the intended security properties. 1. Actor Trust Model # Actor Trust Assumption Incentives Malicious potential (outside trust assumptions) 1 U… --- ## [Shielded Borrowing & Lending](https://forum.anoma.net/t/shielded-borrowing-lending/2645)
**Author:** [@apriori](https://forum.anoma.net/u/apriori)\ **Replies:** 0\ **Last updated:** [April 10, 2026, 3:36am UTC](https://forum.anoma.net/t/shielded-borrowing-lending/2645 "2026-04-10T03:36:43Z")
Architecture & Prototype Ideas Note: produced by myself, Gemini & Claude. cc: @maurice @graphomath @Michael @ArtemG Product: shielded privacy wrapper over Aave v3 that gives each user their own EIP-1167 sub-account … --- ## [MASP-on-EVM Investigations](https://forum.anoma.net/t/masp-on-evm-investigations/2642)
**Author:** [@murisi](https://forum.anoma.net/u/murisi)\ **Replies:** 0\ **Last updated:** [April 5, 2026, 10:07am UTC](https://forum.anoma.net/t/masp-on-evm-investigations/2642 "2026-04-05T10:07:30Z")
I’ve been asked to write a specification of a proposal to scale MASP-on-EVM. But since I’ll be on vacation for the next week, I thought it would make more sense to write about what I have been researching to scale MASP-o… --- ## [Execution Proof Circuit](https://forum.anoma.net/t/execution-proof-circuit/2640)
**Author:** [@xuyang](https://forum.anoma.net/u/xuyang)\ **Replies:** 2\ **Last updated:** [April 1, 2026, 4:10pm UTC](https://forum.anoma.net/t/execution-proof-circuit/2640 "2026-04-01T16:10:58Z")
Overview The execution proof is a RISC0 zkVM circuit that verifies a batch of ARM transactions against a shared commitment tree and nullifier tree. Its output — the ExecutionProofInstance — is a succinct commitment to… --- ## [Exploring the execution proof](https://forum.anoma.net/t/exploring-the-execution-proof/1788)
**Author:** [@vveiln](https://forum.anoma.net/u/vveiln)\ **Replies:** 6\ **Last updated:** [March 30, 2026, 1:55pm UTC](https://forum.anoma.net/t/exploring-the-execution-proof/1788 "2026-03-30T13:55:59Z")
The execution proof performs local and global checks expected from the execution in a verifiable manner by producing a succinct proof of knowledge. This post aims to further develop the idea described here. Proof stages … --- ## [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: A Proposal for Concurrent AL](https://forum.anoma.net/t/al-design-doc-a-proposal-for-concurrent-al/2628)
**Author:** [@l4e21](https://forum.anoma.net/u/l4e21)\ **Replies:** 2\ **Last updated:** [March 17, 2026, 7:31pm UTC](https://forum.anoma.net/t/al-design-doc-a-proposal-for-concurrent-al/2628 "2026-03-17T19:31:44Z")
The purpose of this post is to convey current design thoughts about concurrent AL. Our concurrent AL needs to be able to express the following well and idiomatically, complex and useful distributed and concurrent algorit… --- ## [Compiler/Interpreter Work Writeup](https://forum.anoma.net/t/compiler-interpreter-work-writeup/2554)
**Author:** [@murisi](https://forum.anoma.net/u/murisi)\ **Replies:** 4\ **Last updated:** [March 17, 2026, 3:25pm UTC](https://forum.anoma.net/t/compiler-interpreter-work-writeup/2554 "2026-03-17T15:25:19Z")
General line of investigation: find ways to compile Scheme or Elixir to RISC Zero programs with reasonable performance Investigation 1 (inactive) Compile Chicken Scheme to C for execution in RISC Zero Steps: Modify t… --- ## [Crossing the Chasm with Shielded Actions](https://forum.anoma.net/t/crossing-the-chasm-with-shielded-actions/2586)
**Author:** [@apriori](https://forum.anoma.net/u/apriori)\ **Replies:** 13\ **Last updated:** [March 13, 2026, 9:59am UTC](https://forum.anoma.net/t/crossing-the-chasm-with-shielded-actions/2586 "2026-03-13T09:59:46Z")
Introduction This is a strategic document written to make the case for shielded actions as a product line we pursue in the short term. The document can be read in three parts. The first is strategic insights. The second … [Next page](https://forum.anoma.net/latest.md?page=1)