Login
From:
Formal Land Blog
(Uncensored)
subscribe
🥷 Formal verification of LLZK circuits in Rocq
https://formal.land/blog/2025/07/31/llzk-to-rocq-verification
links
backlinks
Tagged with:
formal verification
zero-knowledge
llzk
In this blog post, we present a short example about how we define reasoning rules in Rocq to formally verify the safety of zero-knowledge circuits written in LLZK.
Roast topics
Find topics
Find it!
