About the Tech category

A hub for discussions and updates regarding the Logos tech stack.

Hello! My name is MinerXBT. I met part of the team during Pragma Istanbul and am stoked to have found the forum.

I was curious to get some preliminary details surrounding the Logos tech i was unable to find in the manifesto; namely the coding languages used for Nomos, intended VM(s) to be implemented, and the type of proofs being used for privacy preservation.

Thanks for any support! look forward to learning more as the project continues to grow.


So, as far as Nomos concern we use Rust as or primary language, we use some python for features specification as well.
For both the VM and the proof questions it harder to answer. We are deep in research atm and nothing is yet decided.