Zero-knowledge computing = Succint 🤝