Veridise
@VeridiseInc
Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
Don’t just take our word for it—hear directly from industry leaders their experience working with Veridise: @LineaBuild, @o1_labs, @RiscZero, and @DemoxLabs.
We’re excited to see LLZK being used for formal verification efforts, thanks @FormalLand! We’re looking forward to seeing how the Rocq translation evolves.
We are currently working on a translation tool from the circuit language LLZK of @VeridiseInc to the Rocq proof system. ⏩ The goal: to formally verify that ZK circuits written in this language are sound. ✅ Left: LLZK Right: Rocq translation
ZK audits ≠ smart contract audits. What sets them apart? @FormallyJon breaks it down on the @HouseofZK podcast.