Adoro il livello di dettaglio nel post di @kobigurk su PLONK, che descrive le complessità del tempo del prover, della dimensione della prova e del tempo di verifica 👌👌 Vorrei che i documenti accademici fossero così attenti nel ragionare sulle complessità delle loro costruzioni.

@ronrothblum @kobigurk ad esempio, il calcolo originale può essere effettuato su CPU, come la validazione dei blocchi di Ethereum. Ma la dimostrazione può essere effettuata su GPU.