Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

Eddy Lazzarin 🟠🔭
Teknikchef @a16zcrypto
Eddy Lazzarin 🟠🔭 delade inlägget
Nu när GENIUS Act-firandet är över vill byggarna redan veta vad som händer härnäst.
Svaret är CLARITY – lagstiftning om kryptomarknadsstruktur – som också fick överväldigande stöd från båda partierna i representanthuset förra veckan.
Här är allt du behöver för att komma ikapp med CLARITY:

195,02K
Eddy Lazzarin 🟠🔭 delade inlägget
Tydliga regler för stablecoins och vägen framåt
I Vita huset idag kommer den första amerikanska kryptolagstiftningen att undertecknas som lag: GENIUS Act. Det ger tydliga regler för stablecoins.
Detta är ett historiskt ögonblick – inte bara för krypto, utan för världen i stort. Det beror på att stablecoins ger oss något som vi aldrig riktigt har haft tidigare: infrastruktur för öppna pengar.
Stablecoins är en bättre form av pengar: snabbare, billigare och mer globala. De sänker avgifterna och eliminerar mellanhänder. De är granskningsbara och programmerbara. De gör det möjligt för utvecklare att skapa nya typer av appar som inte var möjliga tidigare: remitteringar till låg eller ingen kostnad, programmatiska mikrobetalningar, AI-baserade transaktioner, transparent och disintermediär global handel med mera.
Stablecoins ger världen tillgång till dollarn, de sprider finansiell frihet och de säkerställer att nästa generations finansiella infrastruktur byggs på amerikanska standarder.
Alltför länge har innovatörer inom krypto verkat under rättslig osäkerhet. Den osäkerheten har kvävt framstegen, drivit byggare utomlands och skapat ett fragmenterat internet. GENIUS Act vänder på detta: den skapar tydlighet för stablecoins och sätter oss på en väg mot bredare reformer av kryptomarknadens struktur.
Det är så här internet utvecklas: genom tydliga regler. Med GENIUS Act har stablecoins tydliga regler, vilket banar väg för bättre betalningar, finansiella produkter och en översyn av det globala finansiella systemet.
Därefter behöver vi samma sak för resten av kryptomarknaden. Senaten kan göra detta genom att anta CLARITY Act, som ger tydliga vägregler för den bredare kryptoindustrin, vilket öppnar en väg för innovatörer samtidigt som konsumenterna skyddas från bedrägerier och dåliga aktörer.
Vi tror att USA kan leda nästa era av internet – läs-skriva-äga-era-eran – genom att möjliggöra öppna, användarägda protokoll istället för de slutna företagsplattformar som definierade den förra. Denna lagstiftning lägger grunden för denna framtid. Det är början på ett nytt kapitel.
70,99K
Eddy Lazzarin 🟠🔭 delade inlägget
Huset har precis skrivit historia genom att anta viktig lagstiftning om stablecoins (GENIUS Act) och marknadsstruktur (CLARITY Act) på ett överväldigande tvåpartiskt sätt.
Detta är ett stort ögonblick för krypto och för alla amerikaner. Vi är mycket nära att ha omfattande, proaktiva regler på plats för första gången.
Näst på tur: GENIUS Act hamnar på presidentens skrivbord för hans underskrift. Efter det bör senaten anta CLARITY Act.
Vi tror att anta dessa lagar är det bästa sättet att se till att Amerika förblir världsledande i nästa era av internet.
Tack till alla medsponsorer till dessa lagförslag och de otroliga anhängarna på båda sidor av mittgången i kongressen.
99,04K
Eddy Lazzarin 🟠🔭 delade inlägget
Krypterade mempooler kan verka som en tilltalande lösning för att fixa marknadsstrukturen på blockkedjor. Men även en perfekt kryptografisk lösning lämnar fortfarande många luckor. Vi kommer att behöva nya ekonomiska mekanismer utöver kryptografi för att helt ta itu med problemet.

4,78K
Karma är att vara blygsam - enorm uppdatering för Halmos!
∎ Tillståndskänslig invariant testning (mycket kraftfull)
∎ Flamegraphs (se vad Halmos utforskar)
∎ 30 gånger snabbare tolk (!!)
∎ Välj enkelt många lösare
∎ Rapporter om täckning
∎ Solx-stöd
∎ fler fuskkoder
∎ ... och mer

karma15 juli 07:38
Halmos v0.3.0 release höjdpunkter!
(snabb påminnelse: halmos är ett symboliskt testverktyg för EVM-bytekod som samverkar fint med gjuteriprojekt och stöder flera SMT-lösare)
1. Vi har (äntligen) lagt till stöd för tillståndskänslig invarianttestning

10,04K
Topp
Rankning
Favoriter
Trendande på kedjan
Trendande på X
Senaste toppfinansieringarna
Mest anmärkningsvärda