Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 Seguiti
135 Follower
89 Mi piace
7 Condivisioni
Post
Tutti
Video
Picus ha ricevuto un po' di amore durante la chiamata Ethproofs #3 di @ethereum 👀 Grazie @drakefjustin!
Quali sono i due bug ZK più frequenti che troviamo? E come evitarli? @FormallyJon condivide nel podcast @HouseofZK
Quali parti di un codice sorgente sono i principali obiettivi negli audit di sicurezza ZK? @FormallyJon condivide nel podcast @HouseofZK.
Siamo lieti di annunciare il nostro lavoro di auditing della sicurezza con @Monero, un progetto di lunga data nel campo della privacy.
Inoltre, vogliamo chiarire e affrontare alcune affermazioni e rappresentazioni errate riguardo al nostro lavoro.
1/8
Inoltre, vogliamo chiarire e affrontare alcune affermazioni e rappresentazioni errate riguardo al nostro lavoro.
1/8
Curioso riguardo ai 3 principali hack blockchain delle ultime 2 settimane? Ecco qui:
La storia continua qui sotto 🧵
La storia continua qui sotto 🧵
Le audit ZK ≠ audit dei contratti intelligenti. Cosa le distingue? @FormallyJon spiega tutto nel podcast @HouseofZK.
Nuovo blog: Come costruire un'applicazione zkVM sicura—e come auditarne una? (Parte III della nostra serie sulla sicurezza zkVM).
Esaminiamo un esempio concreto utilizzando @RiscZero e mostriamo le considerazioni sulla sicurezza che contano nello sviluppo di app ZK nel mondo reale.
Thread 🧵
1/6
Esaminiamo un esempio concreto utilizzando @RiscZero e mostriamo le considerazioni sulla sicurezza che contano nello sviluppo di app ZK nel mondo reale.
Thread 🧵
1/6
Quando abbiamo iniziato a lavorare sugli strumenti ZK, non c'era nulla disponibile. @FormallyJon condivide il nostro percorso degli strumenti a conoscenza zero nell'intervista di @HouseofZK.
Quando abbiamo iniziato a lavorare sugli strumenti ZK, non c'era nulla disponibile. @FormallyJon condivide il nostro viaggio negli strumenti a conoscenza zero.
Cannes, sei stato fantastico! Grazie a tutti coloro che sono passati dal nostro stand, e a @EthCC per averci ospitati. Ecco un banchetto visivo della settimana 🌞
Immergiti nelle 3 migliori storie di sicurezza blockchain delle ultime due settimane!
La storia continua qui sotto 🧵
La storia continua qui sotto 🧵
Hai perso l'intervento di @KFerles all'@EthCC, “determinismo zkVM che dura: dagli audit alla verifica continua”? Guarda la presentazione completa qui, la sala era piena!
Il giorno 1 di @EthCC si è concluso — e tutto il merchandising nella foto? Sparito. Il procione era il preferito della folla 🦝
Ne abbiamo ancora alcuni, quindi passa domani se sei in zona!
Ne abbiamo ancora alcuni, quindi passa domani se sei in zona!
Saluti da @EthCC — Il nostro CTO @KFerles sta condividendo come offriamo un determinismo duraturo per zkVMs come @RiscZero
Nuovo post sul blog! Identificare vulnerabilità comuni negli zkVM
(questa è la Parte II della nostra serie sulla sicurezza degli zkVM)
Sebbene gli zkVM aiutino ad astrarre la complessità ZK, non eliminano tutti i pericoli 🧵
(questa è la Parte II della nostra serie sulla sicurezza degli zkVM)
Sebbene gli zkVM aiutino ad astrarre la complessità ZK, non eliminano tutti i pericoli 🧵
Ottieni una panoramica degli strumenti ZK di Veridise e un'idea di cosa ci aspetta. @IsilDillig condivide le nostre direzioni future all'evento @a16zcrypto.
I nostri strumenti di rilevamento ZK hanno precedentemente superato il limite di tempo nel 30% dei circuiti ZK. Come abbiamo risolto questo problema? @IsilDillig condivide intuizioni dal nostro recente articolo di ricerca.
Come manteniamo i circuiti ZK solidi e deterministici durante le verifiche? Il nostro co-fondatore @IsilDillig condivide intuizioni su come combinare l'analisi statica e i risolutori SMT nei nostri strumenti ZK.
I circuiti sovraccaricati sono una sfida nei circuiti a conoscenza zero?
Quale rappresenta una minaccia maggiore: circuiti sotto-constrainati o circuiti sovraccaricati? @IsilDillig lo spiega.
Quale rappresenta una minaccia maggiore: circuiti sotto-constrainati o circuiti sovraccaricati? @IsilDillig lo spiega.
Accedi per esplorare altri contenuti