Til @SonicLabs er ikke konsensussikkerhet noe vi hevder. Det er noe vi beviser 📜 Vi utviklet og åpen kildekode et TLA+-verifiseringsbibliotek som lar utviklere verifisere sikkerheten til DAG-baserte konsensusprotokoller uten å starte fra bunnen av Fra DAG Rider til Bullshark og Aleph, biblioteket fremskynder bevisarbeidet og reduserer verifiseringsfeil Denne forskningen ble presentert på NASA Formal Methods 2025, og viser hvordan komponerbare, verifiserte byggeklosser drastisk kan redusere risikoen for konsensusfeil på tvers av hele økosystemer For $S støttes hver endring i Sonic-konsensus av matematisk sikkerhet, noe som sikrer nettverkssikkerhet i stor skala 🌍
Vis originalen
17,84k
80
Innholdet på denne siden er levert av tredjeparter. Med mindre annet er oppgitt, er ikke OKX forfatteren av de siterte artikkelen(e) og krever ingen opphavsrett til materialet. Innholdet er kun gitt for informasjonsformål og representerer ikke synspunktene til OKX. Det er ikke ment å være en anbefaling av noe slag og bør ikke betraktes som investeringsråd eller en oppfordring om å kjøpe eller selge digitale aktiva. I den grad generativ AI brukes til å gi sammendrag eller annen informasjon, kan slikt AI-generert innhold være unøyaktig eller inkonsekvent. Vennligst les den koblede artikkelen for mer detaljer og informasjon. OKX er ikke ansvarlig for innhold som er vert på tredjeparts nettsteder. Beholdning av digitale aktiva, inkludert stablecoins og NFT-er, innebærer en høy grad av risiko og kan svinge mye. Du bør nøye vurdere om handel eller innehav av digitale aktiva passer for deg i lys av din økonomiske tilstand.