目前在 Kaito 上最受關注的兩個 ZK 項目是 Cysic 和 Brevis。 這兩者都屬於 ZK 領域，但它們解決的問題不同。 @cysic_xyz 正在建立一個全棧計算網絡。GPU、ASIC 和基礎設施經過調整，以使證明生成更快且更便宜。ZK 的原始運算能力。 @brevis_zk 專注於可驗證的計算。智能合約可以提取鏈外數據，運行複雜邏輯，並且仍然可以使用 ZKP 在鏈上證明所有內容。ZK 的可組合性。 > 一個是擴展可以生成多少證明。 > 另一個是擴展這些證明實際上能做什麼。 這兩者都在以不同的方式擴大 ZK 的蛋糕。