Veridise Re-poster

Istoric, cercetarea în domeniul securității în spațiul ZK a fost extrem de compartimentată. Dacă dezvolți un utilitar specific pentru Circom, acel resurs exact nu oferă absolut nicio valoare echipelor Halo2. În mod similar, alegerea de a lucra cu Noir înseamnă că dezvoltatorii Circom sunt complet excluși. Deoarece industria a lipsit de o fundație comună pe care să se construiască, cercetarea excelentă rămâne inevitabil blocată în medii individuale. Din fericire, introducerea LLZK transformă complet această dinamică.

LLZK are acum propria sa organizație pe GitHub, separată de Veridise.

Fundația Ethereum a finanțat două runde. Galois a contribuit deja cu un backend în mod independent.

Proiectele comunității construite pe IR pot trăi acolo. Ce ai vrea să vezi?

Iată o perspectivă îndrăzneață asupra peisajului actual. Cea mai semnificativă provocare nerezolvată în ceea ce privește instrumentele ZK nu are de-a face cu performanța. În schimb, problema fundamentală este lipsa unei fundații comune. Deoarece nu există un layer de bază universal, fiecare ecosistem este forțat să-și construiască propriul cadru de securitate complet de la zero. Mi-ar plăcea să aud părerile tale despre această situație. Împărtășești această viziune sau crezi că îngrijorările legate de fragmentare ar putea fi exagerate?

Suntem încântați să vă anunțăm că LLZK V1.0 este oficial disponibil pentru public. Proiectat ca o reprezentare intermediară comună, acest framework susține în mod special instrumentele de securitate ZK. Dezvoltatorii vor descoperi că orice limbaj de programare compilat în LLZK deblochează instantaneu capabilitățile ZK Vanguard pentru analiza statică și Picus pentru verificarea formală. Avantajul major aici este că poți folosi aceste resurse fără probleme, evitând complet necesitatea de a reconstrui oricare dintre instrumente de la zero. Odată cu acest lansare, frontend-urile noastre active includ în prezent Halo2 și Circom. Pentru a explora mai în profunzime această lansare, vă rugăm să vizitați anunțul complet la https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/

În timp ce eram la EthCC, cea mai populară întrebare pe care oamenii o puneau era cum se compară verificarea formală cu auditul AI.

Aceste două abordări caută de fapt să răspundă la întrebări complet diferite. Inteligența artificială este concepută pentru a identifica modele cunoscute. Verificarea formală, pe de altă parte, oferă un nivel complet diferit de asigurare, demonstrând că anumite proprietăți rămân adevărate pentru fiecare posibil input.

Este evident că acest domeniu de studiu a crescut mult peste a fi doar un subiect de nișă. Consolidând importanța sa extinsă, Fundația Ethereum s-a angajat oficial cu 2M$ pentru avansarea metodelor formale.

O problemă trecută cu vederea afectează în tăcere ecosistemul uneltelor de securitate ZK astăzi, și anume fragmentarea severă. Dezvoltatorii sunt forțați să navigheze printr-un set de unelte complet unic pentru fiecare sistem de dovedire distinct și limbaj de programare pe care îl întâlnesc. Această realitate înseamnă că infrastructura de bază trebuie reconstruită de la zero din nou și din nou. În cele din urmă, capacitatea unei echipe de dezvoltare de a detecta cu succes erorile de circuit nu trebuie să depindă niciodată de limbajul ZK specific pe care au decis să-l adopte.

Echipa noastră a sosit în Cannes pentru @EthCC astăzi. Te invităm cu căldură să treci pe la standul Veridise, situat la etajul 3 al Palais des Festivals. Dacă dezvolți aplicații pe blockchain și dorești să ai o conversație despre securitate, personalul nostru va fi prezent toată ziua pentru a te conecta cu tine. Vei avea șansa unică de a discuta direct cu profesioniștii exacti care au realizat cu succes peste 100 de audituri.

Dacă ne vei alătura la EthCC[9] în Cannes, te invităm să profiți de briefing-urile noastre gratuite despre riscurile fondatorilor. Acestea se vor desfășura la standul nostru pe 30 și 31 martie, sesiuni care durează 15 minute și sunt conduse personal de CEO-ul Veridise, @FormallyJon. Mai jos este o privire detaliată asupra a ceea ce se întâmplă odată ce pășești în cameră.

Operati în prezent fără un plan clar de securitate? Puteți rezolva eficient această problemă în cadrul evenimentului EthCC care urmează.

Vom organiza un număr limitat de Sesiuni de Risc pentru Fondatori la Cannes pe 30-31 martie. Printr-o discuție unică și concentrată cu CEO-ul nostru, veți obține informații valoroase despre identificarea riscurilor reale, decizia privind procesele de automatizat și știind exact când să programați un audit.

Scopul nostru este să ne asigurăm că părăsiți întâlnirea echipați cu o claritate acționabilă, mai degrabă decât să ascultați pur și simplu o prezentare de vânzări. Vă rugăm să trimiteți un DM la @VeridiseInc pentru a vă conecta.

https://veridise.com/blog/news/veridise-ethcc-2026-meet-the-team-pushing-blockchain-security-forward/

Planifici să participi la @EthCC în Cannes între 30 martie și 2 aprilie? Suntem încântați să anunțăm că oferim 2 bilete cu acces complet pentru evenimentul viitor.

Asigurarea șansei tale de a câștiga este complet simplă. Asigură-te doar că urmărești contul @VeridiseInc și continuă să redistribui acest mesaj. Vom extrage oficial câștigătorul pe 28 martie.

În timp ce ești la conferință, ne-ar plăcea să vizitezi standul nostru. @AuditHubDev, partenerul nostru, va fi la fața locului organizând un quiz interactiv despre securitate. Vino să îți testezi cunoștințele din industrie și să iei acasă câteva produse grozave.

Ne îndreptăm spre ETHDenver ✈️. În timp ce suntem pe teren, efectuăm o Evaluare Mini de Securitate limitată (față în față). Vă rugăm să rețineți că disponibilitatea este limitată, având exact 2 locuri libere. Revizuiește detaliile de mai jos și trimite-mi un mesaj pentru a-ți programa întâlnirea.

Căutăm un Manager de Dezvoltare a Afacerilor pentru a se alătura Veridise. Această poziție cu mare responsabilitate îți oferă un impact direct asupra creșterii, poziționării și expansiunii companiei noastre. Am fi încântați să auzim de la tine, așa că te rugăm să găsești descrierea postului pe pagina noastră de cariere.

Dacă în prezent dezvolți un proiect inovator și plănuiești să participi la ETHDenver, ia-ți un moment pentru a reflecta. Înainte de a programa un audit sau de a desfășura cod suplimentar, este esențial să determini dacă protejezi componentele adecvate în secvența corectă. Echipa noastră este disponibilă pentru a efectua o Evaluare Mini de Securitate de 60 de minute pe parcursul evenimentului ETHDenver. 🧵

1/3

🔐 Dezvoltarea pe @AleoHQ? Deși înregistrările sunt puternice, ele sunt de asemenea ușor de utilizat greșit.

În Partea a II-a a seriei noastre Records in Leo, Mark Anthony @epizeuxius, Analist de Securitate la @VeridiseInc, examinează capcanele comune în manipularea înregistrărilor.

Găsiți linkul către postarea completă pe blog mai jos 🧵

1/3

🔐 Cum funcționează statul privat în cadrul @AleoHQ? În cel mai recent articol de pe blog, Mark Anthony @epizeuxius, un analist de securitate la @VeridiseInc, analizează înregistrările în Leo — primitiva centrală care stă la baza intimității & scalabilității Aleo.

Linkul către articolul complet este mai jos 🧵

1/3

Visezi să eviți acele conversații tipice de sărbători? Avem soluția perfectă pentru tine! 🎄

Alătură-te discuțiilor noastre de tip fireside Veridise, unde ne angajăm în discuții tehnice perspicace cu inovatori care conturează viitorul Web3. Lista noastră include oaspeți de seamă de la @ethereumfndn, @StellarOrg, @RiscZero, @boundless_xyz și @aztecnetwork. Prinde conversațiile pe canalul nostru de YouTube.

Crăciun fericit! Să aducă anul care vine siguranță și bunăstare. 🎄