Videos

We have a YouTube channel with videos about formal verification and blockchain security:

• 🎥 Properties to formally verify in zkVM circuits The three main properties to formally verify in zkVM circuits
• 🎥 The need of security for zkVMs The three main components which need to be formally verified in a zkVM and why