Congratulations to @Pi_Squared_Pi2 and our advisor @RosuGrigore!

Leveraging K-framework to generate proof with a language-agnostic ability from system’s formal semantics will improve our ZK progress to the maximal point.

Once again! Congratulations!