Blitzarを紹介します。

100万行のデータに対してサブ秒の証明を実現したGPUアクセラレーションフレームワークが、今やオープンソースで世界中のZK開発者に利用可能です。