InVeridisebyVeridiseSaving Millions in 2023 with Specification-Guided FuzzingIntroductionFeb 14, 2023Feb 14, 2023
InVeridisebyVeridiseBreaking the Tree: Violating Invariants in SemaphoreWelcome back to another Veridise blog post! In this post we talk about contract invariants and why it is so helpful to keep them in mind…Jan 27, 2023Jan 27, 2023
InVeridisebyVeridiseCircom-Pairing: A Million-Dollar ZK Bug Caught EarlyThis blog post is also available in the following languages: 简体中文.Jan 3, 20231Jan 3, 20231
