Login
From:
Formal Land Blog
(Uncensored)
subscribe
👻 Translation of Circom to Coq
https://formal.land/blog/2024/12/20/translation-of-circom-to-coq
links
backlinks
Tagged with:
zero-knowledge
circom
In this post, we present the beginning of our work to translate programs written in the Circom circuit language to the 🐓 Coq proof assistant. This work is part of our research on the formal verification of zero-knowledge systems.
Roast topics
Find topics
Find it!
