A zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) in blockchain is a cryptographic proof that allows one party to prove to another that they know a value without revealing the value itself. zk-STARKs enhance privacy and scalability in blockchain transactions.