Nice article, and I'd like to mention an additional topic that would give the readers some impression: Fiat-Shamir transformation. The interactive process betw

Nice article, and I'd like to mention an additional topic that would give the readers some impression: Fiat-Shamir transformation. The interactive process between the prover and verifier can be transformed into a non-interactive one with a hash function(modeled as a random oracle). This improves the "user experience" as the entire proving process can be done in a single turn. The idea is to feed the problem itself into the hash function and let it generate randomness that was originally given by the verifier.