Circom
https://scrapbox.io/files/658ac2a2683b85002468611b.png
https://docs.circom.io/
Groth16
が理解できるフォーマットで回路を書くことを可能にした
Circomは、複雑なZKバックエンドの作成とZKPベースのアプリケーションの開発の両方に使用できるため、この2つのレイヤーの間に位置するもう1つの人気のあるZKP言語となっています。
https://blockchainjapan.hatenablog.jp/entry/2022/11/29/062837
Circomscribe
https://www.zksecurity.xyz/blog/posts/circomscribe/
左側にCircomのコードがどのように見えるか、右側にコードがどのように方程式（制約と呼ばれる）に変換されるかを見ることができる