Veridise and Secureum to Team Up for a ZK Security Workshop

Veridise
Veridise
Published in
3 min readOct 19, 2023

Earlier this year, we collaborated with Secureum to host a blockchain security workshop where we highlighted the importance of using automated vulnerability detection tools together with human-led audits to amplify the security of smart contracts.

The workshop was a big success and we are now gearing up for a second edition.

This October, we will explore the aspects of ZK and DeFi security.

The selection process

The spots at the workshop will be limited but there is already high interest towards it. This is why we will have a selection round, which will determine the participants in the event.

Between October 26 and October 29, 2023, applicants will be presented with a quiz called RACE. The quiz will cover different topics related to ZK security and the top 32 performers in the RACE will get access to the workshop.

If you are interested in participating, you will need to register for the RACE between October 23- 25.

The Veridise x Secureum ZK security workshop

The workshop will take place between October 30, 2023, and November 3, 2023. The week will be packed with challenges, talks, presentations and hands-on work on ZK and DeFi security. The final submissions from the workshop tasks will be due by 11:59 AoE on November 5, 2023, giving participants some extra time to work on them.

The participants will have a chance to try first-hand our proprietary automated security tools and experience how these can make their work significantly more efficient.

We have also prepared a special treat for all the people who’ll take part: talks by some of the most prominent people in the ZK space! The workshop participants will get to hear and learn from people like the Axiom founder Yi Sun and Haichen Shen, co-founder of Scroll.

The workshop challenges

As we mentioned, the focus of this seminar will be on zero-knowledge security, as well as on DeFi.

The participants will get to “play” with Picus — a tool we have designed specifically for verifying properties for ZK circuits, as well as with the ZK version of our static analyzer Vanguard.

The prizes

The five people who impress us the most during the workshop will take home monetary prizes. The prize pool of $5,000 will be divided as follows:

  • 1st place: 2,000 USDC
  • 2nd place: 1,000 USDC
  • 3rd place: 1,000 USDC
  • 4th place: 500 USDC
  • 5th place: 500 USDC

A gateway to a new job

The participants in the workshop will get a chance to get their hands dirty with real-life security challenges and this will be a fantastic learning experience. However, this is not all. The top performers in the event will also be invited to interview for security auditor roles at Veridise and join our incredible company full-time!

How to apply

In order to participate in the workshop, you need to register for the Secureum Bootcamp between October 23–25, 2023, if you haven’t already registered earlier with Secureum. The registration is free of charge.

Registrants will receive a RUN access code to participate in the RACE quiz for the workshop, namely RACE-23.

Keep in mind that the registration opens on October 23, 2023!

But wait, there’s more!

We have one more special surprise in store. While the number of active workshop participants is capped at 32, we will open this edition to a broader audience. This means that more people will have access to the talks and presentations that will happen during the workshop. We will announce more details about this in the upcoming days so make sure to follow us on social media so that you don’t miss the announcement!

--

--

Veridise
Veridise

Hardening blockchain security with formal methods. We write about blockchain & zero-knowledge proof security. Contact us for industry-leading security audits.