fermahはユニバーサルな証明生成レイヤーです。これは市場として機能し、供給側はGPUとFPGAで構成されています。需要側では、fermahはzkが使用される任意のインスタンスのために証明を生成できます。