Final presentation of the Bangkok week! @FormallyJon is sharing bug examples in the wild, with a summary of insights from our 100 recent audits.

Keynote about ZK Circuits in dApps and the biggest pitfalls to avoid by @FormallyJon at @epicweb3 L2Con.

May you stay ZK bug-free! 🪲 Recording coming soon.

Greetings from @epicweb3 L2Con!

We’re all stocked up with our merch, including the surprisingly popular “Excuse if I’m SNARKy” T-shirts 👀

Greetings from the Formal Verification Hangout!

@FormallyJon delivered a 8-minute lightning talk on Unifying ZK: A Comprehensive DSL Framework for Tomorrow.

Check it out! A longer presentation on the same topic will be available soon.

Time for the top 3 blockchain security news of the week:

1) @metawincom hacked for $4M
2) Attackers took over @wizkhalifa's X account to promote crypto scam
3) Canadian police praised @Tether_to for stolen funds' recovery

The story continues below 🧵

.@FormallyJon analyzed the features of various ZK languages/frameworks in his talk at ZK Accelerate earlier today.

Alp, Jon, Stas, and Mikko send greetings from ZK Accelerate, Bangkok!

Wonderful people around, as always, and a great chance to catch up with old friends!

Thank you @Ingo_zk for having us.

Bangkok bound, our team is heading to DevCon! 🇹🇭

Catch us at ZK Accelerate, L2Con, and Hack Seasons.

Our CEO @FormallyJon delivers a presentation at all of these events.

Check out our full schedule below 🧵

1/5

Announcing AuditHub!

Veridise clients now get more than just a typical audit report.

Meet Veridise AuditHub — our all-in-one auditing powerhouse!

Dive in for more details 🧵

1/6

Ready for this week's top 3 blockchain security news? Here you go:

1) @SUNRAY_DEX suffered a $2.7M exploit
2) @M2Exchange lost $13.7M in an exchange hack
3) Lottie Player hack drained victims' crypto wallets

The story continues below 🧵

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

1/2

New blog post is live: "Meet Our Team: 10 questions for Shankara Pailoor"

@mikkoikola sat down with our Head of ZK Security Research @ShankaraPailoo2 to discuss everything from Shankara's PhD journey, best practices for secure ZK development, Picus tool, to philosophy!

Find the link to the interview below 🧵

On this "week of rug pulls" we're sharing the following top 3 blockchain security news:

1) @Essence_Fi is suspected of a $20M rug pull
2) A hacker drained $20M from a US government wallet
3) Scammers cashed out $3.4M in Sharpei rug pull

The story continues below 🧵

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/

Listen to @AlpAtVeridise's presentation about Cyclic Groups from Geometry at ZK12 summit.

Thanks @zeroknowledgefm for the great event and for having us!

1/2

We're back with this week's top 3 blockchain security news stories:

1) @RDNTCapital exploited for $50M
2) @tapioca_dao lost $4.4M in a social engineering attack
3) A series of attacks compromised multiple Web3 X accounts

The story continues below 🧵

Returning to our Team Spotlight series, we shine the light on Veridise's security experts.

Meet Ben Sepanski ( @bensepanski ), Chief Security Officer at Veridise 🧵

1/2

We set out to implement the Mastermind game in 5 different ZK languages/frameworks: Circom, Gnark, Noir, Halo2, and Arkworks.

The aim was to evaluate the capabilities and characteristics of these various ZK languages.

Check out @iangneal's full blog post below 🧵

1/5

We are hiring! 👋 We have two open positions for Security Analysts:

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

For full job descriptions, please visit our career page (see the next tweet)

Our Team Spotlight series rolls on, featuring the security professionals at Veridise.

Meet @KFerles, CTO at Veridise 🧵

1/2