Buzzwords include: succinct universal proofs, zkVM, incrementally verifiable computation, distributed supercomputer and agentic AI