Login
From:
Formal Land Blog
(Uncensored)
subscribe
🥷 Semantics for LLZK in Rocq
https://formal.land/blog/2025/07/30/llzk-to-rocq-semantics
links
backlinks
Tagged with:
semantics
zero-knowledge
llzk
LLZK is a language designed to implement zero-knowledge circuits. We wrote a translation tool from this language to a representation in the formal language Rocq.
Roast topics
Find topics
Find it!
