(ELI5) ZK-Snarks v. ZK-Starks
SNARKs (Succinct Non-Interactive Argument of Knowledge) are cryptographic proofs that allow a prover to prove the correctness of a computation to a verifier, without having to reveal the data used in the computation. This means that the verifier can trust the result of the…