๐ฏ 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 ๐งต)