๐ฏ At their core, zkSNARKs & zkSTARKs provide a cryptographic OBSERVATION of a computation ๐ ๐ต๏ธ The PROVER generates the PROOF โ๏ธ The VERIFIER checks the PROOF ๐ The PROOF itself encapsulates the computation, inputs & outputs ๐คฏ It's like a mathematical witness!
Ever wondered how zkSNARKs & zkSTARKs ACTUALLY work under the hood? ๐ค ๐ These ZeroKnowledge protocols offer a novel way to PROVE computations without revealing the computation itself! ๐คฏ โ๏ธ Native match with blockchain (a thread ๐งต)