Beviskostnaderna är omvänt proportionella mot den totala TAM för bevisbar programvara. I likhet med energi gör du energi billigare och världen kommer med större efterfrågan på energi!