Clean up final comments

Author: snarkworld

arc-0020/IARC20/program.json

@@ -3,7 +3,7 @@
   "version": "0.1.0",
   "description": "",
   "license": "MIT",
-  "leo": "4.0.2",
+  "leo": "4.1.0",
   "dependencies": null,
   "dev_dependencies": null
 }

arc-0020/README.md

@@ -28,53 +28,6 @@ Without a standard interface, every DeFi program must import each token at compi
 
 The fungible token interface. Every ARC-20 token must implement these functions and **`view fn`** accessors:
 
-```leo
-interface IARC20 {
-    record Token {
-        owner: address,
-        amount: u128,
-        ..
-    }
-    //=============================================================
-    //               TRANSFER FUNCTIONS
-    //=============================================================
-    fn transfer_public(public recipient: address, public amount: u128) -> Final;
-    fn transfer_private(private input: Token, private recipient: address, private amount: u128) -> (Token, Token);
-    fn transfer_private_to_public(private input: Token, public recipient: address, private amount: u128) -> (Token, Final);
-    fn transfer_public_to_private(private recipient: address, public amount: u128) -> (Token, Final);
-    fn transfer_public_as_signer(public recipient: address, public amount: u128) -> Final;
-    fn transfer_from_public(public owner: address, public recipient: address, public amount: u128) -> Final;
-    fn transfer_from_public_to_private(
-        public owner: address,
-        private recipient: address,
-        public amount: u128,
-    ) -> (Token, Final);
-
-    //=============================================================
-    //               APPROVAL FUNCTIONS
-    //=============================================================
-    fn approve_public(public spender: address, public amount: u128) -> Final;
-    fn unapprove_public(public spender: address, public amount: u128) -> Final;
-
-    //=============================================================
-    //               JOIN/SPLIT FUNCTIONS
-    //=============================================================
-    fn join(private input_1: Token, private input_2: Token) -> Token;
-    fn split(private input: Token, private amount: u128) -> (Token, Token);
-
-    //=============================================================
-    //                VIEW FUNCTIONS
-    //=============================================================
-    view fn balance_of(account: address) -> u128;
-    view fn allowance(owner: address, spender: address) -> u128;
-    view fn supply() -> u128;
-    view fn max_supply() -> u128;
-    view fn decimals() -> u8;
-    view fn name() -> identifier;
-    view fn symbol() -> identifier;
-}
-```
-
 ### Record Types
 
 **Token** -- Represents a private token balance. Implementations may add additional fields beyond `owner` and `amount`:

arc-0022/IARC22/program.json

@@ -3,7 +3,7 @@
   "version": "0.1.0",
   "description": "",
   "license": "MIT",
-  "leo": "4.0.2",
+  "leo": "4.1.0",
   "dependencies": null,
   "dev_dependencies": null
 }

arc-0022/IARC22/src/lib.leo

@@ -108,36 +108,6 @@ fn verify_non_inclusion(addr: address, merkle_proofs: [MerkleProof; 2]) -> field
     return root1;
 }
 
-interface IARC22Freezelist {
-    // Initializes the freeze list and the admin. Sets the block height window, the initial empty Merkle root,
-    fn initialize(public admin: address, public blocks: u32) -> Final;
-
-    // Freezes or unfreezes an account based on the action flag (true = freeze, false = unfreeze)
-    fn update_freeze_list(
-        public account: address,
-        public is_frozen: bool,
-        public index: u32,
-        public existing_root: field,
-        public new_root: field,
-    ) -> Final;
-
-    // Verifies that an account is not currently frozen.
-    fn verify_non_inclusion_pub(public account: address) -> Final;
-
-    // Verifies that an account is not included in the freeze list Merkle tree.
-    fn verify_non_inclusion_priv(account: address, merkle_proof: [MerkleProof; 2u32]) -> Final;
-
-    //=============================================================
-    //                VIEW FUNCTIONS
-    //=============================================================
-    view fn is_frozen_address(account: address) -> bool;
-    view fn is_frozen_index(index: u32) -> bool;
-    view fn current_freeze_list_root() -> field;
-    view fn previous_freeze_list_root() -> field;
-    view fn root_updated_height() -> u32;
-    view fn block_height_window() -> u32;
-}
-
 interface IARC22 {
     record Token {
         owner: address,

arc-0022/README.md

@@ -14,7 +14,7 @@ ARC-22 defines a compliant fungible token interface for Aleo. It modifies [ARC-2
 
 ## Motivation
 
-ARC-20 provides a minimal token standard but lacks regulatory compliance features required by many real-world token deployments. Regulated tokens compliance mechanisms such as:
+ARC-20 provides a minimal token standard but lacks regulatory compliance features required by many real-world token deployments. Regulated tokens need compliance mechanisms such as:
 
 1. **Freeze lists** to block sanctioned or compromised addresses from transacting
 2. **Audit trails** for private transfers, enabling authorized investigators to review token movements without exposing sender identity to the public
@@ -34,74 +34,6 @@ The ARC-22 standard provides a library ([`IARC22`](./IARC22)), which is composed
 
 The compliant token surface adds freeze-list enforcement (via Merkle non-inclusion proofs on private sends) and investigator-visible **`ComplianceRecord`** outputs on every transition that materially changes a balance. Mappings and storage variables are intentionally **not** part of the interface; only function signatures and the records (**`Token`**, **`ComplianceRecord`**) form the contract.
 
-```leo
-interface IARC22 {
-    record Token {
-        owner: address,
-        amount: u128,
-        ..
-    }
-
-    record ComplianceRecord {
-        owner: address,     // INVESTIGATOR_ADDRESS
-        amount: u128,
-        sender: address,    // ZERO_ADDRESS for mint paths
-        recipient: address, // ZERO_ADDRESS for burn paths
-        ..
-    }
-
-    //=============================================================
-    //               APPROVAL FUNCTIONS
-    //=============================================================
-    fn approve_public(public spender: address, public amount: u128) -> Final;
-    fn unapprove_public(public spender: address, public amount: u128) -> Final;
-
-    //=============================================================
-    //               TRANSFER FUNCTIONS
-    //=============================================================
-    fn transfer_public(public recipient: address, public amount: u128) -> Final;
-    fn transfer_private(
-        private recipient: address,
-        private amount: u128,
-        private input_record: Token,
-        private sender_merkle_proofs: [MerkleProof; 2u32],
-    ) -> (ComplianceRecord, Token, Token, Final);
-    fn transfer_private_to_public(
-        public recipient: address,
-        public amount: u128,
-        private input_record: Token,
-        private sender_merkle_proofs: [MerkleProof; 2u32],
-    ) -> (ComplianceRecord, Token, Final);
-    fn transfer_public_to_private(recipient: address, public amount: u128) -> (
-        ComplianceRecord, Token, Final,
-    );
-    fn transfer_from_public(public owner: address, public recipient: address, public amount: u128) -> Final;
-    fn transfer_from_public_to_private(
-        public owner: address,
-        private recipient: address,
-        public amount: u128,
-    ) -> (ComplianceRecord, Token, Final);
-    fn transfer_public_as_signer(public recipient: address, public amount: u128) -> Final;
-
-    //=============================================================
-    //               JOIN/SPLIT FUNCTIONS
-    //=============================================================
-    fn join(input_1: Token, input_2: Token) -> Token;
-    fn split(input: Token, amount: u128) -> (Token, Token);
-
-    //=============================================================
-    //                VIEW FUNCTIONS
-    //=============================================================
-    view fn balance_of(account: address) -> u128;
-    view fn allowance(owner: address, spender: address) -> u128;
-    view fn supply() -> u128;
-    view fn max_supply() -> u128;
-    view fn decimals() -> u8;
-    view fn name() -> identifier;
-    view fn symbol() -> identifier;
-}
-```
-
 **Merkle non-inclusion proofs** are required only on transitions where the sender is private -- **`transfer_private`** and **`transfer_private_to_public`**. Transitions where the sender is public -- **`transfer_public_to_private`** and **`transfer_from_public_to_private`** -- check the sender against the freeze list directly via **`is_frozen_address`** (or the equivalent **`verify_non_inclusion_pub`** helper).
 
 **Compliance coverage.** Every transition that moves balances on a private path -- **`transfer_private`**, **`transfer_private_to_public`**, **`transfer_public_to_private`**, and **`transfer_from_public_to_private`** -- emits a **`ComplianceRecord`** owned by **`INVESTIGATOR_ADDRESS`**, so the investigator can decrypt the full sender / recipient / amount tuple whenever at least one side is private.