Learn more
Join Dexa

Proof and Computation

Charles discusses the innovative intersection of cryptography and computation, highlighting the concept of generating proofs for arbitrary computations that can be verified efficiently. He emphasizes the shift from traditional replicated computing to a more distributed approach, where the blockchain's role is to validate proofs rather than perform the computations themselves. This leads to a fascinating exploration of the efficiency of checking versus solving complex problems, touching on the implications of determinism in computational processes.