InVeridisebyVeridiseZK Security Workshop recap: Winners and presentationsLast year, from Oct 30th to Nov 3rd, 2023, we collaborated with Secureum to organize an online ZK Security Workshop. You can read the…Mar 25, 2024Mar 25, 2024
InVeridisebyVeridiseElevating Veridise: A Fresh Look and Feel for Blockchain SecurityAnnouncing: the Veridise visual rebrandJan 24, 2024Jan 24, 2024
InVeridisebyVeridiseVeridise Teams Up with Chainlink LabsWe have entered a channel partnership with Chainlink LabsJan 9, 2024Jan 9, 2024
InVeridisebyVeridiseDevconnect 2023: A Festival of InnovationThe Veridise team flew to Istanbul to enjoy a week of blockchain events during Devconnect 2023. Here’s a recap.Nov 23, 2023Nov 23, 2023
InVeridisebyVeridiseVeridise and Secureum to Team Up for a ZK Security WorkshopEarlier this year, we collaborated with Secureum to host a blockchain security workshop. Now we’re doing it again.Oct 19, 2023Oct 19, 2023
InVeridisebyVeridiseIntroducing the [V] Specification LanguageIn a previous blog post, we looked at how formal verification can be used to prove that a program is free of logical bugs. However, in…Oct 20, 2022Oct 20, 2022
InVeridisebyVeridiseVeridise Raised $4.7 Million in Seed Round to Advance Blockchain SecurityVeridise, a startup that uses formal methods to improve blockchain security, has raised $4.7 million in a seed round led by Polychain…Jul 26, 2022Jul 26, 2022
InVeridisebyVeridiseMedjai: Protecting Cairo code from BugsIn this blog post, we will take you on a tour of how we developed Medjai, a new symbolic execution tool for finding bugs in Cairo programs…Jul 21, 2022Jul 21, 2022
![Introducing the [V] Specification Language](https://miro.medium.com/v2/resize:fill:160:106/1*_WPmGpBNNtwKYrdkDtWaNg.png)
![Introducing the [V] Specification Language](https://miro.medium.com/v2/resize:fill:320:214/1*_WPmGpBNNtwKYrdkDtWaNg.png)
