Explain the Difference between ‘Succinct’ and ‘Scalable’ in the Context of These Proofs

'Succinct' (as in zk-SNARKs) refers to the proof being very small in size and fast to verify, regardless of the complexity of the computation being proven. 'Scalable' (as in zk-STARKs) means that the proof generation time grows quasi-linearly with the computation, but the proof size and verification time remain small and logarithmic, making them more efficient for proving very large computations.