Btw being able to generate the proof on a normal desktop is not really required in the sense that as the node what you need to do is to verify the proofs and this is very efficient and fast in a small device. For the proof generation it’s still better to delegate it to bigger machines and have them aggregate the proofs and do the recursion to amortize the cost. It remains trustless anyway. But still we want to lower as much as we can the requirements to be able to generate the proofs