Nexus zkVM: Efficient, massively-parallel, zero-knowledge proving | Hacker News Reader