Zero knowledge (zk) proofs are gaining traction in the blockchain space as a solution to a variety of different challenges. The concept has been around for quite a while in the cryptography space, originating in the 1985 paper, https://epubs.siam.org/doi/10.1137/0218012.
The zero knowledge proof is ultimately what attests to the encryption algo, decryption algo and the logic being run under the hood.
In my interview with Wu, I suggested that adding yet another programming language to the blockchain space might be detrimental to adoption.
Whether zk proofs fundamentally change blockchain technology, they are also finding their way into non-blockchain applications as well.