First trusted setup for SNARKs in space | Hacker News Reader