@EthereumFndn のサポートを受けて、当社の Formal Verification チームは、Plonky3 のような zkDSL 用のリーン ツールを構築しています。 詳細情報 ⬇️