Same philosophy, different part of the stack. We are applying the minimalism and simplicity behind @ethrex_client to the development of a zkVM. Minimal dependencies, one-to-one spec to code, with formal verification in mind. While everyone adds complexity, @class_lambda, @3miLabs and @alignedlayer are doing the opposite. See the talk by @diego_aligned at zkSummit14 in Rome.

@class_lambda @ethrex_client