Crypto Prices

Reglering av Stablecoins och GENIUS-lagen: Nödvändigheten av Formell Verifiering

juli 21, 2025

Inledning

I takt med att Web3-applikationer fortsätter att växa, utvecklar allt fler centralbanker och institutioner digitala tillgångsprodukter, där stablecoins utgör en central del. Stablecoins kombinerar effektiviteten och transparensen hos blockchain med stabiliteten i traditionell finans, och de kommer att bli en nyckelfaktor i omformningen av det globala betalningssystemet och den finansiella infrastrukturen.

Utmaningar och möjligheter

För att främja den breda adoptionen av stablecoins måste dock en solid grund läggas när det gäller användarförtroende, regulatorisk efterlevnad och kompatibilitet med befintliga Web3-system. Under ett strikt efterlevnadsramverk anses formell verifiering vara en lovande metodik som kan hjälpa till att bygga pålitliga stablecoin-kontrakt samtidigt som viktiga efterlevnadskrav verifieras.

Stablecoins och det traditionella finansiella systemet

Sedan lanseringen av de första kryptovaluta-stablecoin-projekten 2014 har stablecoins setts som en bro mellan det traditionella finansiella systemet och Web3-världen. Det traditionella finansiella systemet har generellt problem som hög latens, brist på transparens och höga kostnader. För att förbättra dessa brister har stablecoins introducerat nya lösningar.

Regulatoriska ramverk

E-Money-regleringsramverket, som introducerades så tidigt som 2009, var inte ursprungligen utformat för Web3-scenarier, men har nu gradvis utvidgats för att täcka Web3-kompatibla lösningar, inklusive stablecoins. För närvarande testar centralbanker från många reglerande myndigheter, inklusive Abu Dhabi Global Market (ADGM) och Hong Kong Monetary Authority (HKMA), relevanta planer.

Den amerikanska kongressen antog GENIUS-lagen, som skisserar en regulatorisk färdplan för den efterlevnadsanpassade utvecklingen av stablecoins.

GENIUS-lagen

GENIUS-lagen (Guiding and Establishing National Innovation for US Stablecoins Act), som introducerades i juni 2025, etablerar ett obligatoriskt efterlevnadsramverk för stablecoin-betalningar i USA. Lagen etablerar en enhetlig federal certifiering för stablecoins, vilket hjälper till att minska regulatorisk fragmentering och ger tydlig institutionell vägledning för produktdesign, riskhantering och revisionsförberedelse.

Formell verifiering

Som ett formellt verifieringsforskningslag vid CertiK hoppas vi kunna introducera formell verifieringsmetodik för att hjälpa till att bevisa de centrala egenskaperna hos stablecoin-smartkontrakt. Vi använder rigorös matematisk härledning och maskinkontrollerbara logiska argument för att säkerställa att koden uppfyller efterlevnads- och säkerhetskrav under godtyckliga gränsvillkor.

Formell verifiering uttrycker varje efterlevnadskrav som en invariant eller livlighet på kedjan. Med GENIUS-lagen som exempel kan ovanstående juridiska bestämmelser formellt uttryckas som följande lemma:

Dessutom bör de tekniska invarianten för vissa stablecoins rigoröst bevisas för att säkerställa att specifika juridiska krav uppfylls. Dessa formaliserade lemma kommer att bli bevisskyldigheter i ditt valda verifieringsramverk (TLA⁺, Coq, K, Isabelle eller Why 3).

Fördelar med formell verifiering

Att följa bästa praxis för formell verifiering kommer att ge ytterligare fördelar för stablecoin-protokoll:

  1. Få regulatoriskt förtroende: Istället för att granska mängder av juridiska dokument eller revisionsrapporter kan reglerande myndigheter hänvisa direkt till maskinverifierade bevis på efterlevnad.
  2. Minska risker: När koden itereras kommer dess hanteringskontrakt automatiskt att generera bevis för att undvika potentiella risker orsakade av regressionsproblem.
  3. Förbättra revisions effektivitet: Eftersom finansiella och tekniska bevis kontrolleras samtidigt kan säkerhetsrevisioner och CPA-revisioner genomföras samtidigt.
  4. Uppnå marknadsdifferentiering: Uttalandet ”bevisbar efterlevnad” kan effektivt öka förtroendet hos partners som banker, handlare och DeFi-plattformar.

Avslutning

CertiK har alltid varit engagerat i uppdraget att erbjuda fullständigt skydd och extraordinära prestationer. Oavsett om du försöker uppfylla efterlevnadskrav i GENIUS-lagen eller syftar till att bygga en pålitlig stablecoin för världen, kan CertiK eskortera ditt projekt och hjälpa det att gå online på ett säkert och effektivt sätt.

Senaste från Blog

Thailand SEC skärper ICO-regler med krav på investerartester

Thailands Värdepappersmyndighet och Nya Regler för Kryptoinvesterare Thailands värdepappersmyndighet (SEC) söker nu allmänhetens synpunkter på nya regler som syftar till att införa krav på kunskapstester för kryptoinvesterare, samtidigt som omfattande lämplighetsbedömningar ska

Vad GENIUS-lagen betyder för XRP-investerare

Amerikas Kryptolandskap och GENIUS-lagen Amerikas kryptolandskap tog en betydande vändning förra fredagen när president Donald Trump undertecknade GENIUS-lagen. Denna lagstiftning ger en reglerad väg för stablecoin-utgivare som Ripple, men vissa bedömare menar

Tokenize drar sig ur Singapore på grund av licenshinder

Krypto-börsen Tokenize Xchange stänger i Singapore Krypto-börsen Tokenize Xchange kommer att stänga sina verksamheter i Singapore senast den 30 september, efter att Monetary Authority of Singapore (MAS) beslutade att avslå deras ansökan