
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.
English
