おめでとうございます、@Pi_Squared_Pi2 と私たちのアドバイザー @RosuGrigore ！

システムの形式的意味論から言語に依存しない能力で証明を生成するために K-framework を活用することで、私たちの ZK の進捗を最大限に向上させます。

再度！おめでとうございます！