Presentazione finale della settimana di Bangkok! @FormallyJon condivide esempi di bug rilevati in natura, con un riepilogo delle informazioni ottenute dai nostri 100 audit recenti.

Keynote sui circuiti ZK nelle dApp e le più grandi insidie ​​da evitare di @FormallyJon all'@epicweb3 L2Con.

Che tu possa rimanere libero da bug ZK! 🪲 Registrazione in arrivo.

Saluti da @epicweb3 L2Con!

Siamo tutti riforniti di merchandising, comprese le sorprendentemente popolari magliette "Excuse if I'm SNARKy" 👀

Saluti dal Formal Verification Hangout!

@FormallyJon ha tenuto un discorso lampo di 8 minuti su Unifying ZK: A Comprehensive DSL Framework for Tomorrow.

Date un'occhiata! Una presentazione più lunga sullo stesso argomento sarà disponibile a breve.

È il momento delle 3 principali notizie sulla sicurezza blockchain della settimana:

1) @metawincom hackerata per 4 milioni di $
2) Gli aggressori hanno preso il controllo dell'account X di @wizkhalifa per promuovere una truffa sulle criptovalute
3) La polizia canadese ha elogiato @Tether_to per il recupero dei fondi rubati

La storia continua qui sotto 🧵

.@FormallyJon ha analizzato le caratteristiche di vari linguaggi/framework ZK nel suo intervento tenuto oggi a ZK Accelerate.

Alp, Jon, Stas e Mikko inviano saluti da ZK Accelerate, Bangkok!

Persone meravigliose intorno, come sempre, e una grande opportunità per rivedere vecchi amici!

Grazie @Ingo_zk per averci ospitati.

Verso Bangkok, il nostro team si dirige a DevCon! 🇹🇭

Incontraci a ZK Accelerate, L2Con e Hack Seasons.

Il nostro CEO @FormallyJon tiene una presentazione a tutti questi eventi.

Controlla il nostro programma completo qui sotto 🧵

1/5

Annunciamo AuditHub!

I clienti Veridise adesso ricevono più di un tipico report di audit.

Scopri Veridise AuditHub, la nostra centrale di auditing all-in-one!

Immergiti per maggiori dettagli 🧵

1/6

Pronti per le 3 principali notizie sulla sicurezza blockchain di questa settimana? Eccole:

1) @SUNRAY_DEX ha subito un exploit da 2,7 milioni di $
2) @M2Exchange ha perso 13,7 milioni di $ in un hack di exchange
3) L'hack di Lottie Player ha prosciugato i portafogli crittografici delle vittime

La storia continua qui sotto 🧵

In this week's Team Spotlight series, we're excited to introduce Bryan Tan, our VP of Engineering at Veridise 🧵

1/2

Nuovo post del blog in linea: "Incontra il nostro team: 10 domande a Shankara Pailoor"

@mikkoikola si è seduta con il nostro Head of ZK Security Research @ShankaraPailoo2 per discutere di tutto, dal percorso di dottorato di Shankara, alle best practice per lo sviluppo sicuro di ZK, allo strumento Picus, alla filosofia!

Trova il link all'intervista qui sotto 🧵

In questa "settimana di rug pull" condividiamo le seguenti 3 principali notizie sulla sicurezza blockchain:

1) @Essence_Fi è sospettata di un rug pull da 20 milioni di $
2) Un hacker ha prosciugato 20 milioni di $ da un portafoglio del governo degli Stati Uniti
3) I truffatori hanno incassato 3,4 milioni di $ in un rug pull di Sharpei

La storia continua qui sotto 🧵

Hello world, we are hiring!

We have two open positions for Security Analysts:

- Lead Security Analyst (Remote)
- Security Analyst (Remote)

Please visit our careers page for full job descriptions: http://veridise.com/careers/

Ascolta la presentazione di @AlpAtVeridise sui Gruppi Ciclici dalla Geometria al summit ZK12.

Grazie a @zeroknowledgefm per il grande evento e per averci ospitati!

1/2

Siamo tornati con le 3 principali notizie sulla sicurezza blockchain della settimana:

1) @RDNTCapital sfruttato per $50M
2) @tapioca_dao ha perso $4,4M in un attacco di ingegneria sociale
3) Una serie di attacchi ha compromesso più account Web3 X

La storia continua qui sotto 🧵

Tornando alla nostra serie Spotlight sul Team, mettiamo in luce gli esperti di sicurezza di Veridise.

Incontra Ben Sepanski ( @bensepanski ), Chief Security Officer di Veridise 🧵

1/2

Abbiamo deciso di implementare il gioco Mastermind in 5 diversi linguaggi/framework ZK: Circom, Gnark, Noir, Halo2 e Arkworks.

L'obiettivo era valutare le capacità e le caratteristiche di questi vari linguaggi ZK.

Dai un'occhiata al post completo del blog di @iangneal qui sotto 🧵

1/5

Stiamo assumendo! 👋 Abbiamo due posizioni aperte per Analisti della Sicurezza:

- Analista della Sicurezza Senior (Remoto)
- Analista della Sicurezza (Remoto)

Per le descrizioni complete delle posizioni, visita la nostra pagina carriera (vedi il tweet successivo)

La nostra serie Spotlight sul team continua, presentando i professionisti della sicurezza di Veridise.

Incontra @KFerles, CTO di Veridise 🧵

1/2