STARK是一个用于零知识证明的标签，主要涉及可扩展的透明知识论证（Scalable Transparent ARgument of Knowledge），常用于区块链和加密货币领域的隐私保护与可验证计算。相关字段包括：(证明系统类型)、(底层哈希函数)、(适用场景)、(性能特征)、(安全性假设)
