Thanks a lot for your interest in the topic. About the cost question, it's NOT easy to answer. And you are right MSM and FFT are the most time-costing. parts of the proving system (Marlin). BTW, you can leave your wechat account for more discussion.