.@alicelingl 挑战 @FormallyJon：未来的开发者会依赖 zkVM 还是手动编写 ZK 电路？在 @HouseofZK 播客中发现其中的细微差别。

我们很高兴推出 LLZK，这是一个用于零知识电路的开源中间表示（IR）。可以把它想象成 LLVM，但用于 ZK。 由 @VeridiseInc 开发，并获得 @ethereumfndn 的资助，LLZK 现在已在 GitHub 上上线。 线程 🧵 1/4

当我们开始开发 ZK 工具时，市场上没有任何可用的工具。@FormallyJon 在 @HouseofZK 的采访中分享了我们的零知识工具之旅。