.@alicelingl 挑戰 @FormallyJon：未來的開發者會依賴 zkVM 還是手動編寫 ZK 電路？在 @HouseofZK 播客中發現其中的細微差別。

我們很高興推出 LLZK，這是一個用於零知識電路的開源中間表示（IR）。可以把它想像成 LLVM，但用於 ZK。 由 @VeridiseInc 開發，並獲得 @ethereumfndn 的資助，LLZK 現在已在 GitHub 上上線。 線程 🧵 1/4

當我們開始開發 ZK 工具時，沒有任何可用的工具。@FormallyJon 在面試中分享了我們的零知識工具之旅@HouseofZK。