証明コストは、証明可能なソフトウェアの総TAMに反比例します。 エネルギーと同様に、エネルギーが安くなり、世界はエネルギーの需要を増やすようになります。