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:
- 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.
- Minska risker: När koden itereras kommer dess hanteringskontrakt automatiskt att generera bevis för att undvika potentiella risker orsakade av regressionsproblem.
- Förbättra revisions effektivitet: Eftersom finansiella och tekniska bevis kontrolleras samtidigt kan säkerhetsrevisioner och CPA-revisioner genomföras samtidigt.
- 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.