祝贺 @Pi_Squared_Pi2 和我们的顾问 @RosuGrigore！

利用 K-framework 从系统的形式语义生成具有语言无关能力的证明，将使我们的 ZK 进展达到最大化。

再次祝贺！