# Smart Contracts Related Articles

HTX News Center provides the latest articles and in-depth analysis on "Smart Contracts", covering market trends, project updates, tech developments, and regulatory policies in the crypto industry.

From Models to On-Chain: AI Autonomous Operations Are Reshaping Crypto Risk Control Logic

From Model to On-Chain: AI Autonomous Operations Are Reshaping Crypto Risk Management Logic Discussion on AI risk has rapidly evolved beyond concerns like chatbots generating biased outputs or data leaks. The pivotal shift is the emergence of AI agents capable of autonomous action—directly calling external systems, writing code, and executing complex multi-step tasks with minimal human oversight. This presents severe challenges for financial markets, especially crypto, where 24/7 trading and irreversible, automated smart contract execution are norms. When AI agents interface with wallets, exchanges, DeFi protocols, or payment systems, even minor permission flaws can lead to irreversible financial loss. The autonomous nature of AI, demonstrated in tests where agents took unauthorized actions against real entities, combines dangerously with crypto's mechanics. An agent with wallet access can transfer assets, sign malicious contracts, or interact arbitrarily with protocols—actions with no recourse for reversal, unlike traditional finance. Continuous market operation means agents can trigger catastrophic losses during off-hours. Therefore, risk assessment must prioritize an agent's system and asset permissions over its raw capability. Corporate internal controls must extend rigorously to every interaction point with crypto systems. No AI agent should possess end-to-end capabilities for high-risk operations like creating wallets, modifying whitelists, and initiating transfers without human checks. Critical transactions require clear, detailed human approval. Private keys and signing authorities demand special protection via multi-signature schemes, hardware security modules, and transaction limits. Pre-execution simulation for smart contract interactions and comprehensive, immutable logging of all agent activities are essential for auditability and accountability. The industry must share lessons from AI-involved incidents. Initiatives like the "Shared AI Findings Exchange" (SAFE) allow organizations to confidentially learn from real events. Effective reporting must dissect failures across model behavior, prompt design, tool integration, access policies, and on-chain transactions. Boards, auditors, and finance teams must proactively address AI agents in governance, risk frameworks, and financial reporting for potential asset losses. While AI agents promise future efficiency gains in crypto compliance, reconciliation, and fraud detection, these benefits hinge on implementing robust, pre-emptive controls. In crypto, responsibility must be designed, embedded, and tested before autonomy is granted—because failures here are often permanent.

marsbitYesterday 06:56

From Models to On-Chain: AI Autonomous Operations Are Reshaping Crypto Risk Control Logic

marsbitYesterday 06:56

Divergence in Regulated Token Protocol Standards: Issuance, Compliance, and Integration Each Assume Their Roles

Regulated token standards on EVM chains are diverging not towards a single unified standard, but into a modular, complementary architecture by function. Key examples include ERC-1450 (centered on a Registered Transfer Agent), ERC-3643 (a modular stack for policy), and ERC-7943 (a minimal integration layer). This reflects a broader industry trend: instead of bundling all regulatory functions into one standard, the ecosystem is separating **recurring, universal execution functions** (pre-transfer checks, freezing, forced transfers) from **product/jurisdiction-specific policies** (KYC providers, holding limits). Beyond EVM, other chains integrate comparable features at different architectural levels. Solana's Token Extensions provide hooks and controls at the program library level. Stellar and XRPL embed authorization and freezing natively in the ledger. Sui and Aptos place common controls in their Move frameworks. Networks like Canton and Avalanche L1 extend functionality to market operations and validator-level compliance. The competitive edge for regulated token standards will likely depend on **flexibility to adapt to regulatory changes** and the clarity of embedded controls for external integrators, rather than the sheer number of features. The future points towards a **compliance stack**: a base layer of standardized execution functions supporting interchangeable modules for identity, jurisdictional rules, and product-specific policies. This approach balances operational consistency with the necessary flexibility for diverse regulatory requirements across assets and regions.

marsbit08/10 01:11

Divergence in Regulated Token Protocol Standards: Issuance, Compliance, and Integration Each Assume Their Roles

marsbit08/10 01:11

Ethereum Team Explains How AI Is Changing the Approach to Smart Contract Security

The Ethereum team published a guest post series by a leading Vyper developer under the pseudonym "big_tech_sux," focusing on the role of formal verification in the era of rapidly advancing AI. The author argues that progress in Large Language Models (LLMs) is making the mathematical proof of program correctness more accessible. For smart contracts managing billions of dollars, formal verification is gradually becoming a necessity. Formal verification is a mathematical method that proves a program works correctly for all possible execution scenarios, not just those covered by tests. It can find extremely rare bugs that are practically impossible to detect through conventional testing. While previously requiring large teams of experts, modern LLMs significantly simplify this process as they approach Artificial General Intelligence (AGI). However, the author notes that formal verification remains complex and resource-intensive, even with AI assistance. The development of AI simultaneously increases the effectiveness of both defenders and attackers. Formal verification can shift the advantage toward defenders, as they can use it to prove a system's resilience to *all* possible inputs, whereas an attacker only needs to find one exploitable sequence. Therefore, for critical software like high-value smart contracts, formal verification is becoming "not an option, but a necessary prerequisite." This continues a discussion previously initiated by Ethereum co-founder Vitalik Buterin on using AI for formal code verification.

cryptonews.ru08/06 11:20

Ethereum Team Explains How AI Is Changing the Approach to Smart Contract Security

cryptonews.ru08/06 11:20

活动图片