ZK 系統有兩個組件：證明者和驗證者。 證明在計算上是昂貴的（曾經需要幾天，現在只需幾秒）。在智能合約鏈上，驗證是便宜的，但在 Bitcoin 原生上卻是無法承受的昂貴。 創新：通過混淆電路使 ZK 驗證在 Bitcoin 上成為可能，將驗證者移至鏈外。