Gå med i Lagrange Science Fair för att höra den senaste banbrytande forskningen inom blockchain och verifierbar AI! För att fira SBC 2025 (Science of Blockchain Conference), där vi kommer att presentera vår senaste artikel "Dynamic zk-SNARKs" Streamar nu:

Gå med i Lagrange Science Fair för att höra den senaste banbrytande forskningen inom blockchain och verifierbar AI! För att fira SBC 2025 (Science of Blockchain Conference), där vi kommer att presentera vårt senaste papper: Dynamic zk-SNARKs 📺 Streamar live idag kl. 12 EST på X 🔗 Håll dig uppdaterad och registrera dig via Luma:

DeepProve banar väg för en ny standard för säker, verifierbar AI – och vi fortsätter att utöka dess kapacitet. Lagranges ingenjörer och forskare utforskar nya möjligheter för vad DeepProve kan åstadkomma för AI. Låt oss undersöka en möjlighet: Bevis för resonemang... 🧵

Följ med oss på Lagrange Science Fair torsdagen den 31 juli i väntan på SBC 2025 (Science of Blockchain Conference)! Lyssna på toppforskare från @Yale, @Stanford, @Cornell, @UCBerkeley och @Penn om nya innovationer inom blockchain och AI:

Lagrange-teamet kommer att presentera dynamiska zk-SNARKs på Science of Blockchain Conference (SBC) den 4 augusti! Tack till det fantastiska arbete som utförts av Weijie Wang, @chbpap, @s_shravan och @dipapadopo Häng med oss på SBC för ett bra föredrag av Weijie Wang och för att träffa teamet runt evenemanget!

Stora nyheter: Lagranges kärnforskning om dynamiska zk-SNARKs (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) kommer att presenteras på Science of Blockchain Conference (SBC) 2025 den 4 augusti. Här är varför det är viktigt – för AI, krypto och framtiden för verifierbar beräkning: 🧵

Lagrange samarbetar med @wach_ai för att göra autonoma agenter verifierbara, säkra och anpassade till de system de betjänar. Med DeepProve kan WachAI kryptografiskt bevisa att agentiska beslut är korrekta, auktoriserade och modellanpassade – allt i kedjan. Lära sig mer 🧵

Vi använder inte bara kryptografi – vi uppfinner den. Vår kärnforskning på Reckle Trees har beviljats ett amerikanskt patent (nr 12 368 596), vilket befäster dess plats som ett genombrott inom skalbar, verifierbar databehandling. Här är vad det betyder: 🧵

AI driver redan bildbehandling på sjukhus – datortomografi, tumördetektering, riskbedömningar Men i ett område där beslut påverkar liv räcker det inte med "hög noggrannhet". Vi behöver verifierbara resultat Det är där DeepProve kommer in i bilden 🧵

Decentraliserad bevisning kräver mycket mer än beräkning Den behöver samordnas Det är därför Lagranges forskargrupp utvecklade DARA, så att vi kunde matcha efterfrågan på bevis med tillgången på bevismaterial, på ett rättvist och effektivt sätt Det är så Lagrange-nätverket förblir högpresterande i stor skala