Ve @SonicLabs není bezpečnost konsensu něco, co bychom tvrdili. Je to něco, co dokazujeme 📜
Vyvinuli jsme a open-source ověřovací knihovnu TLA+, která vývojářům umožňuje ověřovat bezpečnost konsensuálních protokolů založených na DAG, aniž by museli začínat od nuly
Od DAG Rider po Bullshark a Aleph, knihovna urychluje korektury a snižuje chyby při ověřování
Tento výzkum, prezentovaný na konferenci NASA Formal Methods 2025, ukazuje, jak mohou skládatelné a ověřené stavební bloky drasticky snížit riziko chyb konsensu v celých ekosystémech
Pro $S je každá změna konsensu Sonic podpořena matematickou jistotou, která zajišťuje bezpečnost sítě ve velkém měřítku 🌍
Zobrazit originál
17,84 tis.
80
Obsah na této stránce poskytují třetí strany. Není-li uvedeno jinak, společnost OKX není autorem těchto informací a nenárokuje si u těchto materiálů žádná autorská práva. Obsah je poskytován pouze pro informativní účely a nevyjadřuje názory společnosti OKX. Nejedná se o doporučení jakéhokoli druhu a nemělo by být považováno za investiční poradenství ani nabádání k nákupu nebo prodeji digitálních aktiv. Tam, kde se k poskytování souhrnů a dalších informací používá generativní AI, může být vygenerovaný obsah nepřesný nebo nekonzistentní. Další podrobnosti a informace naleznete v připojeném článku. Společnost OKX neodpovídá za obsah, jehož hostitelem jsou externí weby. Držená digitální aktiva, včetně stablecoinů a tokenů NFT, zahrnují vysokou míru rizika a mohou značně kolísat. Měli byste pečlivě zvážit, zde je pro vás obchodování s digitálními aktivy nebo jejich držení vhodné z hlediska vaší finanční situace.