zk-Stark (Stark)

A ZK-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) is a type of ZK-SNARKS proof scheme that can provide privacy and scaling benefits beyond traditional ZK-SNARKS.