Veridise
236 Publicații
Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Urmăriți
135 Urmăritori
89 Apreciate
Postări
Toate
Videoclipuri
Picus a primit puțină dragoste la apelul Ethproofs #3 al @ethereum 👀 Mulțumesc @drakefjustin!
Care sunt cele mai frecvente două erori ZK pe care le găsim? Și cum să le evităm? @FormallyJon împărtășește în podcastul @HouseofZK
Care părți ale unei baze de cod sunt cele mai vizate în auditurile de securitate ZK? @FormallyJon împărtășește pe podcastul @HouseofZK.
Suntem bucuroși să anunțăm munca noastră de auditare a securității cu @Monero, un proiect de lungă durată în domeniul confidențialității.
În plus, dorim să clarificăm și să abordăm unele afirmații și denaturări referitoare la munca noastră.
1/8
În plus, dorim să clarificăm și să abordăm unele afirmații și denaturări referitoare la munca noastră.
1/8
Curios despre cele mai bune 3 hack-uri blockchain din ultimele 2 săptămâni? Iată-le:
Povestea continuă mai jos 🧵
Povestea continuă mai jos 🧵
Auditurile ZK ≠ auditurile contractelor inteligente. Ce le diferențiază? @FormallyJon explică în podcastul @HouseofZK.
Blog nou: Cum construiești o aplicație zkVM sigură—și cum o auditezi? (Partea a III-a în seria noastră de securitate zkVM).
Parcurgem un exemplu concret folosind @RiscZero și arătăm considerațiile de securitate care contează în dezvoltarea aplicațiilor ZK în lumea reală.
Fir 🧵
1/6
Parcurgem un exemplu concret folosind @RiscZero și arătăm considerațiile de securitate care contează în dezvoltarea aplicațiilor ZK în lumea reală.
Fir 🧵
1/6
Când am început să lucrăm la instrumentele ZK, nu exista nimic disponibil. @FormallyJon împărtășește călătoria noastră cu instrumentele de zero-knowledge în interviul de la @HouseofZK.
Când am început să lucrăm la uneltele ZK, nu era nimic disponibil. @FormallyJon împărtășește călătoria noastră în domeniul uneltelor cu zero cunoștințe.
Cannes, ai fost uimitor! Mulțumim tuturor celor care ne-au vizitat standul și @EthCC pentru că ne-a găzduit. Iată o festin vizual din săptămână 🌞
Intra în cele mai importante 3 povești despre securitatea blockchain din ultimele două săptămâni!
Povestea continuă mai jos 🧵
Povestea continuă mai jos 🧵
Ai ratat prezentarea lui @KFerles de la @EthCC, “determinismul zkVM care durează: De la audite la verificare continuă”? Vizionați întreaga prezentare aici, am avut o sală plină!
Ziua 1 la @EthCC s-a încheiat — iar toate suvenirurile din fotografie? Dispărute. Râsul a fost preferatul mulțimii 🦝
Mai avem câteva, așa că treci pe aici mâine dacă ești prin zonă!
Mai avem câteva, așa că treci pe aici mâine dacă ești prin zonă!
Salutări de la @EthCC — CTO-ul nostru @KFerles împărtășește cum oferim determinism de lungă durată pentru zkVM-uri precum @RiscZero
Postare nouă pe blog! Identificarea vulnerabilităților comune în zkVM-uri
(acesta este Partea II din seria noastră de Securitate zkVM)
Deși zkVM-urile ajută la abstractizarea complexității ZK, nu elimină toate capcanele 🧵
(acesta este Partea II din seria noastră de Securitate zkVM)
Deși zkVM-urile ajută la abstractizarea complexității ZK, nu elimină toate capcanele 🧵
Obțineți o prezentare generală a instrumentelor ZK ale Veridise și o privire asupra a ceea ce urmează. @IsilDillig împărtășește direcțiile noastre viitoare la evenimentul @a16zcrypto.
Instrumentele noastre de detectare ZK au expirat anterior în 30% din circuitele ZK. Cum am rezolvat acest lucru? @IsilDillig împărtășește perspective din lucrarea noastră de cercetare recentă.
Cum ne menținem circuitele ZK solide și deterministe în timpul auditurilor? Co-fondatorul nostru @IsilDillig împărtășește perspective despre combinarea analizei statice și a resolver-elor SMT în instrumentele noastre ZK.
Reprezintă circuitele supraconstruite o provocare în circuitele cu zero cunoștințe?
Care reprezintă o amenințare mai mare: circuitele subconstruite sau cele supraconstruite? @IsilDillig le explică.
Care reprezintă o amenințare mai mare: circuitele subconstruite sau cele supraconstruite? @IsilDillig le explică.
Conectați-vă pentru a explora mai mult conținut