唐华斑竹

唐华斑竹

唐华斑竹:著名KOL,区块链研究者,财经学者。 2013年开始加密货币交易,拥有丰富的交易经验,左侧交易者,风格偏稳健,注重强安全边际,坚守既定策略和纪律,追求长期稳定收益和高胜率。 欢迎志同道合的朋友加入一起交流,一起成长!

1,2 t.Seuratut
888seuraajat

Syöte

唐华斑竹
唐华斑竹
Liang Wenfengin huhutaan "1,7 biljoonan juanin likvidaatiosta", mikä on vielä sydäntäsärkevämpää kuin huhut Viime päivinä verkossa on levinnyt uutinen: Liang Wenfeng on myyty 1,7 biljoonan juanin arvosta. Älä kiirehdi uskomaan sitä. Tällä luvulla ei ole virallista lähdettä, ja Magic Cube Quantin johtamisasteikko ei ole koskaan saavuttanut biljoonan yuanin tasoa, saati sitten 1,7 biljoonaa. Se on enemmänkin liioiteltu otsikko, jota jaetaan toistuvasti. Mutta otsikko on tekaistu, tarina on totta. Mitä todella tapahtui, on pohdittavampaa kuin huhuja. Heinäkuussa 2026 Liang Wenfengin vanha yritys, kvantitatiivinen sijoitusimperiumi, koki harvinaisen merkittävän vetäytymisen. Saman kuukauden aikana hänen uusi yrityksensä DeepSeekin arvo oli 500 miljardia juania. Kvantisoinnin imperiumi romahti vain kuukaudessa Puhutaan ensin siitä, mitä todella tapahtui. Simuwangin tietojen mukaan 31. heinäkuuta 2026 mennessä Liang Wenfengin yhdeksästä Phantom Square -kvantitatiivisesta näyttötuotteesta kahdeksalla on tänä vuonna saanut negatiivisia tuloksia, ja vain yhdellä on edelleen lievä positiivinen tuotto 0,04 %, mikä on lähes olematon. Pelkästään heinäkuussa kaikki yhdeksän tuotetta laskivat yli 20 %, ja ydintuotteiden suurin lasku oli 22,15 %. Mitä tuo tarkoittaa? Eli jos sijoittaja laittaa miljoonan Magic Squareen heinäkuun alussa, kuun loppuun mennessä jäljellä saattaa olla vain hieman yli seitsemänsataatuhatta. Yhdessä kuukaudessa syvän karhumarkkinan volyymi on laskenut. Vielä tuskallisempaa on aikaväli. Viimeisen viiden vuoden aikana Illusion Quantin keskimääräinen vuosituotto ylitti 100 %, tehden siitä jumalallisen läsnäolon alalla. Viiden vuoden aikana rakennettu myytti romahti vain kuukaudessa, ja ensimmäisen puoliskon voitot maksettiin takaisin yhdessä kuukaudessa. Tekoälyimperiumi laajenee villisti Kesäkuussa 2026 DeepSeek suoritti ensimmäisen ulkoisen rahoituskierroksensa perustamisensa jälkeen, keräten yli 50 miljardia juania, ja Liang Wenfeng osallistui henkilökohtaisesti 20 miljardia, tehden siitä suurimman yksittäisen sijoittajan. Tencent 10 miljardia, CATL-järjestelmä 5 miljardia, JD.com, NetEase ja IDG kukin 3 miljardia, ja kansallinen tiimi 1 miljardi. Tämä rahoituskierros teki ennätyksen Kiinan tekoälyteollisuudelle. Elokuun alussa Caijing raportoi, että DeepSeek käynnisti uudelleen toisen rahoituskierroksensa, suunnitellen keräävänsä 50 miljardia juania, sijoitusta edeltävän arvon ollessa noin 500 miljardia juania, ja tavoitteenaan allekirjoittaa sopimukset elokuun lopulla. 9. syyskuuta tuli uutinen: DeepSeek oli palkannut CITIC Securitiesin valmistautumaan STAR Marketin listautumisantiin ja suunnitteli listautumisprosessin aloittamista vuoden sisällä. Vain neljännesvuosi sitten Liang Wenfeng puhui vielä "ei rahoitusta, ei pörssiin menoa", mutta nyt, kierros toisensa jälkeen rahoitusta, listautuminen on agendalla. Mies, joka ennen luotti pelkästään omiin varoihinsa, on vihdoin avannut ovensa pääomamarkkinoille. Kaksi jalkaa, toinen heikkeni Liang Wenfengin tarina on aina ollut käveleminen kahdella jalalla. Yksi niistä on kvantisointi. Hypercube Quant on tehnyt omaisuuden viime vuosina, ja nämä voitot kaadetaan jatkuvasti DeepSeekille, joita käytetään laskentatehon hankintaan, tiimin tukemiseen ja tutkimuksen tekemiseen. Ulkopuoliset kutsuvat tätä "kvantitatiiviseksi verensiirto-AI:ksi", mikä on DeepSeekin suurin luottamus siihen, ettei varojen hankinnassa. Toinen on tekoäly. Tammikuussa 2025 DeepSeek R1 nousi esiin, pyyhkien Nvidian markkina-arvon välittömästi 589 miljardilla dollarilla yhdessä yössä ja ravistellen Piilaaksoa. Sen jälkeen DeepSeekistä on tullut kiinalaisen tekoälyn tunnusmerkki ja pääoman kohde. Heinäkuun vetäytyminen aiheutti halkeamia ensimmäisessä vaiheessa. Määrällisen infuusion turvatyyny ohenee, ja markkinat kysyvät: Kuinka paljon rahaa Liang Wenfengillä on jäljellä? Riittääkö se kuluttamiseen? Vastaus on piilossa aikajanassa. Vaikka kvantitatiivinen kaupankäynti kohtasi ongelmia, DeepSeekin toinen rahoituskierros alkoi, arvostus oli 500 miljardia juania ja listautumisannin valmistelut pysyivät tahdissa. Tämä ei ole sattumaa; se on ennakoiva muutos: siirtyminen omasta rahasta markkinapääomaan luottamiseen. Ironisin kontrasti Kahden transkription laittaminen vierekkäin on ironista. Yhdeksästä Magic Squaren tuotteesta kahdeksalla on ollut tappioita tänä vuonna, kaikki laskivat yli 20 % heinäkuussa. Tuotto on oikeaa rahaa, luottamusta, jonka lukemattomat sijoittajat ovat keränneet viiden vuoden aikana. DeepSeekin puolella, 500 miljardin arvostus, liiallinen rahoitus ja listautumislistautumisjonot, Liang Wenfengin henkilökohtainen arvo on noussut tekoälyimperiumin laajentumisen myötä. Sama tili, kaksi eri merkintää: määrällisestä kaupankäynnistä menetetyt rahat palautetaan tekoälyarvostuksessa. Yksityissijoittajien tappiot Hypercubeissa saattavat olla osa DeepSeekin arvostusta toisessa muodossa. Netin käyttäjien vitsit olivat jopa suoraviivaisia: A-osakkeet eivät tee rahaa API:sta, mutta Liang Wenfeng ei koskaan häviä. 6. elokuuta DeepSeek ilmoitti juuri kattavasta API-hinnankorotuksesta, asettaen globaaleille kehittäjille "token-veron". Vaikka määrällinen kaupankäynti vähenee ja tekoäly nostaa hintoja, Liang Wenfengin laskelmat ovat tehokkaampia kuin kenenkään muun. Liang Wenfengin todellinen ongelma Tietenkään vaihtaminen ei tule ilman kustannuksia. Rahoitus tarkoittaa laimentumista, listautuminen tarkoittaa läpinäkyvyyttä. Liang Wenfeng, joka aikoinaan sanoi "ei rahoitusta, ei roadshow'ta, ei listautumista", joutuu astuessaan pääomamarkkinoille, kohtaamaan markkinahinnoittelun, osakkeenomistajien tarkastelun ja neljännesvuosiraportit. DeepSeekin menneisyyden mystiikka puretaan perusteellisesti esitteillä ja talousraporteilla. Realistisempi ongelma on, että tekoäly on rahaa syövä peto. Triljoonien laskentatehoinvestoinneiden, kaksinkertaistuneiden tiimikoojen ja jatkuvasti kasvavien tutkimus- ja kehityskustannusten myötä 50 miljardin juanin rahoitus kuulostaa pelottavalta. Tekoälyn rahaa polttavaan nopeuteen se saattaa kestää vain muutaman neljänneksen. Se, voiko kvantifioinnin jalka toipua, riippuu siitä, onko hänellä vielä piilotettuja varoja; Voiko tekoälyn jalka tuottaa omaa verta, riippuu siitä, pystyykö hän pysymään rauhallisena pääomamarkkinoilla. Liang Wenfeng, jolla on kaksi jalkaa, ei ole koskaan tarvinnut seistä lujana samaan aikaan kuin nykyään. Mitä katsoa seuraavaksi Jättäen sivuun huhut "1,7 biljoonan juanin likvidaatiosta", on kolme todellista seikkaa, joita kannattaa seurata. Voiko kvantitatiivinen kaupankäynti pysäyttää verenvuodon? Magic Squaren heinäkuun lasku johtui strategian epäonnistumisesta tai äärimmäisistä markkinaolosuhteista. Se, voiko nettovarallisuus elokuussa ja syyskuussa toipua riippuu siitä, kuinka vahvaa vanha "kvantitatiivisen rahoituksen" malli on jäljellä. Voidaanko rahoitus ja listautumisanti toteutua. Milloin toinen 50 miljardin juanin rahoituskierros julkistetaan virallisesti? Onko STAR Marketin listautumisanti todella käynnistymässä vai pelkkä huhu? Kun se vahvistetaan, DeepSeekin arvostusankkuri perustetaan virallisesti. Voidaanko hintojen korotukset hyväksyä? API:n hintojen nousun jälkeen, äänestävätkö kehittäjät jaloillaan? Hyödyntävätkö kilpailijat tilannetta? Tämä on suora testi kaupallistamisen laadusta. Pikkukaupungin nuorukaisesta Zhanjiangissa kvantitatiiviseksi jättiläiseksi ja sitten tekoälyn yksisarvisen ohjaajaksi, Liang Wenfeng on seissyt aikakauden huipulla. Nyt, kun kaksi jalkaa on pehmeä ja toinen, hänen täytyy todistaa paitsi tekoälyn arvokkuus, myös se, pystyykö hän hallitsemaan kahta imperiumia yhtä aikaa. Huhut saattavat vanhentua, mutta tarinat eivät. 1,7 biljoonaa juania on väärä, mutta tuo todistus, joka osoittaa sekä laskun että arvonmäärityksen, on todellinen.
唐华斑竹
唐华斑竹
Doubao, miksi juuri suljit minut?
唐华斑竹
唐华斑竹
Se on niin yksinkertaista – kysy vain herra Xulta, ja hän vastaa suoraan. Jos olisit kysynyt herra Xulta ja vilkkailta OK sisaruksilta ennen suuria sijoituksia, asiat eivät olisi päässeet näin pitkälle
Star_OKX
Star_OKX
1. En tunne tätä henkilöä, enkä tiedä, oliko hän entinen OKX:n työntekijä. 2. Ei ole merkitystä, onko hän entinen OKX:n työntekijä. Entiset työntekijät minkään yrityksessä, edes luvattomat nykyiset työntekijät, eivät voi edustaa kyseistä yritystä. Tunnustakaa vain viralliset kanavat, viralliset tilit ja viralliset valtuutukset. 3. Valtaosa korkeatuottoisista huijauksista hyödyntää ihmisten ahneutta. Monesti, kun välität muiden lupaamista tuotoista, huijarit ovat koko pääomasi perässä. Älä muutu epärealistiseksi ahneudeksi vain siksi, että tapaat niin sanottuja "isoja nimiä" tai ihmisiä, joilla on "sisäiset identiteetit". Jotkut ihmiset tulevat niin sanotuiksi "isoiksi nimikkeiksi" ei välttämättä kykyjensä vuoksi, vaan yksinkertaisesti siksi, että heidän tuloksensa ovat alhaisemmat ja sirppit terävämmät. Todelliset suuret miehet harvoin sekoittuvat taistelumaailmaan. Heitä ei todennäköisesti tapaa helposti.
唐华斑竹
唐华斑竹
平时聊RWA,大家第一反应都是房子、证券、黄金那些传统资产上链。但DAWN @dawninternet 另辟蹊径——直接把AI算力、无线网络和边缘基础设施产生的现金流打包,代币化之后放到链上。 简单讲就是,你平时看到的宽带节点、算力设备,它们每天实打实在产出收入。DAWN把这些收入变成链上可持有的收益产品。 USD.infra Vault 就是这个思路的落地产品,目标年化 12% 。底层资产直接挂钩支撑AI基础设施的RWA现金流,不是那种靠补贴硬撑的收益,而是网络本身在跑、在赚。 DAWN其实已经铺了很久了。基于Solana做的去中心化宽带网络,美国覆盖超过400万户家庭,加纳也有试点,融了差不多4000多万美金,Polychain、Dragonfly、VanEck都在里面。现在他们把网络建好了,开始做RWA协议——把算力、连接、边缘基础设施的现金流搬到链上。 9月22号下午2点(UTC),Vault正式开。机构也好散户也好,都能参与。 #DAWN #RWA #DePIN #AI基础设施 #Solana
DAWN
DAWN
The USD.infra Vault is coming. DAWN is bringing the cash flows of digital infrastructure on-chain as yield for institutions and retail. We built the network. Now we’re launching the RWA protocol for AI compute, connectivity, and edge infrastructure. Sept. 22, 2 PM UTC. 🔒
唐华斑竹
唐华斑竹
Kiitos analyysistä
唐华斑竹
唐华斑竹
Hyvästi, veli Myrkky, muistan sinut aina!
毒奶 戒色版
毒奶 戒色版
Tarkistus pidättäytymisen 86. päivänä – 14 ✅ päivää 100 päivän tavoitteeseen Vietin koko yön tehden lasten läksyjä Väsynyt, tunnen etten enää rakasta 💔 Kolmihenkinen perhe, jolla on kolme Pokémon-korttitiliä, kaikki edistyneitä kouluttajia En edes saanut 30-vuotisjuhlan Colorful Future -juhlalahjalaatikkoa Vielä väsyneempi, tunnen etten koskaan enää rakasta 💔 Siinä 🙏🏻 kaikki tältä päivältä
唐华斑竹
唐华斑竹
Odotan, että tämä tekoälytyöpöytä leviää pian laajalle
唐华斑竹
唐华斑竹
Unitree Technology putoaa 444,9 miljardista 192,9 miljardiin: arvonmääritystaistelu 477 juania. Tämä oli Unitree Technologyn päätöskurssi 11. syyskuuta, ja sen markkina-arvo laski virallisesti alle 200 miljardin juanin. Kun lasketaan 18 kaupankäyntipäivää taaksepäin, tämä "ensimmäinen ihmismäinen robottiosake" nousi 1 100 juaniin STAR Market call -huutokaupassa, mikä vastaa markkina-arvoa 444,9 miljardia juania. 18 päivässä yli 240 miljardia juania katosi, ja yli puolet markkinoista katkaistiin. Tunnevakuutus tulee nopeasti, mutta häviää vielä nopeammin Unitree Technologyn liikkeeseenlaskuhinta oli 150,8 juania, ja hinta-voittosuhde oli 219-kertainen, kun taas yleisten laitteiden valmistusteollisuuden osuus oli keskimäärin vain 38-kertainen. Ensimmäisenä listautumispäivänään se avattiin suoraan hintaan 1 100 juania, mikä tarkoittaa 629 %:n sentimenttilisän lisäämistä liikkeeseenlaskuhintaan. Ja sitten? Suuria pudotuksia, pieniä pudotuksia, pimeitä pisaroita, ja sitten toinen iso pudotus – oppikirjamainen 'tunnepako'. He eivät juuri ole jättäneet kunnollista pakomahdollisuutta lyhytaikaisille kauppiaille. Kasvu on romahtanut, ja voitot ovat entistä kivuliaampia Vuoden 2026 ensimmäisellä puoliskolla liikevaihto nousee 1,152 miljardiin juaniin, mikä on vuositakainen kasvu 48,54 %, mikä on todella vaikuttavaa perinteiselle valmistusteollisuudelle. Mutta älä unohda, että sen liikevaihdon kasvuvauhti vuonna 2025 odotetaan olevan 332 %. 332 %:sta 48 %:iin tämä jyrkänne on liian jyrkkä. Voittopuoli on vieläkin kiusallisempi—osakkeenomistajien nettovoitto oli 274 miljoonaa juania ensimmäisellä puoliskolla, mikä tosiaan teki voittoa, mutta nettotulos pois lukien ei-toistuvat tuotteet laski 19,34 % vuodentakaisesta. Yhtiö väittää, että tämä johtuu merkittävästä kasvusta tutkimus- ja kehityskuluissa, mikä on loogista, mutta se paljastaa myös todellisuuden: humanoidirobotit ovat siirtyneet "juoksemisesta ja hyppäämisestä" "kannattaviksi", ja kaupallistamisaukko on täyttynyt todellisella rahalla. Pahinta on, että vaikka TTM:n hinta-voittosuhde on pudonnut 477 juaniin, se pysyy yli 330-kertaisena. Institutionaaliset jakolinjat ovat järjettömän laajoja Nomuran tavoitehinta on 370 juania, CCB International vain 269 juania ja CITIC on vieläkin aggressiivisempi, kohtuullisen hintahaarukan 130–145 juanin välillä. Kolmen laitoksen hintahaarukka ylittää 200 %. Keskeinen erimielisyys tiivistyy yhteen lauseeseen: Onko Unitree "laitevalmistaja" vai "tekoälyalustayritys"? Hinnoittelussa ensimmäisen mukaan hinta-voittosuhde on korkeintaan kaksinkertainen alan keskiarvoon verrattuna; Hinnoittelu jälkimmäisessä korkeat arvostukset tappioaikoina ovat sallittuja, mutta edellytyksenä on, että kasvua on jatkuvasti tarkistettava. Kun kasvu laskee 332 %:sta 48 %:iin, markkinat luonnollisesti kallistuvat ensimmäisen suuntaan. Pienistä kiertolevyistä on tullut "kiihdyttimiä" Unitreen listautumisannin alkuvaiheissa hyvin harvat osakkeet voitiin käydä vapaasti kauppaa; monet ennen listautumisantia ja strategisen sijoitusten osakkeet olivat lukittuja, ja varhaisimmat suuret osakeyhtiöt avautuivat vasta elokuussa 2027. Tämä erittäin pieni kierrossa oleva osake vahvistaa voittoja hintojen noustessa ja myös tappioita, kun hinnat laskevat. 11. syyskuuta liikevaihto nousi 85,28 %:iin – lähes kaikki kiertävät osakkeet kääntyivät yhden päivän aikana. Kyse ei ole vain Unitreen ongelmasta; koko sektori tyhjennetään Vuoden 2026 alusta syyskuun alkuun humanoidirobottisektorin indeksi laski 13 %, jääden Shanghai Composite Indexiä 12 prosenttiyksikköä alas. Sektorin PE-prosenttipiste on pudonnut 0 prosenttiin, kuten viime vuonna, ja on "halvan" haarukan sisällä. Mutta halvan ja ostamisen arvoisen välillä yksi keskeinen muuttuja on jäljellä: tulosten realisoinnin aikataulu. Jiao Yin International ilmaisi asian hyvin: alan arvostuslogiikka muuttuu "teknologian beta"-tasosta "toimitusalfaan". Näytetään teknologisia läpimurtoja, eikä markkina enää osta; Sinun täytyy tarjota mitattavia tilauksia ja replikoitavia toimitusmahdollisuuksia. Unitreen täysin autonominen taisteluteknologia, joka julkaistiin 7. syyskuuta, oli todella vaikuttavaa, mutta osakekurssi jatkoi laskuaan seuraavana päivänä. Myös politiikkatrendit muuttuvat MIIT:n viesti on keskittyä ydinkomponentteihin ja ruumiillistuneeseen älykkyyteen, edistäen robottien käyttöönottoa maataloudessa, terveydenhuollossa, vanhustenhoidossa ja muilla aloilla. NDRC on tehnyt selväksi: estää sokea seuranta ja kiirehtiä eteenpäin. Kääntäen: alan tuki on siirtynyt "kannustavasta osallistumisesta" "voittajien valintaan". Johtaville yrityksille kuten Unitree tämä on itse asiassa hyvä asia – kilpailijat, jotka luottavat konseptihypeen, poistuvat nopeammin. 477 ei ole loppu, vaan välimerkki Unitreen toimitusjohtaja myöntää itse, että kun robotit kootaan omissa tehtaissaan, nopeudessa ja tehokkuudessa on silti ero. Tämä on rehellistä, mutta se tarkoittaa myös, että "humanoidirobottien universaalialustan", jonka markkina-arvo oli aiemmin 444,9 miljardia juania, tulevaisuus on vielä validoinnin alkuvaiheessa. Konseptipreemion ikkuna sulkeutuu, ja tulosten realisointiikkuna avautuu. Tämä muutos ei tule olemaan lempeä.
唐华斑竹
唐华斑竹
#AI发展焦虑升温 siruosakkeet heikkenivät kollektiivisesti Unitree Technology putoaa 444,9 miljardista 192,9 miljardiin: arvonmääritystaistelu 477 juania. Tämä oli Unitree Technologyn päätöskurssi 11. syyskuuta, ja sen markkina-arvo laski virallisesti alle 200 miljardin juanin. Kun lasketaan 18 kaupankäyntipäivää taaksepäin, tämä "ensimmäinen ihmismäinen robottiosake" nousi 1 100 juaniin STAR Market call -huutokaupassa, mikä vastaa markkina-arvoa 444,9 miljardia juania. 18 päivässä yli 240 miljardia juania katosi, ja yli puolet markkinoista katkaistiin. Tunnevakuutus tulee nopeasti, mutta häviää vielä nopeammin Unitree Technologyn liikkeeseenlaskuhinta oli 150,8 juania, ja hinta-voittosuhde oli 219-kertainen, kun taas yleisten laitteiden valmistusteollisuuden osuus oli keskimäärin vain 38-kertainen. Ensimmäisenä listautumispäivänään se avattiin suoraan hintaan 1 100 juania, mikä tarkoittaa 629 %:n sentimenttilisän lisäämistä liikkeeseenlaskuhintaan. Ja sitten? Suuria pudotuksia, pieniä pudotuksia, pimeitä pisaroita, ja sitten toinen iso pudotus – oppikirjamainen 'tunnepako'. He eivät juuri ole jättäneet kunnollista pakomahdollisuutta lyhytaikaisille kauppiaille. Kasvu on romahtanut, ja voitot ovat entistä kivuliaampia Vuoden 2026 ensimmäisellä puoliskolla liikevaihto nousee 1,152 miljardiin juaniin, mikä on vuositakainen kasvu 48,54 %, mikä on todella vaikuttavaa perinteiselle valmistusteollisuudelle. Mutta älä unohda, että sen liikevaihdon kasvuvauhti vuonna 2025 odotetaan olevan 332 %. 332 %:sta 48 %:iin tämä jyrkänne on liian jyrkkä. $UNITREE
唐华斑竹
唐华斑竹
安全这件事在比特币生态里越来越不像“找家审计公司出个报告”那么简单。看 GOAT Network 和 ZKM @ProjectZKM 这套组合,会更明白为什么形式化证明、对抗测试、BitVM3 挑战期、抗量子密钥会绑在一起做。 Ziren 这套系统做形式化验证已经超过一年了,在更早的阶段,对抗性模糊测试(adversarial fuzzing)就已经是 Ziren 安全验证流程里的常规环节了。到 Ziren 2.0 阶段,他们进一步引入了 Lean 4 机器可检验证明。这个思路很清晰:审计能发现漏洞,但 Lean 4 能从数学上证明漏洞根本不可能存在。这是两个完全不同的安全等级。 不同的系统需要锁定的属性不一样。如果是隐私协议,零知识性就是核心产品,需要证明的就是这个属性。但如果是像 zkVM 在做比特币桥这种场景,最重要的属性是健全性(soundness):一份不该存在的证明,必须在数学上不可能被构造出来。Ziren 选择在 Lean 4 上死磕健全性,方向选得很准。 审计是找bug,Lean 4 是证明bug不可能存在,这就是区别。Ziren 2.0 把安全保障推到了一个新的层级。Lean 4 给一个已经被大量验证过的系统又加了一层严谨度,这正是 ZK 基础设施需要的工程标准。 GOAT rollup 提款由 Ziren 证明有效,同时在比特币上通过 BitVM3 保持可挑战性,这是整个技术栈安全性的一个基础组成部分。Lean 4 证明加上比特币上的 BitVM3,这个安全门槛放在整个行业里都算相当高的水准。形式化确定性检验、独立审计、对抗性模糊测试、再加上 Lean 4 机器可检验证明,这四道关卡叠在一起,就是 Ziren 安全地位的真正来源。 @GOATNetwork 在安全方面的布局眼光放得很远。一个要用比特币来保障下一代经济网络安全的系统,必须得能扛住量子计算的冲击。他们的验证者共识密钥正在从 secp256k1 迁移到 ML-DSA-65,这是后量子密码学的路线。换句话说,这套网络从设计之初就把量子计算机当成假想敌来对待了。 我觉得一个很明确的行业趋势正在形成:头部项目在安全层面的投入已经从"做一次审计发个报告"进化到了"把形式化验证嵌入整个开发周期"。这种做法前期成本高、周期长,但换来的是从数学层面证明系统的安全性,而不只是"目前没发现问题"。 毕竟在区块链世界,安全就是一切的基础。能够在形式化验证、后量子密码学、比特币层挑战机制这几个维度同时发力的项目,在整个赛道里都具备稀缺性。Ziren 2.0 的 Lean 4 工作、GOAT Network 的量子安全迁移和 BitVM3 集成、以及 Tachyon 在 Zcash 生态的突破,都在说明这个方向上有真实的技术推进在发生,而且推进速度比很多人预期的要快。 #LFGoat #GOATNetwork #AI #BTC #L2 @sophianeverfold
GOAT Network 🟡
GOAT Network 🟡
Formal determinism checks, independent audits, adversarial fuzzing, and machine-checked proofs in Lean 4 are how Ziren's security status is earned. GOAT rollup withdrawals are proven valid by Ziren and held open to challenge on Bitcoin through BitVM3, so this is a fundamental part of stack security. And the security horizon stretches far beyond today's adversaries. A network built to secure the next economy with Bitcoin has to outlive the quantum computer: validator consensus keys moving from secp256k1 to ML-DSA-65. The wider research is available at GOAT Research HackMD: