金色財經報導，區塊鏈開發商ZeroSync已成功在比特幣網路上實施Starkware的零知識(ZK)證明。該項目基於Starkware的Cairo編程語言構建，將使比特幣用戶能夠驗證網路狀態，而無需下載區塊鏈或信任利用Starks（StarkWare開發的一種ZK證明）的第三方。ZK證明是一種承諾增強隱私性和可擴展性的加密方法。ZeroSync表示，通過使一方能夠在不透露任何額外資訊的情況下驗證聲明的真實性，ZK證明可以基本上解決比特幣在交易速度和網路擁塞方面的挑戰。
