zk-STARK 是兩種透明且可擴展的隱私增強方法之一。 驗證者所利用的隨機性的公開可用性消除了對可信任設定的需求。
但是，zk-STARK 代表什麼？ zk-STARK 代表零知識可擴展透明知識論證，是一種密碼學證明技術。 zk-STARK，也稱為零知識證明，允許使用者與第三方交流經過驗證的資料或執行計算，而無需將資料或分析透露給另一方。
zk-SNARKs在zk-STARKs開發之前被用來建構zk-proof系統，解決了那些可信方由於必須先建立zk-proof系統而危及系統隱私的漏洞。 zk-STARK 透過遠離可靠設定的要求來推進這項技術。
此外，可擴展性和隱私問題 無需許可的區塊鏈 透過 STARK 得到改進。 目前 STARK 技術先驅 StarkWare Industries 正在進行的 zk-STARK 研究主要關注可擴展性，隨後才是隱私問題。
透過使開發人員能夠將計算和儲存重新定位到鏈下，STARK 提高了可擴展性。 驗證鏈下計算準確性的 STARK 證明可以由鏈下服務產生。 之後，這些證明將重新發佈到鏈上，以便任何有興趣的人都可以驗證計算。
此外，STARK 使現有的區塊鏈基礎設施能夠呈指數級擴展，而不會透過將大部分運算工作脫鏈而損害計算完整性。 那麼，哪些幣種使用 zk-STARKs？
第一層解決方案 使用 STARK 一次計算數千筆交易，然後使用單一 STARK 證明來確認其在鏈上的有效性。 批次中的所有交易均分擔鏈上操作的成本，從而為每筆交易提供較低的天然氣成本。 史塔克件是 實施 許多區塊鏈中的零知識可擴展透明知識論證，包括 以太坊區塊鏈.
資料來源：https://cointelegraph.com/explained/zk-starks-vs-zk-snarks-explained