What Is zk-STARKs and How Does It Work?

Zk-STARK is a type of zero-knowledge proof, which allows one party (the prover) to prove to another party (the verifier) that a statement is true without revealing any information about it other than that it is indeed true. Zk-STARKs use a specific type of zero-knowledge proof called a succinct non-interactive argument of knowledge (zk-SNARK), which allows for very short and easy-to-verify proof sizes. A practical example of a use case for zk-STARKs is verifying a complex computation, such as a…