Verifiable Computation (VC) is running a specific workload in a way that generates a proof of its workings that can be publicly verified without re-running the calculation. In addition to Bonsol, the Anagram build team has delved into many places in the VC space, projects like Jolt, zkllvm, spartan 2, Binius are the ones we are tracking, as well as companies working in the fully homomorphic encryption (FHE) space.