Formal Land @formalland.bsky.social · 20/02/2025Zero-knowledge circuits are very hard to get right without formal verification. That is why we have focused a lot on this area lately, building technologies to verify Circom circuits and the like. 121
Formal Land @formalland.bsky.social · 20/02/2025If you have needs in this domain, we should talk! You can also consider more high-level solutions, such as the Noir ⚫ language or Rust 🦀 compiled down to zkVMs (languages that we also support). 010
